Skip to Main content Skip to Navigation
Conference papers

Contrôle de systèmes à événements discrets hiérarchiques

Résumé : Dans ce papier, nous nous intéressons au contrôle de systèmes à événements discrets modélisés par des machines à états finis hiérarchiques. Le problème du contrôle que nous nous posons est d'assurer l'interdiction d'un ensemble particulier de configurations dans le système. Nous présentons des algorithmes qui, basés sur une décomposition particulière de cet ensemble, résolvent localement les problèmes de contrôle (i.e. sur chaque composant du système sans avoir à calculer explicitement le système) et produisent un contrôleur global assurant la propriété attendue. Ce type d'objectifs peut être utilisé pour décrire/assurer des interactions entre différents sous-systèmes.
Document type :
Conference papers
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/inria-00520044
Contributor : Hervé Marchand <>
Submitted on : Wednesday, September 22, 2010 - 9:52:52 AM
Last modification on : Thursday, January 7, 2021 - 4:40:07 PM
Long-term archiving on: : Thursday, December 23, 2010 - 2:50:44 AM

File

2003-MSR-HFSM_asynch.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00520044, version 1

Collections

Citation

Benoit Gaudin, Hervé Marchand. Contrôle de systèmes à événements discrets hiérarchiques. 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. pp.383-397. ⟨inria-00520044⟩

Share

Metrics

Record views

148

Files downloads

263