![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Performance Analysis of Production Lines Through Statistical Model Checking
Design and maintenance of reliable manufacturing systems calls for the development of formal models that allow for performance analysis. We consider the class of manufacturing systems such that the production ...
-
Chapter and Conference Paper
Analysis of Timed Properties Using the Jump-Diffusion Approximation
Density dependent Markov chains (DDMCs) describe the interaction of groups of identical objects. In case of large numbers of objects a DDMC can be approximated efficiently by means of either a set of ordinary ...
-
Chapter and Conference Paper
Transient Analysis of Networks of Stochastic Timed Automata Using Stochastic State Classes
Stochastic Timed Automata (STA) associate logical locations with continuous, generally distributed sojourn times. In this paper, we introduce Networks of Stochastic Timed Automata (NSTA), where the components ...