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

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 2003 NANT 2109 Empruntable Disponible
Magasin aérotherme 2003 NANT 2109 Exclu du prêt Disponible

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
‌ Cote Prêt Statut
Magasin 3 TH 2088 bis Empruntable Disponible
Magasin 3 TH 2088 Exclu du prêt Disponible