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

Download [help]

Download paper Adobe portable document format (pdf)

Copyright noticeThis material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

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.

Contact

Hervé Marchand
hmarchan@irisa.fr

BibTex Reference

@InProceedings{wodes-schmidt-marchand-gaudin-06,
   Author = {Schmidt, K. and Marchand, H. and Gaudin, B.},
   Title = {Modular and Decentralized Supervisory Control of Concurrent Discrete Event Systems Using Reduced System Models},
   BookTitle = {Workshop on Discrete Event Systems, WODES'06},
   Pages = {149--154},
   Address = {Ann-Arbor (MI, USA)},
   Month = {July},
   Year = {2006}
}

EndNote Reference [help]

Get EndNote Reference (.ref)