Ebook: Introduction to Discrete Event Systems
- Tags: Control Robotics Mechatronics, Discrete Mathematics in Computer Science, Systems Theory Control, Mechanical Engineering, Operations Research Mathematical Programming, Industrial and Production Engineering
- Year: 2008
- Publisher: Springer US
- Edition: 2
- Language: English
- pdf
Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques.
Distinctive features of the second edition include:
- more detailed treatment of equivalence of automata, event diagnosis, and decentralized event diagnosis
- expanded treatment of centralized and decentralized control of partially-observed systems
- new sections on timed automata with guards (in the Alur-Dill formalism) and hybrid automata
- an introduction to hybrid systems
- updated coverage of discrete event simulation, including new software tools available
- recent developments in sensitivity analysis for discrete event systems as well as hybrid systems
This textbook is valuable to advanced-level students and researchers in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, operations research, and industrial engineering.
Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques.
Distinctive features of the second edition include:
- more detailed treatment of equivalence of automata, event diagnosis, and decentralized event diagnosis
- expanded treatment of centralized and decentralized control of partially-observed systems
- new sections on timed automata with guards (in the Alur-Dill formalism) and hybrid automata
- an introduction to hybrid systems
- updated coverage of discrete event simulation, including new software tools available
- recent developments in sensitivity analysis for discrete event systems as well as hybrid systems
This textbook is valuable to advanced-level students and researchers in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, operations research, and industrial engineering.
Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques.
Distinctive features of the second edition include:
- more detailed treatment of equivalence of automata, event diagnosis, and decentralized event diagnosis
- expanded treatment of centralized and decentralized control of partially-observed systems
- new sections on timed automata with guards (in the Alur-Dill formalism) and hybrid automata
- an introduction to hybrid systems
- updated coverage of discrete event simulation, including new software tools available
- recent developments in sensitivity analysis for discrete event systems as well as hybrid systems
This textbook is valuable to advanced-level students and researchers in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, operations research, and industrial engineering.
Content:
Front Matter....Pages i-xxiii
Systems and Models....Pages 1-51
Languages and Automata....Pages 53-131
Supervisory Control....Pages 133-221
Petri Nets....Pages 223-267
Timed and Hybrid Models....Pages 269-325
Stochastic Timed Automata....Pages 327-367
Markov Chains....Pages 369-428
Introduction to Queueing Theory....Pages 429-497
Controlled Markov Chains....Pages 499-555
Introduction to Discrete-Event Simulation....Pages 557-615
Sensitivity Analysis and Concurrent Estimation....Pages 617-740
Back Matter....Pages 741-770
Introduction to Discrete Event Systems is a comprehensive introduction to the field of discrete event systems, offering a breadth of coverage that makes the material accessible to readers of varied backgrounds. The book emphasizes a unified modeling framework that transcends specific application areas, linking the following topics in a coherent manner: language and automata theory, supervisory control, Petri net theory, Markov chains and queueing theory, discrete-event simulation, and concurrent estimation techniques.
Distinctive features of the second edition include:
- more detailed treatment of equivalence of automata, event diagnosis, and decentralized event diagnosis
- expanded treatment of centralized and decentralized control of partially-observed systems
- new sections on timed automata with guards (in the Alur-Dill formalism) and hybrid automata
- an introduction to hybrid systems
- updated coverage of discrete event simulation, including new software tools available
- recent developments in sensitivity analysis for discrete event systems as well as hybrid systems
This textbook is valuable to advanced-level students and researchers in a variety of disciplines where the study of discrete event systems is relevant: control, communications, computer engineering, computer science, manufacturing engineering, operations research, and industrial engineering.
Content:
Front Matter....Pages i-xxiii
Systems and Models....Pages 1-51
Languages and Automata....Pages 53-131
Supervisory Control....Pages 133-221
Petri Nets....Pages 223-267
Timed and Hybrid Models....Pages 269-325
Stochastic Timed Automata....Pages 327-367
Markov Chains....Pages 369-428
Introduction to Queueing Theory....Pages 429-497
Controlled Markov Chains....Pages 499-555
Introduction to Discrete-Event Simulation....Pages 557-615
Sensitivity Analysis and Concurrent Estimation....Pages 617-740
Back Matter....Pages 741-770
....