عنوان

Synthesis and Control of Discrete Event Systems

(Number (ISBN

1475766564

(Number (ISBN

9781475766561

Number

b546172

Title Proper

Synthesis and Control of Discrete Event Systems

General Material Designation

[Book]

First Statement of Responsibility

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

Place of Publication, Distribution, etc.

Boston, MA

Name of Publisher, Distributor, etc.

Springer US

Date of Publication, Distribution, etc.

2002

Specific Material Designation and Extent of Item

(xvi, 220 pages)

Text of Note

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.

Text of Note

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.

Class number

Book number

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

Benoît Caillaud

Luciano Lavagno

Philippe Darondeau

Xiaolan Xie

Electronic name

[Book]

Y