2 papers
eess.SY2026
Scalable Reachability Analysis of Linear Continuous Systems with Property-Driven Time-Step Adaptation
Mikkel Bjørn, Mikkel Bjørn, Daniel H. Hansen +3
We study safety verification for linear time-invariant systems with bounded inputs in continuous time. The standard approach reduces to a reachability analysis in two steps: first…
eess.SY2026
Robust Zonotopic Control
Fouzi Tabouri, Kim Guldstrand Larsen, Christian Schilling
We propose a zonotopic framework for synthesizing a single robust state feedback controller that is certified to stabilize every plant inside a matrix zonotope, describing linearly…