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...
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 : |
| Résumé : | 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. |
|---|---|
| Bibliographie : | Bibliographie p. 123-129 |