Jump to : Abstract | Contact | BibTex reference | EndNote reference |
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.
(Version Francaise de ECC'03)
Benoit Gaudin
Benoit.Gaudin@irisa.fr
Hervé Marchand
hmarchan@irisa.fr
@InProceedings{gaudin03a,
Author = {Gaudin, B. and Marchand, H.},
Title = {Contrôle de systèmes à événements discrets hiérarchiques},
BookTitle = {4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03},
Address = {Metz, France (Version Francaise de ECC'03)},
Month = {October},
Year = {2003}
}
Get EndNote Reference (.ref)