عنوان

Synthesis and Control of Discrete Event Systems

1475766564

9781475766561

b546172

Synthesis and Control of Discrete Event Systems

[Book]

edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie.

Boston, MA

Springer US

2002

(xvi, 220 pages)

I Decentralized Systems and Control --;Recent Advances on the Control of Partially-Observed Discrete-Event Systems --;From Global Specifications to Distributed Implementations --;Problems and Examples of Decentralized Observation and Control --;Towards Synthesis of ACMs --;STCT: An Efficient Algorithm for Supervisory Control Design --;II Modular Design --;Towards Modular Synthesis of EN Systems --;Adaptive Supervisory Control --;Modelling with Petri Modules --;III Petri Net Supervision --;Optimal Petri Net Monitor Design --;Live and Maximally Permissive Controller Synthesis Using Theory of Regions --;Design of Observers/Controllers for DES using PNs --;IV Nonblocking, Liveness and Concurrency --;Implementation Considerations in Supervisory Control --;Liveness Enforcing Supervision for Sequential Resource Allocation Systems --;Looking for Diamonds.

This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B.

Computer-aided design.

Engineering.

Systems theory.

edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie.

Benoît Caillaud

Luciano Lavagno

Philippe Darondeau

Xiaolan Xie

[Book]

Y