2 papers
eess.SY2026
Optimal Control-Based Falsification of Learnt Dynamics via Neural ODEs and Symbolic Regression
Lasse Kötz, Jonas Sjöberg, Knut Åkesson
We present a falsification framework that integrates learned surrogate dynamics with optimal control to efficiently generate counterexamples for cyber-physical systems specified in…
eess.SY2025
Priority-Driven Safe Model Predictive Control Approach to Autonomous Driving Applications
Francesco Prignoli, Ying Shuai Quan, Mohammad Jeddi +2
This paper demonstrates the applicability of the safe model predictive control (SMPC) framework to autonomous driving scenarios, focusing on the design of adaptive cruise control (…