Seminar Details
2025-10-21 (14:00) : Over-Approximation Methods for Safe Control: Lifting and Preview Information
At Euler building (room A.002)
Organized by Mathematical Engineering
Speaker :
Aspeel, Antoine
Abstract :
Ensuring safety in the control of nonlinear systems is a central challenge in control theory. Over-approximations address this by replacing a deterministic nonlinear system with a nondeterministic (piecewise) linear one, enabling the use of control synthesis techniques with formal guarantees for the original dynamics.
The presentation will cover two recent approaches that reduce conservatism in over-approximations. Lifted over-approximations represent the system in higher dimension, providing additional degrees of freedom. Over-approximations with preview reinterpret the approximation error as input-dependent preview information, leading to policies that depend jointly on the state and the error. The resulting concretization problem—recovering a valid input for the true system from such a policy—is formulated as a fixed-point equation, enabling efficient computation.