Control of Discrete-Event Systems

Automata and Petri Net Perspectives

  • Carla Seatzu
  • Manuel Silva
  • Jan H. van Schuppen

Part of the Lecture Notes in Control and Information Sciences book series (LNCIS, volume 433)

Table of contents

  1. Front Matter
    Pages 1-21
  2. Automata

    1. Front Matter
      Pages 1-1
    2. Stefan Haar, Tomáš Masopust
      Pages 23-43
    3. Tomáš Masopust, Jan H. van Schuppen
      Pages 45-64
    4. Eric Fabre
      Pages 85-106
    5. Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
      Pages 107-126
    6. Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
      Pages 147-167
    7. Béatrice Bérard
      Pages 169-187
  3. Petri nets

    1. Front Matter
      Pages 189-189
    2. Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
      Pages 191-211
    3. Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
      Pages 213-233
    4. Maria Paola Cabasino, Alessandro Giua, Carla Seatzu
      Pages 279-300
    5. Stefan Haar, Eric Fabre
      Pages 301-317
    6. Béatrice Bérard, Maria Paola Cabasino, Angela Di Febbraro, Alessandro Giua, Carla Seatzu
      Pages 319-341
    7. René K. Boel, George Jiroveanu
      Pages 343-364

About this book

Introduction

Control of Discrete-event Systems provides a survey of the most important topics in the discrete-event systems theory with particular focus on finite-state automata, Petri nets and max-plus algebra. Coverage ranges from introductory material on the basic notions and definitions of discrete-event systems to more recent results. Special attention is given to results on supervisory control, state estimation and fault diagnosis of both centralized and distributed/decentralized systems developed in the framework of the Distributed Supervisory Control of Large Plants (DISC) project. Later parts of the text are devoted to the study of congested systems though fluidization, an over approximation allowing a much more efficient study of observation and control problems of timed Petri nets. Finally, the max-plus algebraic approach to the analysis and control of choice-free systems is also considered. Control of Discrete-event Systems provides an introduction to discrete-event systems for readers that are not familiar with this class of systems, but also provides an introduction to research problems and open issues of current interest to readers already familiar with them. Most of the material in this book has been presented during a Ph.D. school held in Cagliari, Italy, in June 2011.

Keywords

Automata Control Theory Discrete-event Systems Fault Diagnosis Fluid Models Industrial Automation Max-plus Algebra Petri Nets Supervisory Control

Editors and affiliations

  • Carla Seatzu
    • 1
  • Manuel Silva
    • 2
  • Jan H. van Schuppen
    • 3
  1. 1., Department of ElectricalUniversity of CagliariCagliariItaly
  2. 2., Department of Computer ScienceUniversity of ZaragozaZaragozaSpain
  3. 3.Centrum Wiskunde & InformaticaAmsterdamNetherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-1-4471-4276-8
  • Copyright Information Springer-Verlag London 2013
  • Publisher Name Springer, London
  • eBook Packages Engineering
  • Print ISBN 978-1-4471-4275-1
  • Online ISBN 978-1-4471-4276-8
  • Series Print ISSN 0170-8643
  • Series Online ISSN 1610-7411
  • About this book