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...
Enregistré dans:
Auteur principal : | |
---|---|
Collectivités auteurs : | , , |
Autres 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.) |
Note de thèse : | Thèse doctorat : Automatique et informatique appliquée : Nantes : 2005 |
Disponibilité : | Publication autorisée par le jury |
Sujets : |
LEADER | 03490cam a2200433 4500 | ||
---|---|---|---|
001 | PPN109177657 | ||
003 | http://www.sudoc.fr/109177657 | ||
005 | 20240531154500.0 | ||
029 | |a FR |b 2005NANT2143 | ||
035 | |a (OCoLC)494501516 | ||
100 | |a 20060928d2005 k y0frey0103 ba | ||
101 | 0 | |a fre |d fre |d eng | |
102 | |a FR | ||
105 | |a y m ||||| | ||
106 | |a r | ||
200 | 1 | |a Contribution à la vérification et au contrôle des systèmes temps réel |b Texte imprimé |e application aux réseaux de Petri temporels et aux automates temporisés |f Guillaume Gardey |g Olivier (F.) Roux, directeur de thèse ; Olivier (H.) Roux, co-encadrant | |
210 | |a [S.l.] |c [s.n.] |d 2005 | ||
215 | |a 1 vol. (134 p.) |d 30 cm | ||
310 | |a Publication autorisée par le jury | ||
320 | |a Bibliographie p. 123-129 | ||
328 | |b Thèse doctorat |c Automatique et informatique appliquée |e Nantes |d 2005 | ||
330 | |a 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 industriels, de l avènement de systèmes de communication performants ainsi que de la recherche de performances accrues (recherche d une optimisation plus globale). Si la commande décentralisée a mobilisé de nombreux efforts de recherche dés les années 70, de nombreux problèmes restent ouverts. Dans le même temps, des outils d analyse et de synthèse performants ont été développés, dans le cadre H2 et Hinf notamment. Leur mise en œuvre pour de très grands systèmes (composés le plus souvent de sous-systèmes interconnectés) peut cependant poser problème, et ce d autant que des contraintes de structure sont appliquées au correcteur. L élaboration de commandes pour les systèmes complexes requiert à l évidence de la méthodologie. A cette fin, ce document s intéresse à l analyse des interconnexions internes au système pour choisir la structure du régulateur la mieux appropriée. Il considère également la problématique du choix du critère et la possibilité d aborder séquentiellement l optimisation globale d un correcteur H2. Ces réflexions à caractère méthodologique sont mises en œuvre sur un système expérimental (multi-moteurs) d'entraînement de bande flexible. | ||
606 | |3 PPN027674401 |a Petri, Réseaux de |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
606 | |3 PPN027333930 |a Temps réel (informatique) |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
606 | |3 PPN027296261 |a Automates |3 PPN027253139 |x Thèses et écrits académiques |2 rameau | ||
686 | |a 004 |2 TEF | ||
686 | |a 620 |2 TEF | ||
700 | 1 | |3 PPN109177061 |a Gardey |b Guillaume |f 1978-... |4 070 | |
702 | 1 | |3 PPN066922836 |a Roux |b Olivier Henri |f 19..-.... |c professeur des universités IRCCyN |4 727 | |
702 | 1 | |3 PPN109176294 |a Roux |b Olivier Henri |f 19..-.... |c maître de conférences IRCCyN |4 727 | |
712 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
712 | 0 | 2 | |3 PPN03063525X |a Centrale Nantes |c 1991-.... |4 985 |
712 | 0 | 2 | |3 PPN068720513 |a École doctorale sciences et technologies de l'information et des matériaux |c Nantes |4 996 |
801 | 3 | |a FR |b Abes |c 20171204 |g AFNOR | |
979 | |a ECN | ||
979 | |a SCI | ||
930 | |5 441092104:290281938 |b 441092104 |j u | ||
930 | |5 441092306:30269336X |b 441092306 |a TH 2173 |j u | ||
998 | |a 479629 |