Advertisement

Synthesis and Control of Discrete Event Systems

  • Benoît Caillaud
  • Philippe Darondeau
  • Luciano Lavagno
  • Xiaolan Xie

Table of contents

  1. Front Matter
    Pages i-xvi
  2. Decentralized Systems and Control

    1. Front Matter
      Pages 1-1
    2. Stéphane Lafortune, Kurt Rohloff, Tae-Sic Yoo
      Pages 3-17
    3. Zhonghua Zhang, W. M. Wonham
      Pages 77-100
  3. Modular Design

    1. Front Matter
      Pages 101-101
    2. Luca Bernardinello, Carlo Ferigato, Lucia Pomello
      Pages 103-113
    3. René K. Boel
      Pages 115-123
    4. Gabriel Juhás, Robert Lorenz
      Pages 125-138
  4. Petri Net Supervision

    1. Front Matter
      Pages 139-139
    2. Francesco Basile, Pasquale Chiacchio, Alessandro Giua
      Pages 141-153
    3. A. Ghaffari, N. Rezg, Xiaolan Xie
      Pages 155-166
  5. Nonblocking, Liveness and Concurrency

    1. Front Matter
      Pages 183-183
    2. P. Dietrich, R. Malik, W. M. Wonham, B. A. Brandin
      Pages 185-201
    3. Marek Bednarczyk, Philippe Darondeau
      Pages 213-220

About this book

Introduction

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.

Keywords

Hardware algorithms automata integrated circuit modeling system tables

Editors and affiliations

  • Benoît Caillaud
    • 1
  • Philippe Darondeau
    • 1
  • Luciano Lavagno
    • 2
  • Xiaolan Xie
    • 3
  1. 1.IRISA/INRIA RennesFrance
  2. 2.Italy and Cadence Berkeley Labs.University of UdineUSA
  3. 3.INRIA & LGIPMFrance

Bibliographic information