Analyse paramétrique des systèmes hybrides

Analyse paramétrique des systèmes hybrides

L'analyse paramétrique des systèmes hybrides consiste à trouver les contraintes sur les paramètres qui assurent un bon fonctionnement de ces systèmes. Les paramètres représentent des constantes réelles. Pour un problème paramétrique donné, un semi-algorithme est obtenu en transformant un outil...

Description complète

Détails bibliographiques
Auteurs principaux : Adelaïde Michaël (Auteur), Roux Olivier-Henri (Directeur de thèse)
Collectivités auteurs : Université de Nantes 1962-2021 (Organisme de soutenance), Centrale Nantes 1991-.... (Autre partenaire associé à la thèse), École doctorale sciences et technologies de l'information et des matériaux Nantes (Ecole doctorale associée à la thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Analyse paramétrique des systèmes hybrides / Michaël Adélaïde; sous la dir. d'Olivier Roux
Publié : [S.l.] : [s.n.] , 2003
Description matérielle : 190 p.
Condition d'utilisation et de reproduction : Publication autorisée par le jury
Note de thèse : Thèse doctorat : Automatique et informatique appliquée : Nantes : 2003
Sujets :
Systèmes dynamiques hybrides
Logique temporelle
Décidabilité (logique mathématique)
Thèses et écrits académiques
Documents associés : Reproduit comme: Analyse paramétrique des systèmes hybrides
Particularités de l'exemplaire : BU Sciences, Ex. 1 :
Titre temporairement indisponible à la communication
Table des matières indisponible