Control of discrete-event systems : automata and petri net perspectives /

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 sys...

Full description

Saved in:
Bibliographic Details
Corporate Authors: SpringerLink (Online service)
Group Author: Seatzu, Carla; Silva, Manuel; Schuppen, J. H. van
Published: Springer,
Publisher Address: London ; New York :
Publication Dates: 2013.
Literature type: eBook
Language: English
Series: Lecture notes in control and information sciences, 433
Subjects:
Online Access: http://dx.doi.org/10.1007/978-1-4471-4276-8
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.
Carrier Form: 1 online resource.
Bibliography: Includes bibliographical references and index.
ISBN: 9781447142768 (electronic bk.)
1447142764 (electronic bk.)
1447142756 (paperback)
9781447142751 (paperback)
Index Number: QA402
CLC: TP273
Contents: Modelling of Engineering Phenomena by Finite Automata /
Languages, Decidability, and Complexity /
Supervisory Control with Complete Observations /
Supervisory Control with Partial Observations /
Diagnosis and Automata /
Supervisory Control of Distributed Discrete-Event Systems /
An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems /
Coordination Control of Distributed Discrete-Event Systems /
An Introduction to Timed Automata /
Introduction to Petri Nets /
Structural Analysis of Petri Nets /
Supervisory Control of Petri Nets with Language Specifications /
Structural Methods for the Control of Discrete Event Dynamic Systems - The Case of the Resource Allocation Problem /
Diagnosis of Petri Nets /
Diagnosis with Petri Net Unfoldings /
Petri Nets with Time /
The On-Line Diagnosis of Time Petri Nets /
Introduction to Fluid Petri Nets /
Continuous Petri Nets: Observability and Diagnosis /
Continuous Petri Nets: Controllability and Control /
Discrete-Event Systems in a Dioid Framework: Modeling and Analysis /
Discrete-Event Systems in a Dioid Framework: Control Theory /