Limit search to available items
Book Cover
E-book

Title Control of discrete-event systems : automata and petri net perspectives / Carla Seatzu, and Manuel Silva, Jan H. van Schuppen (eds.)
Published London ; New York : Springer, [2013]
©2013
Online access available from:
Springer eBooks    View Resource Record  

Copies

Description 1 online resource
Series Lecture notes in control and information sciences, 0170-8643 ; 433
Lecture notes in control and information sciences ; 433
Contents Modelling of Engineering Phenomena by Finite Automata / Jörg Raisch -- Languages, Decidability, and Complexity / Stefan Haar and Tomáš Masopust -- Supervisory Control with Complete Observations / Tomáš Masopust and Jan H. van Schuppen -- Supervisory Control with Partial Observations / Jan Komenda -- Diagnosis and Automata / Eric Fabre -- Supervisory Control of Distributed Discrete-Event Systems / Jan Komenda, Tomáš Masopust and Jan H. van Schuppen -- An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems / Laurie Ricker -- Coordination Control of Distributed Discrete-Event Systems / Jan Komenda, Tomáš Masopust and Jan H. van Schuppen -- An Introduction to Timed Automata / Béatrice Bérard
Introduction to Petri Nets / Maria Paola Cabasino, Alessandro Giua and Carla Seatzu -- Structural Analysis of Petri Nets / Maria Paola Cabasino, Alessandro Giua and Carla Seatzu -- Supervisory Control of Petri Nets with Language Specifications / Alessandro Giua -- Structural Methods for the Control of Discrete Event Dynamic Systems -- The Case of the Resource Allocation Problem / Juan-Pablo López-Grao and José-Manuel Colom -- Diagnosis of Petri Nets / Maria Paola Cabasino, Alessandro Giua and Carla Seatzu -- Diagnosis with Petri Net Unfoldings / Stefan Haar and Eric Fabre -- Petri Nets with Time / Béatrice Bérard, Maria Paola Cabasino, Angela Di Febbraro, Alessandro Giua and Carla Seatzu
The On-Line Diagnosis of Time Petri Nets / René K. Boel and George Jiroveanu -- Introduction to Fluid Petri Nets / C. Renato Vázquez, Cristian Mahulea, Jorge Júlvez and Manuel Silva -- Continuous Petri Nets: Observability and Diagnosis / Cristian Mahulea, Jorge Júlvez, C. Renato Vázquez and Manuel Silva -- Continuous Petri Nets: Controllability and Control / Jorge Júlvez, C. Renato Vázquez, Cristian Mahulea and Manuel Silva -- Discrete-Event Systems in a Dioid Framework: Modeling and Analysis / Thomas Brunsch, Jörg Raisch, Laurent Hardouin and Olivier Boutin -- Discrete-Event Systems in a Dioid Framework: Control Theory / Laurent Hardouin, Olivier Boutin, Bertrand Cottenceau, Thomas Brunsch and Jörg Raisch
Summary 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
Analysis Engineering
Computer Communication Networks
Systems theory
Control
Systems Theory, Control
Bibliography Includes bibliographical references and index
Subject Control theory.
Discrete-time systems -- Automation.
Robots -- Control systems.
Petri nets.
Form Electronic book
Author Seatzu, Carla.
Silva Suárez, Manuel.
Schuppen, J. H. van.
LC no. 2012941741
ISBN 1447142756 (paperback)
1447142764 (electronic bk.)
9781447142751 (paperback)
9781447142768 (electronic bk.)