49 citations · 49 across the 3 of their papers we have counts for
3 papers
math.OC2023
How to Train Your Neural Control Barrier Function: Learning Safety Filters for Complex Input-Constrained Systems
Oswin So, Zachary Serlin, Makai Mann +4
Control barrier functions (CBF) have become popular as a safety filter to guarantee the safety of nonlinear dynamical systems for arbitrary inputs. However, it is difficult to cons…
math.OC2021
Optimal Control for Linear Networked Control Systems with Information Transmission Constraints
Antoine Aspeel, Kwesi Rutledge, Raphaël M. Jungers +2
This paper addresses the problem of robust control of a linear discrete-time system subject to bounded disturbances and to measurement and control budget constraints. Using Q-param…
eess.SY2018★ 49 cited
Using control synthesis to generate corner cases: A case study on autonomous driving
Glen Chou, Yunus E. Sahin, Liren Yang +3
This paper employs correct-by-construction control synthesis, in particular controlled invariant set computations, for falsification. Our hypothesis is that if it is possible to co…