|
" Synthesis and Control of Discrete Event Systems "
edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
726440
|
| Doc. No
|
:
|
b546172
|
| Main Entry
|
:
|
edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie.
|
| Title & Author
|
:
|
Synthesis and Control of Discrete Event Systems\ edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie.
|
| Publication Statement
|
:
|
Boston, MA: Springer US, 2002
|
| Page. NO
|
:
|
(xvi, 220 pages)
|
| ISBN
|
:
|
1475766564
|
|
|
:
|
: 9781475766561
|
| Contents
|
:
|
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.
|
| Abstract
|
:
|
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.
|
| Subject
|
:
|
Computer-aided design.
|
| Subject
|
:
|
Engineering.
|
| Subject
|
:
|
Systems theory.
|
| LC Classification
|
:
|
QA402.E358 2002
|
| Added Entry
|
:
|
Benoît Caillaud
|
|
|
:
|
Luciano Lavagno
|
|
|
:
|
Philippe Darondeau
|
|
|
:
|
Xiaolan Xie
|
| |