Contribution à la vérification et au contrôle des systèmes temps réel : application aux réseaux de Petri temporels et aux automates temporisés

Davantage que par le passé, le concepteur de lois de commande se trouve confronté à des systèmes complexes : nombre élevé de dynamiques mais aussi d'actionneurs et de capteurs, voire contraintes spatiales sur la structure du régulateur. Ceci résulte de la mplexification croissante des processus...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Gardey Guillaume (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 : Contribution à la vérification et au contrôle des systèmes temps réel : application aux réseaux de Petri temporels et aux automates temporisés / Guillaume Gardey; Olivier (F.) Roux, directeur de thèse ; Olivier (H.) Roux, co-encadrant
Publié : [S.l.] : [s.n.] , 2005
Description matérielle : 1 vol. (134 p.)
Note de thèse : Thèse doctorat : Automatique et informatique appliquée : Nantes : 2005
Disponibilité : Publication autorisée par le jury
Sujets :

BU Sciences

Informations d'exemplaires de BU Sciences
Cote Prêt Statut
Magasin aérotherme 2005 NANT 2143 Empruntable Disponible
Magasin aérotherme 2005 NANT 2143 Exclu du prêt disponible

Bib. Centrale Nantes

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