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...

Full description

Saved in:
Bibliographic Details
Main Author : Adelaïde Michaël (Auteur)
Corporate Authors : 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)
Other Authors : Roux Olivier Henri (Directeur de thèse)
Format : Thesis
Language : français
Title statement : Analyse paramétrique des systèmes hybrides / Michaël Adélaïde; sous la dir. d'Olivier Roux
Published : [S.l.] : [s.n.] , 2003
Physical Description : 190 p.
Note de thèse : Thèse doctorat : Automatique et informatique appliquée : Nantes : 2003
Availability : Publication autorisée par le jury
Subjects :
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

Holdings details from BU Sciences
Location Call Number Loan type Status
Magasin aérotherme 2003 NANT 2109 Empruntable Available
Magasin aérotherme 2003 NANT 2109 Exclu du prêt Disponible

Bib. Centrale Nantes

Holdings details from Bib. Centrale Nantes
Location Call Number Loan type Status
Magasin 3 TH 2088 bis Empruntable Available
Magasin 3 TH 2088 Exclu du prêt Disponible