Stochastic Discrete Event Systems - Zimmermann, Armin

. .

Résumé :
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....

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

Sommaire:
Modeling.- A Unified Description for Stochastic Discrete Event Systems.- Stochastic Timed Automata.- Queuing Models.- Simple Petri Nets.- Colored Petri Nets.- Evaluation.- Standard Quantitative Evaluation Methods for SDES.- An Iterative Approximation Method.- Efficient Simulation of SDES Models.- System Optimization.- Model-Based Direct Control.- Software Tool Support.- Applications.- Optimization of a Manufacturing System.- Communication System Performability Evaluation.- Supply Chain Performance Evaluation and Design.- Model-Based Design and Control of a Production Cell.- Summary and Outlook.