2 papers
math.OC2019
Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction
Adrien Le Coënt, Laurent Fribourg
We show that, for any spatially discretized system of reaction-diffusion, the approximate solution given by the explicit Euler time-discretization scheme converges to the exact tim…
eess.SY2019
SOS: Safe, Optimal and Small Strategies for Hybrid Markov Decision Processes
Pranav Ashok, Jan Křetínský, Kim Guldstrand Larsen +3
For hybrid Markov decision processes, UPPAAL Stratego can compute strategies that are safe for a given safety property and (in the limit) optimal for a given cost function. Unfortu…