Towards probabilistic contracts for intelligent cyber-physical systems
Cyber-physical systems are systems that exhibit both discrete computational and continuous
physical behavior. They are often subject to different kinds of uncertainty, ranging from …
physical behavior. They are often subject to different kinds of uncertainty, ranging from …
Tweaking the odds in probabilistic timed automata
We consider probabilistic timed automata (PTA) in which probabilities can be parameters, ie
symbolic constants. They are useful to model randomised real-time systems where exact …
symbolic constants. They are useful to model randomised real-time systems where exact …
Modest Models and Tools for Real Stochastic Timed Systems
We depend on the safe, reliable, and timely operation of cyber-physical systems ranging
from smart grids to avionics components. Many of them involve time-dependent behaviours …
from smart grids to avionics components. Many of them involve time-dependent behaviours …
[PDF][PDF] Monotonicity in Markov models
J Spel - 2023 - publications.rwth-aachen.de
Many systems exhibit probabilistic behavior, such as randomized protocols, communication
protocols, or biological systems. Probabilistic model checking is a common way to analyze …
protocols, or biological systems. Probabilistic model checking is a common way to analyze …