Skip to Main content Skip to Navigation
Conference papers

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

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
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.inria.fr/inria-00425106
Contributor : Hervé Marchand <>
Submitted on : Tuesday, October 20, 2009 - 10:43:52 AM
Last modification on : Thursday, January 7, 2021 - 4:35:55 PM
Long-term archiving on: : Tuesday, June 15, 2010 - 10:50:37 PM

File

wodes_schmidt_marchand_gaudin2...
Files produced by the author(s)

Identifiers

Collections

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. pp.149-154, ⟨10.1109/WODES.2006.1678423⟩. ⟨inria-00425106⟩

Share

Metrics

Record views

341

Files downloads

585