24 citations · 32 across the 16 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
eess.SY2017
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…
cs.PF2017
Mean-Payoff Optimization in Continuous-Time Markov Chains with Parametric Alarms
Christel Baier, Clemens Dubslaff, Ľuboš Korenčiak +2
Continuous-time Markov chains with alarms (ACTMCs) allow for alarm events that can be non-exponentially distributed. Within parametric ACTMCs, the parameters of alarm-event distrib…