no code implementations • 15 Mar 2024 • Oliver Schön, Zhengang Zhong, Sadegh Soudjani
Algorithmic verification of realistic systems to satisfy safety and other temporal requirements has suffered from poor scalability of the employed formal approaches.
no code implementations • 12 Feb 2024 • Dante Kalise, Estefanía Loayza-Romero, Kirsten A. Morris, Zhengang Zhong
Optimal actuator and control design is studied as a multi-level optimisation problem, where the actuator design is evaluated based on the performance of the associated optimal closed loop.
1 code implementation • 26 Nov 2022 • Zhengang Zhong, Ehecatl Antonio del Rio-Chanona, Panagiotis Petsagkourakis
Unlike SMPC, which requires the exact knowledge of the disturbance distribution, our scheme decides the control action with respect to the worst distribution from a distribution ambiguity set.