Nantilus
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...
| Auteurs principaux : | , , |
|---|---|
| Collectivités auteurs : | , , |
| 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.) |
| 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 : 2005 |
| Sujets : | |
| Documents associés : | Reproduit comme:
Contribution à la vérification et au contrôle des systèmes temps réel |
| Particularités de l'exemplaire : | BU Sciences, Ex. 1 : Titre temporairement indisponible à la communication |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Communication impossible | 2005 NANT 2143 | Empruntable | Disponible |
| Communication impossible | 2005 NANT 2143 | Exclu du prêt | disponible |
Bib. Centrale Nantes
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin 3 | TH 2173 bis | Empruntable | Disponible |
| Magasin 3 | TH 2173 | Exclu du prêt | Disponible |