2 papers
eess.SY2025
A Parametric Model for Near-Optimal Online Synthesis with Robust Reach-Avoid Guarantees
Mario Gleirscher, Philip Hönnecke
Objective: To obtain explainable guarantees in the online synthesis of optimal controllers for high-integrity cyber-physical systems, we re-investigate the use of exhaustive search…
eess.SY2025
Solvability of Approximate Reach-Avoid Games
Mario Gleirscher
Objective: In a companion paper, we propose a parametric hybrid automaton model and an algorithm for the online synthesis of robustly correct and near-optimal controllers for cyber…