Introduction to Discrete Event Systems

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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Cassandras, Christos G. (Επιμελητής έκδοσης), Lafortune, Stéphane (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Boston, MA : Springer US, 2008.
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
LEADER 03700nam a22006255i 4500
001 978-0-387-68612-7
003 DE-He213
005 20151204183044.0
007 cr nn 008mamaa
008 100504s2008 xxu| s |||| 0|eng d
020 |a 9780387686127  |9 978-0-387-68612-7 
024 7 |a 10.1007/978-0-387-68612-7  |2 doi 
040 |d GrThAP 
050 4 |a TJ210.2-211.495 
050 4 |a TJ163.12 
072 7 |a TJFM  |2 bicssc 
072 7 |a TJFD  |2 bicssc 
072 7 |a TEC004000  |2 bisacsh 
072 7 |a TEC037000  |2 bisacsh 
082 0 4 |a 629.8  |2 23 
245 1 0 |a Introduction to Discrete Event Systems  |h [electronic resource] /  |c edited by Christos G. Cassandras, Stéphane Lafortune. 
264 1 |a Boston, MA :  |b Springer US,  |c 2008. 
300 |a XXIV, 772 p.  |b online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
347 |a text file  |b PDF  |2 rda 
505 0 |a Systems and Models -- Languages and Automata -- Supervisory Control -- Petri Nets -- Timed and Hybrid Models -- Stochastic Timed Automata -- Markov Chains -- to Queueing Theory -- Controlled Markov Chains -- to Discrete-Event Simulation -- Sensitivity Analysis and Concurrent Estimation. 
520 |a 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. 
650 0 |a Engineering. 
650 0 |a Computer science  |x Mathematics. 
650 0 |a System theory. 
650 0 |a Operations research. 
650 0 |a Management science. 
650 0 |a Mechanical engineering. 
650 0 |a Control engineering. 
650 0 |a Robotics. 
650 0 |a Mechatronics. 
650 0 |a Industrial engineering. 
650 0 |a Production engineering. 
650 1 4 |a Engineering. 
650 2 4 |a Control, Robotics, Mechatronics. 
650 2 4 |a Discrete Mathematics in Computer Science. 
650 2 4 |a Systems Theory, Control. 
650 2 4 |a Mechanical Engineering. 
650 2 4 |a Operations Research, Management Science. 
650 2 4 |a Industrial and Production Engineering. 
700 1 |a Cassandras, Christos G.  |e editor. 
700 1 |a Lafortune, Stéphane.  |e editor. 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer eBooks 
776 0 8 |i Printed edition:  |z 9780387333328 
856 4 0 |u http://dx.doi.org/10.1007/978-0-387-68612-7  |z Full Text via HEAL-Link 
912 |a ZDB-2-ENG 
950 |a Engineering (Springer-11647)