More Like this

1. Learning Adaptive Safety for Multi-Agent Systems

   https://doi.org/10.1109/ICRA57147.2024.10611037  

   Berducci, Luigi; Yang, Shuo; Mangharam, Rahul; Grosu, Radu (May 2024, IEEE)
2. Safety-Critical Optimal Control for Autonomous Systems

   https://doi.org/doi.org/10.1007/s11424-021-1230-x  

   Xiao, W.; Cassandras, C.G.; Belta, C. (January 2021, Journal of Systems Science and Complexity)
3. Inverse-Optimal Safety Control for Hybrid Systems

   Montenegro, Carlos; Jimenez, Santiago; Sanfelice, Ricardo (May 2025, Proceedings of the Conference on Hybrid Systems: Computation and Control (2025))
4. Perception Contracts for Safety of ML-Enabled Systems

   https://doi.org/10.1145/3622875  

   Astorga, Angello; Hsieh, Chiao; Madhusudan, P; Mitra, Sayan (October 2023, Proceedings of the ACM on Programming Languages)

   We introduce a novel notion of perception contracts to reason about the safety of controllers that interact with an environment using neural perception. Perception contracts capture errors in ground-truth estimations that preserve invariants when systems act upon them. We develop a theory of perception contracts and design symbolic learning algorithms for synthesizing them from a finite set of images. We implement our algorithms and evaluate synthesized perception contracts for two realistic vision-based control systems, a lane tracking system for an electric vehicle and an agricultural robot that follows crop rows. Our evaluation shows that our approach is effective in synthesizing perception contracts and generalizes well when evaluated over test images obtained during runtime monitoring of the systems. 

   more » « less
5. Model-Free Safety-Critical Control for Robotic Systems

   https://doi.org/10.1109/LRA.2021.3135569  

   Molnar, Tamas G.; Cosner, Ryan K.; Singletary, Andrew W.; Ubellacker, Wyatt; Ames, Aaron D. (April 2022, IEEE Robotics and Automation Letters)