We consider the problem of extracting safe environments and controllers for reach-avoid
objectives for systems with known state and control spaces, but unknown dynamics. In a …

Recent contributions have investigated the use of regularization in linear system
identification. In particular, regularizing high-order FIR models to enforce stability while …

We are in world where autonomous systems, such as self-driving cars, surgical robots,
robotic manipulators are becoming a reality. Such systems are considered\textit {safety …