Overview

The first motivation of Synthesis and Control of Discrete Event Systems is to inform the reader of recent developments and current trends in system synthesis. This is a field of active research aiming to supply efficient techniques for developing safe systems in various areas, covering control of embedded and manufacturing systems, distributed implementation of systems and protocols, and hardware circuits. In all areas, considerations about distribution and care for an efficient implementation of the synthesised systems play an increasing role, justified by better applicability to problems encountered in the design of practical systems. The second motivation of the book, which is a selection of presentations given at two workshops on synthesis of controllers and on synthesis of concurrent systems, is to incite the research community to establish stronger links between two subjects that could be better related, as several presentations do show. The selected papers are research papers ranging from theory to practice, with automata, products of automata and Petri nets playing a prominent role. All areas mentioned above as areas of application of system synthesis are covered by some of the selected papers.

Full Product Details

Author:   Benoît Caillaud ,  Philippe Darondeau ,  Luciano Lavagno ,  Xiaolan Xie
Publisher:   Springer-Verlag New York Inc.
Imprint:   Springer-Verlag New York Inc.
Edition:   Softcover reprint of the original 1st ed. 2002
Dimensions:   Width: 15.50cm , Height: 1.20cm , Length: 23.50cm
Weight:   0.454kg
ISBN:  

9781441949424

ISBN 10:   1441949429
Pages:   220
Publication Date:   03 December 2010
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Out of stock  
The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available.

Table of 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.

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions