Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models.

Klaus Schmidt 1 Hervé Marchand 2 Benoit Gaudin 3
1 Lehrstuhl für Regelungstechnik [Erlangen]
2 VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
3 FOKUS Fraunhofer - Fraunhofer-Institut für Offene Kommunikationssysteme [Berlin]
Abstract : This work investigates the supervisor synthesis for concurrent systems based on reduced system models with the intention of complexity reduction. It is assumed that the expected behavior (specification) is given on a subset of the system alphabet, and the system behavior is reduced to this alphabet. Supervisors are computed for each reduced subsystem employing a modular decentralized approach. Depending on the chosen architecture, we provide sufficient conditions for the consistent implementation of the reduced supervisors for the original system
Type de document :
Communication dans un congrès
Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. IEEE Computer society, pp.149-154, 2006, 〈10.1109/WODES.2006.1678423〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00425106
Contributeur : Hervé Marchand <>
Soumis le : mardi 20 octobre 2009 - 10:43:52
Dernière modification le : mercredi 11 avril 2018 - 01:52:30
Document(s) archivé(s) le : mardi 15 juin 2010 - 22:50:37

Fichier

wodes_schmidt_marchand_gaudin2...
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

INRIA | IRISA | UR1-UFR-ISTIC

Citation

Klaus Schmidt, Hervé Marchand, Benoit Gaudin. Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models.. Workshop on Discrete Event Systems, WODES'06, Jul 2006, Ann-Arbor, United States. IEEE Computer society, pp.149-154, 2006, 〈10.1109/WODES.2006.1678423〉. 〈inria-00425106〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

290

Téléchargements de fichiers

122

Contact


archive-ouverte@inria.fr