Skip to main content
SpringerLink
Log in
Book cover

Synthesis and Control of Discrete Event Systems

  • Book
  • © 2002

Overview

Editors:
  1. Benoît Caillaud

    1. IRISA/INRIA Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Philippe Darondeau

    1. IRISA/INRIA Rennes, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Luciano Lavagno

    1. Italy and Cadence Berkeley Labs., University of Udine, USA

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Xiaolan Xie

    1. INRIA & LGIPM, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (14 chapters)

  1. Front Matter

    Pages i-xvi
    Download chapter PDF

  2. Decentralized Systems and Control

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Recent Advances on the Control of Partially-Observed Discrete-Event Systems

      • Stéphane Lafortune, Kurt Rohloff, Tae-Sic Yoo
      Pages 3-17

    3. From Global Specifications to Distributed Implementations

      • Madhavan Mukund
      Pages 19-35

    4. Problems and Examples of Decentralized Observation and Control for Discrete Event Systems

      • Anuj Puri, Stavros Tripakis, Pravin Varaiya
      Pages 37-56

    5. Towards Synthesis of Asynchronous Communication Algorithms

      • Alex Yakovlev, Fei Xia
      Pages 57-75

    6. STCT: An Efficient Algorithm for Supervisory Control Design

      • Zhonghua Zhang, W. M. Wonham
      Pages 77-100

  3. Modular Design

    1. Front Matter

      Pages 101-101
      Download chapter PDF

    2. Towards Modular Synthesis of Elementary Net Systems

      • Luca Bernardinello, Carlo Ferigato, Lucia Pomello
      Pages 103-113

    3. Adaptive Supervisory Control

      • René K. Boel
      Pages 115-123

    4. Modelling with Petri Modules

      • Gabriel Juhás, Robert Lorenz
      Pages 125-138

  4. Petri Net Supervision

    1. Front Matter

      Pages 139-139
      Download chapter PDF

    2. Optimal Petri Net Monitor Design

      • Francesco Basile, Pasquale Chiacchio, Alessandro Giua
      Pages 141-153

    3. Live and Maximally Permissive Controller Synthesis Using Theory of Regions

      • A. Ghaffari, N. Rezg, Xiaolan Xie
      Pages 155-166

    4. Design of Observers/Controllers for Discrete Event Systems Using Petri Nets

      • Alessandro Giua, Carla Seatzu
      Pages 167-182

  5. Nonblocking, Liveness and Concurrency

    1. Front Matter

      Pages 183-183
      Download chapter PDF

    2. Implementation Considerations in Supervisory Control

      • P. Dietrich, R. Malik, W. M. Wonham, B. A. Brandin
      Pages 185-201

    3. Liveness Enforcing Supervision for Sequential Resource Allocation Systems

      • Spyros A. Reveliotis
      Pages 203-212

    4. Looking for Diamonds

      • Marek Bednarczyk, Philippe Darondeau
      Pages 213-220
Back to top

Keywords

About this book

This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col­ lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. 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. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The­ ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac­ tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man­ ufacturing systems, or the implementation of protocols in software or in hard­ ware.

Editors and Affiliations

  • IRISA/INRIA Rennes, France

    Benoît Caillaud, Philippe Darondeau

  • Italy and Cadence Berkeley Labs., University of Udine, USA

    Luciano Lavagno

  • INRIA & LGIPM, France

    Xiaolan Xie

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation