Overview
- Coherent and comprehensive overview on modeling with and quantitative evaluation of stochastic discrete event systems
- Important model classes like queuing networks, Petri nets and automata are presented in detail
- Introduction of a new abstract model class as a unifying framework
- Nontrivial examples from areas like manufacturing control, performance of communication systems, and supply-chain management to explain real-world applications of SDES
- Includes supplementary material: sn.pub/extras
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The behavior of many technical systems important in everyday life can be described using discrete states and state-changing events. Stochastic discrete-event systems (SDES) capture the randomness in choices and over time due to activity delays and the probabilities of decisions. The starting point for the evaluation of quantitative issues like performance and dependability is a formal description of the system of interest in a model.
Armin Zimmermann delivers a coherent and comprehensive overview on modeling with and quantitative evaluation of SDES. An abstract model class for SDES is presented as a pivotal unifying result. Several important model classes, including queuing networks, Petri nets and automata, are detailed together with their formal translation into this abstract model class. Standard and recently developed algorithms for the performance evaluation, optimization and control of SDES are presented in the context of the abstract model class. The necessary software tool support is also covered. The book is completed with nontrivial examples from areas like manufacturing control, performance of communication systems, and supply-chain management, highlighting the application of the techniques presented.
For researchers and graduate students this monograph summarizes the body of knowledge for modeling and evaluating SDES, while bringing it to a new abstraction level with the introduction of a new and unifying framework. In addition, the extensive reference list is an excellent starting point for further detailed reading and research.
Similar content being viewed by others
Keywords
Table of contents (17 chapters)
Authors and Affiliations
About the author
Since fall 2006 Armin Zimmermann has held a deputy professorship for real-time systems and robotics at the faculty of electrical engineering and computer sciences of TU Berlin. He is the principal investigator of the research group Model-Based Evaluation of Discrete Real-Time Systems and coordinates the graduate college "Stochastic Modelling and Quantitative Analysis of Complex Systems in Engineering". Prior to that, he was research fellow from 1995 to 1999 and research assistant from 1999 to 2006 at TU Berlin. In 1997, he had received the Krone award, the Carl Ramsauer award, and the Chorafas Foundation award for his thesis on modelling and analysis of manufacturing systems with Petri nets.
His research interests include modelling, performance evaluation, optimization, and control of technical systems using discrete-event models as well as their tool support.
Bibliographic Information
Book Title: Stochastic Discrete Event Systems
Book Subtitle: Modeling, Evaluation, Applications
Authors: Armin Zimmermann
DOI: https://doi.org/10.1007/978-3-540-74173-2
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2008
Hardcover ISBN: 978-3-540-74172-5Published: 02 October 2007
Softcover ISBN: 978-3-642-09350-0Published: 19 October 2010
eBook ISBN: 978-3-540-74173-2Published: 12 January 2008
Edition Number: 1
Number of Pages: XVI, 392
Number of Illustrations: 86 b/w illustrations
Topics: Probability and Statistics in Computer Science, Probability Theory and Stochastic Processes, System Performance and Evaluation, Simulation and Modeling, Mathematical Modeling and Industrial Mathematics