GF_JG_DESDes_sep_2006

Greifeneder, J.; Frey, G.:
Probabilistic Hybrid Automata with Variable Step Width Applied to the Analysis of Networked Automation Systems.
Proceedings of the 3rd IFAC Workshop on Discrete Event System Design (DESDes'06), Rydzyna Castle, Poland, September 26-28, pp. 283-288, ISBN 83-7481-035-1, 2006.

    Probabilistic Timed Automata (PTA) have successfully been applied to discuss problems specific to the field of Networked Automation Systems (NAS). This paper shows the transition from PTA towards Probabilistic Hybrid Automata (PHA) by introducing an event triggered variable time version of PTAs. The main idea is to increase accuracy and decrease state space of the underlying Discrete Time Markov Chains (DTMC) which are input for those probabilistic model checking algorithms for which these models should be used. For a better illustration of the advancement, the approach is applied to a typical ex-ample from the field of NAS.

    Keywords: Time varying systems, Probabilistic Models, Quality, Delay analysis, Discrete-time models, Markov models, Networks, Modeling, Automata.