Jump to : Abstract | Contact | BibTex reference | EndNote reference |

gaudin03a

B. Gaudin, H. Marchand. Contrôle de systèmes à événements discrets hiérarchiques. In 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France (Version Francaise de ECC'03), October 2003.

Abstract

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)

Contact

Benoit Gaudin http://www.irisa.fr/vertecs/Equipe/Gaudin/
Hervé Marchand http://www.irisa.fr/prive/hmarchan

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)

| VerTeCs | Team | Publications | New Results | Softwares |
Irisa - Inria - Copyright 2005 © Projet VerTeCs