This unique textbook comprehensively introduces 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.
Topics and features:
detailed treatment of automata and language theory in the context of discrete event systems, including application to state estimation and diagnosis comprehensive coverage of centralized and decentralized supervisory control of partially-observed systems timed models, including timed automata and hybrid automata stochastic models for discrete event systems and controlled Markov chains discrete event simulation an introduction to stochastic hybrid systems sensitivity analysis and optimization of discrete event and hybrid systems new in the third edition: opacity properties, enhanced coverage of supervisory control, overview of latest software tools This proven textbook is essential 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, transportation networks, operations research, and industrial engineering.
Christos G. Cassandras is Distinguished Professor of Engineering, Professor of Systems Engineering, and Professor of Electrical and Computer Engineering at Boston University.
Stéphane Lafortune is Professor of Electrical Engineering andComputer Science at the University of Michigan, Ann Arbor.
This unique textbook comprehensively introduces 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. Topics and features:detailed treatment of automata and language theory in the context of discrete event systems, including application to state estimation and diagnosiscomprehensive coverage of centralized and decentralized supervisory control of partially-observed systemstimed models, including timed automata and hybrid automatastochastic models for discrete event systems and controlled Markov chainsdiscrete event simulationan introduction to stochastic hybrid systemssensitivity analysis and optimization of discrete event and hybrid systemsnew in the third edition: opacity properties, enhanced coverage of supervisory control, overview of latest software toolsThis proven textbook is essential 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, transportation networks, operations research, and industrial engineering. Christos G. Cassandras is Distinguished Professor of Engineering, Professor of Systems Engineering, and Professor of Electrical and Computer Engineering at Boston University. Stéphane Lafortune is Professor of Electrical Engineering and Computer Science at the University of Michigan, Ann Arbor.
Incorporates essential elements of Hybrid System modeling, thus contributing to bridging the existing gap between time-driven and event-driven systems Coverage includes control, communications, computer engineering, computer science, manufacturing engineering, operations research, and industrial engineering Indispensible for advanced-level students in a variety of disciplines
Christos G. Cassandras
Markov chains Petri net theory Discrete event systems Dynamic systems Language and automata theory Perturbation analysis Supervisory control Unified modeling framework Hybrid systems Automata Queuing theory Discrete-event simulation Concurrent estimation Control engineering Stochastic time automata