37 citations · 151 across the 85 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
eess.SY2020★ 3 cited
Designing Resilient Linear Driftless Systems
Jean-Baptiste Bouvier, Melkior Ornik
Critical systems must be designed resilient to all kinds of malfunctions. We are especially interested by the loss of control authority over actuators. This malfunction considers a…
cs.FL2020
Qualitative Controller Synthesis for Consumption Markov Decision Processes
František Blahoudek, Tomáš Brázdil, Petr Novotný +3
Consumption Markov Decision Processes (CMDPs) are probabilistic decision-making models of resource-constrained systems. In a CMDP, the controller possesses a certain amount of a cr…