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

• Auteur / Autrice : Guillaume Gardey
• Direction : Olivier-Henri Roux, Olivier Roux
• Type : Thèse de doctorat
• Discipline(s) : Automatique et informatique appliquée
• Date : Soutenance en 2005
• Etablissement(s) : Nantes
• Ecole(s) doctorale(s) : École doctorale sciences et technologies de l'information et des matériaux (Nantes)
• Partenaire(s) de recherche : autre partenaire : Centrale Nantes (1991-....)

Mots clés

Mots clés contrôlés

Automates

Temps réel (informatique)

Petri, Réseaux de

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.