Abstraction for Stochastic Systems by Erlang's Method of Stages

ion for Stochastic Systems by Erlang's Method of Stages Joost-Pieter Katoen1 , Daniel Klink1 , Martin Leucker2 , and Verena Wolf3 1 RWTH Aachen University 2 TU Munich 3 EPF Lausanne This paper proposes a novel abstraction technique based on Erlang's method of stages for continuous-time Markov chains (CTMCs). As abstract models Erlang-k interval processes are proposed where state residence times are governed by Poisson processes and transition probabilities are specified by intervals. We provide a three-valued semantics of CSL (Continuous Stochastic Logic) for Erlang-k interval processes, and show that both affirmative and negative verificaults are preserved by our abstraction. The feasibility of our technique is demonstrated by a quantitative analysis of an enzyme-catalyzed substrate conversion, a well-known case study from biochemistry.

• Type: Conference
• Year: 2008
• Where: CONCUR
• Authors: Joost-Pieter Katoen, Daniel Klink, Martin Leucker, Verena Wolf
• Keywords: CONCUR 2008, Distributed And Parallel Computing, Erlang's Method, Erlang-k Interval Processes, Models Erlang-k Interval