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

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Communication impossible 2003 NANT 2109 Empruntable Disponible
Communication impossible 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