Ebook: 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 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.

---

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.

---

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.
Content:
Front Matter....Pages 1-21
Front Matter....Pages 1-1
Modelling of Engineering Phenomena by Finite Automata....Pages 3-22
Languages, Decidability, and Complexity....Pages 23-43
Supervisory Control with Complete Observations....Pages 45-64
Supervisory Control with Partial Observations....Pages 65-84
Diagnosis and Automata....Pages 85-106
Supervisory Control of Distributed Discrete-Event Systems....Pages 107-126
An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems....Pages 127-146
Coordination Control of Distributed Discrete-Event Systems....Pages 147-167
An Introduction to Timed Automata....Pages 169-187
Front Matter....Pages 189-189
Introduction to Petri Nets....Pages 191-211
Structural Analysis of Petri Nets....Pages 213-233
Supervisory Control of Petri Nets with Language Specifications....Pages 235-255
Structural Methods for the Control of Discrete Event Dynamic Systems – The Case of the Resource Allocation Problem....Pages 257-278
Diagnosis of Petri Nets....Pages 279-300
Diagnosis with Petri Net Unfoldings....Pages 301-317
Petri Nets with Time....Pages 319-341
The On-Line Diagnosis of Time Petri Nets....Pages 343-364
Introduction to Fluid Petri Nets....Pages 365-386
Continuous Petri Nets: Observability and Diagnosis....Pages 387-406
Continuous Petri Nets: Controllability and Control....Pages 407-428
Front Matter....Pages 429-429
Discrete-Event Systems in a Dioid Framework: Modeling and Analysis....Pages 431-450
Discrete-Event Systems in a Dioid Framework: Control Theory....Pages 451-469
Back Matter....Pages 0--1

---

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.
Content:
Front Matter....Pages 1-21
Front Matter....Pages 1-1
Modelling of Engineering Phenomena by Finite Automata....Pages 3-22
Languages, Decidability, and Complexity....Pages 23-43
Supervisory Control with Complete Observations....Pages 45-64
Supervisory Control with Partial Observations....Pages 65-84
Diagnosis and Automata....Pages 85-106
Supervisory Control of Distributed Discrete-Event Systems....Pages 107-126
An Overview of Synchronous Communication for Control of Decentralized Discrete-Event Systems....Pages 127-146
Coordination Control of Distributed Discrete-Event Systems....Pages 147-167
An Introduction to Timed Automata....Pages 169-187
Front Matter....Pages 189-189
Introduction to Petri Nets....Pages 191-211
Structural Analysis of Petri Nets....Pages 213-233
Supervisory Control of Petri Nets with Language Specifications....Pages 235-255
Structural Methods for the Control of Discrete Event Dynamic Systems – The Case of the Resource Allocation Problem....Pages 257-278
Diagnosis of Petri Nets....Pages 279-300
Diagnosis with Petri Net Unfoldings....Pages 301-317
Petri Nets with Time....Pages 319-341
The On-Line Diagnosis of Time Petri Nets....Pages 343-364
Introduction to Fluid Petri Nets....Pages 365-386
Continuous Petri Nets: Observability and Diagnosis....Pages 387-406
Continuous Petri Nets: Controllability and Control....Pages 407-428
Front Matter....Pages 429-429
Discrete-Event Systems in a Dioid Framework: Modeling and Analysis....Pages 431-450
Discrete-Event Systems in a Dioid Framework: Control Theory....Pages 451-469
Back Matter....Pages 0--1
....