39 citations · 53 across the 19 of their papers we have counts for
3 papers · 1 filter
Synthesis of Optimal Resilient Control Strategies
Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak +1
Repair mechanisms are important within resilient systems to maintain the system in an operational state after an error occurred. Usually, constraints on the repair mechanisms are i…
Fixed-delay Events in Generalized Semi-Markov Processes Revisited
Tomáš Brázdil, Jan Krčál, Jan Křetínský +1
We study long run average behavior of generalized semi-Markov processes with both fixed-delay events as well as variable-delay events. We show that allowing two fixed-delay events…
Measuring Performance of Continuous-Time Stochastic Processes using Timed Automata
Tomáš Brázdil, Jan Krčál, Jan Křetínský +2
We propose deterministic timed automata (DTA) as a model-independent language for specifying performance and dependability measures over continuous-time stochastic processes. Techn…