Fetching the paper…
Reading the bibliography…
Control Barrier Functions (CBFs) aim to ensure safety by constraining the control input at each time step so that the system state remains within a desired safe region.
Safety verification for automated platoon maneuvers: A case study
Ekaterina Dolginova and Nancy Lynch · 1997
Earlier work this paper cites.
Feedback stabilization of affine in the control stochastic differential systems by the control lyapunov function method
Patrick Florchinger · 1997
Earlier work this paper cites.
Conflict resolution for air traffic management: A study in multiagent hybrid systems
Claire Tomlin, George J Pappas, and Shankar Sastry · 1998
Earlier work this paper cites.
Hybrid system verification using discrete model approximations
Alongkrit Chutinan · 1999
Earlier work this paper cites.
Stochastic stability of the continuous-time extended kalman filter
Konrad Reif, Stefan Gunther, Engin Yaz, and Rolf Unbehauen · 2000
Earlier work this paper cites.
Safety verification of hybrid systems using barrier certificates
Stephen Prajna and Ali Jadbabaie · 2004
Earlier work this paper cites.
Safety verification of hybrid systems by constraint propagation based abstraction refinement
Stefan Ratschan and Zhikun She · 2005
Earlier work this paper cites.
Efficient computation of reachable sets of linear time-invariant systems with inputs
Antoine Girard, Colas Le Guernic, and Oded Maler · 2006
Earlier work this paper cites.
Stochastic processes and filtering theory
Andrew H Jazwinski · 2007
Earlier work this paper cites.
A framework for worst-case and stochastic safety verification using barrier certificates
Stephen Prajna, Ali Jadbabaie, and George J Pappas · 2007
Earlier work this paper cites.
Verification and control of hybrid systems: a symbolic approach
Paulo Tabuada · 2009
Earlier work this paper cites.
Reachable set computation for uncertain time-varying linear systems
Matthias Althoff, Colas Le Guernic, and Bruce H Krogh · 2011
Earlier work this paper cites.
Brownian motion and stochastic calculus
Ioannis Karatzas and Steven Shreve · 2012
Earlier work this paper cites.
Verifying cyber-physical interactions in safety-critical systems
Sayan Mitra, Tichakorn Wongpiromsarn, and Richard M Murray · 2013
Earlier work this paper cites.
Control barrier function based quadratic programs with application to adaptive cruise control
Aaron D Ames, Jessy W Grizzle, and Paulo Tabuada · 2014
Cited alongside, same era.
Control barrier certificates for safe swarm behavior
Urs Borrmann, Li Wang, Aaron D Ames, and Magnus Egerstedt · 2015
Cited alongside, same era.
Control barrier function based quadratic programs with application to bipedal robotic walking
Shao-Chen Hsu, Xiangru Xu, and Aaron D Ames · 2015
Cited alongside, same era.
Adaptive cruise control: Experimental validation of advanced controllers on scale-model cars
Aakar Mehra, Wen-Loong Ma, Forrest Berg, Paulo Tabuada, Jessy W Grizzle, and Aaron D Ames · 2015
Cited alongside, same era.
Control barrier function based quadratic programs for safety critical systems
Aaron D Ames, Xiangru Xu, Jessy W Grizzle, and Paulo Tabuada · 2016
Cited alongside, same era.
Constrained control of input–output linearizable systems using control sharing barrier functions
Xiangru Xu · 2018
Later among the works it cites.
Control barrier functions: Theory and applications
Aaron D Ames, Samuel Coogan, Magnus Egerstedt, Gennaro Notomista, Koushil Sreenath, and Paulo Tabuada · 2019
Later among the works it cites.
End-to-end safe reinforcement learning through barrier functions for safety-critical continuous control tasks
Richard Cheng, Gábor Orosz, Richard M Murray, and Joel W Burdick · 2019
Later among the works it cites.
Control barrier functions for complete and incomplete information stochastic systems
Andrew Clark · 2019
Later among the works it cites.
Control barrier functions for signal temporal logic tasks
Lars Lindemann and Dimos V Dimarogonas · 2019
Later among the works it cites.
Verification and control for finite-time safety of stochastic systems via barrier functions
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
Wangyan Li, Guoliang Wei, Derui Ding, Yurong Liu, and Fuad E Alsaadi · 2016
Cited alongside, same era.
Exponential control barrier functions for enforcing high relative-degree safety-critical constraints
Quan Nguyen and Koushil Sreenath · 2016
Cited alongside, same era.
Optimal robust control for constrained nonlinear hybrid systems with application to bipedal locomotion
Quan Nguyen and Koushil Sreenath · 2016
Cited alongside, same era.
Constrained robot control using control barrier functions
Manuel Rauscher, Melanie Kimmel, and Sandra Hirche · 2016
Cited alongside, same era.
Stabilization with guaranteed safety using control lyapunov–barrier function
Muhammad Zakiyullah Romdlony and Bayu Jayawardhana · 2016
Cited alongside, same era.
Safety-critical control of a planar quadrotor
Guofan Wu and Koushil Sreenath · 2016
Cited alongside, same era.
Obstacle avoidance for low-speed autonomous vehicles with barrier function
Yuxiao Chen, Huei Peng, and Jessy Grizzle · 2017
Cited alongside, same era.
Cesar Santoyo, Maxence Dutreix, and Samuel Coogan · 2019
Later among the works it cites.
Control barrier functions for systems with high relative degree
Wei Xiao and Calin Belta · 2019
Later among the works it cites.
Self-triggered control for safety critical systems using control barrier functions
Guang Yang, Calin Belta, and Roberto Tron · 2019
Later among the works it cites.
Safe multi-agent interaction through robust control barrier functions with learned uncertainties
Richard Cheng, Mohammad Javad Khojasteh, Aaron D Ames, and Joel W Burdick · 2020
Closest in time.
Bayesian learning-based adaptive control for safety critical systems
David D Fan, Jennifer Nguyen, Rohan Thakker, Nikhilesh Alatur, Ali-akbar Agha-mohammadi, and Evangelos A Theodorou · 2020
Closest in time.
Formal synthesis of stochastic systems via control barrier certificates
Pushpak Jagtap, Sadegh Soudjani, and Majid Zamani · 2020
Closest in time.
Probabilistic safety constraints for learned high relative degree system dynamics
Mohammad Javad Khojasteh, Vikas Dhiman, Massimo Franceschetti, and Nikolay Atanasov · 2020
Closest in time.
High-relative degree stochastic control lyapunov and barrier functions
Meenakshi Sarkar, Debasish Ghose, and Evangelos A Theodorou · 2020
Closest in time.