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

Enregistré dans:
Détails bibliographiques
Auteur principal : Adelaïde Michaël (Auteur)
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)
Autres auteurs : Roux Olivier Henri (Directeur de 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.
Note de thèse : Thèse doctorat : Automatique et informatique appliquée : Nantes : 2003
Disponibilité : Publication autorisée par le jury
Sujets :
Systèmes dynamiques hybrides > Thèses et écrits académiques
Logique temporelle > Thèses et écrits académiques
Décidabilité (logique mathématique) > Thèses et écrits académiques
Table des matières indisponible