Overview

The first aim 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 synthesized 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.

Full Product Details

Author:   Benoît Caillaud ,  Philippe Darondeau ,  Luciano Lavagno ,  Xiaolan Xie
Publisher:   Springer
Imprint:   Springer
Edition:   2002 ed.
Dimensions:   Width: 15.50cm , Height: 1.40cm , Length: 23.50cm
Weight:   1.140kg
ISBN:  

9780792376392

ISBN 10:   0792376390
Pages:   220
Publication Date:   31 January 2002
Audience:   College/higher education ,  Professional and scholarly ,  Undergraduate ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

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