Synthesis and Control of Discrete Event Systems
By: edited by Benoît Caillaud, Philippe Darondeau, Luciano Lavagno, Xiaolan Xie
Contributors: Darondeau, Philippe; Lavagno, Luciano; Xie, Xiaolan
Publisher: Springer US
Published: 2002
Place of publication: Boston, MA
Language: eng
Format: [electronic resource] /
Number of pages: 220
ISBN-13: 9781441949424; 9781475766561
Subjects: Systems engineering; Engineering; Computer-aided design; Machinery; Computer engineering; Systems theory
Description: 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.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.