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 |
| LEADER | 04124cam a2200529 4500 | ||
|---|---|---|---|
| 001 | PPN109177657 | ||
| 003 | http://www.sudoc.fr/109177657 | ||
| 005 | 20240829055200.0 | ||
| 029 | |a FR |b 2005NANT2143 | ||
| 035 | |a (OCoLC)494501516 | ||
| 100 | |a 20060928d2005 k y0frey0103 ba | ||
| 101 | 0 | |a fre |d fre |d eng |2 639-2 | |
| 102 | |a FR | ||
| 105 | |a ||||m ||||| | ||
| 106 | |a r | ||
| 181 | |6 z01 |c txt |2 rdacontent | ||
| 181 | 1 | |6 z01 |a i# |b xxxe## | |
| 182 | |6 z01 |c n |2 rdamedia | ||
| 182 | 1 | |6 z01 |a n | |
| 200 | 1 | |a Contribution à la vérification et au contrôle des systèmes temps réel |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 | ||
| 316 | |5 441092104:290281938 |a Titre temporairement indisponible à la communication | ||
| 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. | ||
| 371 | 1 | |a Publication autorisée par le jury | |
| 456 | | | |0 246910801 |t Contribution à la vérification et au contrôle des systèmes temps réel |o application aux réseaux de Petri temporels et aux automates temporisés |f Guillaume Gardey |d 2005 |c Grenoble |n Atelier national de reproduction des thèses |p Microfiches |s [ Grenoble thèses] | |
| 606 | |3 PPN027674401 |a Petri, Réseaux de |2 rameau | ||
| 606 | |3 PPN027333930 |a Temps réel (informatique) |2 rameau | ||
| 606 | |3 PPN027296261 |a Automates |2 rameau | ||
| 608 | |3 PPN027253139 |a 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 | |
| 701 | 1 | |3 PPN066922836 |a Roux |b Olivier-Henri |f 1966-.... |c professeur des universités au sein du Laboratoire des Sciences du Numérique de Nantes (2024) |4 727 | |
| 701 | 1 | |3 PPN109176294 |a Roux |b Olivier |f 1958-.... |c maître de conférences au sein du Laboratoire des Sciences du Numérique de Nantes (2024) |4 727 | |
| 711 | 0 | 2 | |3 PPN026403447 |a Université de Nantes |c 1962-2021 |4 295 |
| 711 | 0 | 2 | |3 PPN03063525X |a Centrale Nantes |c 1991-.... |4 985 |
| 711 | 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 20240527 |g AFNOR | |
| 979 | |a ECN | ||
| 979 | |a SCI | ||
| 930 | |5 441092104:290281938 |b 441092104 |j g | ||
| 930 | |5 441092306:30269336X |b 441092306 |a TH 2173 |j u | ||
| 991 | |5 441092104:290281938 |a Exemplaire modifié automatiquement le 18-07-2024 18:39 | ||
| 998 | |a 479629 | ||