Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models. - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

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

Résumé

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
Fichier principal
Vignette du fichier
wodes_schmidt_marchand_gaudin2006.pdf (85.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00425106 , version 1 (20-10-2009)

Identifiants

Citer

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. pp.149-154, ⟨10.1109/WODES.2006.1678423⟩. ⟨inria-00425106⟩
144 Consultations
217 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More