Fetching the paper…
Reading the bibliography…
Safety is one of the most important properties of control systems.
C. Tomlin, G. J. Pappas, and S. Sastry, “Conflict resolution for air traffic management: A study in multiagent hybrid systems,” IEEE Transactions on Automatic Control
1998
Earlier work this paper cites.
Q. Zhao and J. Jiang, “Reliable state feedback control system design against actuator failures,” Automatica
1998
Earlier work this paper cites.
K. Reif, S. Gunther, E. Yaz, and R. Unbehauen, “Stochastic stability of the continuous-time extended Kalman filter,” IEE Proceedings-Control Theory and Applications
2000
Earlier work this paper cites.
G. Tao, S. Chen, and S. M. Joshi, “An adaptive actuator failure compensation controller using output feedback,” IEEE Transactions on Automatic Control
2002
Earlier work this paper cites.
P. A. Parrilo, “Semidefinite programming relaxations for semialgebraic problems,” Mathematical programming
2003
Earlier work this paper cites.
Springer, 2006
M. Blanke, M. Kinnaert, J. Lunze, M. Staroswiecki, and J. Schröder, Diagnosis and Fault-Tolerant Control · 2006
Earlier work this paper cites.
H. A. Blom, J. Krystul, and G. Bakker, “A particle system for safety verification of free flight in air traffic,” in Proceedings of the 45th IEEE Conference on Decision and Control
2006
Earlier work this paper cites.
Springer Science & Business Media, 2006
J. Matousek and B. Gärtner, Understanding and Using Linear Programming · 2006
Earlier work this paper cites.
D. Ye and G.-H. Yang, “Adaptive fault-tolerant tracking control against actuator faults with application to flight control,” IEEE Transactions on control systems technology
2006
Earlier work this paper cites.
S. Prajna, A. Jadbabaie, and G. J. Pappas, “A framework for worst-case and stochastic safety verification using barrier certificates,” IEEE Transactions on Automatic Control
2007
Earlier work this paper cites.
S. Kikukawa, “Consequence analysis and safety verification of hydrogen fueling stations using CFD simulation,” International Journal of Hydrogen Energy
2008
Earlier work this paper cites.
G. Frehse, S. K. Jha, and B. H. Krogh, “A counterexample-guided approach to parameter synthesis for linear hybrid automata,” in International Workshop on Hybrid Systems: Computation and Control
2008
Earlier work this paper cites.
W. Wang and C. Wen, “Adaptive actuator failure compensation control of uncertain nonlinear systems with guaranteed transient performance,” Automatica
2010
Earlier work this paper cites.
J. Yin, S. Khoo, Z. Man, and X. Yu, “Finite-time stability and instability of stochastic nonlinear systems,” Automatica
2011
Earlier work this paper cites.
J. Jiang and X. Yu, “Fault-tolerant control systems: A comparative study between active and passive approaches,” Annual Reviews in control
2012
Earlier work this paper cites.
X. J. Li and G. H. Yang, “Robust adaptive fault-tolerant control for uncertain linear systems with actuator failures,” IET control theory & applications
2012
Earlier work this paper cites.
A. Girard, “Controller synthesis for safety and reachability via approximate bisimulation,” Automatica
2012
Earlier work this paper cites.
S. Tong, T. Wang, and Y. Li, “Fuzzy adaptive actuator failure compensation control of uncertain stochastic nonlinear systems with unmodeled dynamics,” IEEE Transactions on Fuzzy Systems
2013
Earlier work this paper cites.
Springer-Verlag, 2013
H. Heuser, Lehrbuch der Analysis · 2013
Earlier work this paper cites.
A. D. Ames, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs with application to adaptive cruise control,” in 53rd IEEE Conference on Decision and Control
2014
Earlier work this paper cites.
H. Li, H. Gao, P. Shi, and X. Zhao, “Fault-tolerant control of Markovian jump stochastic systems via the augmented sliding mode observer approach,” Automatica
2014
Earlier work this paper cites.
X. Yu and Y. Zhang, “Design of passive fault-tolerant flight controller against actuator failures,” Chinese Journal of Aeronautics
2015
Earlier work this paper cites.
A. D. Ames, X. Xu, J. W. Grizzle, and P. Tabuada, “Control barrier function based quadratic programs for safety critical systems,” IEEE Transactions on Automatic Control
2016
Earlier work this paper cites.
Q. Nguyen and K. Sreenath, “Exponential control barrier functions for enforcing high relative-degree safety-critical constraints,” in 2016 American Control Conference (ACC)
2016
Cited alongside, same era.
A. M. Bardawily, M. Abdel-Geliel, M. Tamazin, and A. Nasser, “Sensors fault estimation, isolation and detection using MIMO extended Kalman filter for industrial applications,” in 2017 10th international conference on electrical and electronics engineering (ELECO)
2017
Cited alongside, same era.
L. Wang, A. D. Ames, and M. Egerstedt, “Safety barrier certificates for collision-free multirobot systems,” IEEE Transactions on Robotics
2017
Cited alongside, same era.
X. Xu, J. W. Grizzle, P. Tabuada, and A. D. Ames, “Correctness guarantees for the composition of lane keeping and adaptive cruise control,” IEEE Transactions on Automation Science and Engineering
2017
Cited alongside, same era.
J. Choi, F. Castañeda, C. J. Tomlin, and K. Sreenath, “Reinforcement learning for safety-critical control under model uncertainty, using control lyapunov functions and control barrier functions,” in Robotics: Science and Systems (RSS)
2020
Later among the works it cites.
A. Clark, Z. Li, and H. Zhang, “Control barrier functions for safe CPS under sensor faults and attacks,” in 2020 59th IEEE Conference on Decision and Control (CDC)
2020
Later among the works it cites.
A. Clark, “Control barrier functions for stochastic systems,” Automatica
2021
Later among the works it cites.
Y. Yang, F. Chen, J. Lang, X. Chen, and J. Wang, “Sliding mode control of persistent dwell-time switched systems with random data dropouts,” Applied Mathematics and Computation
2021
Later among the works it cites.
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
J.-S. Wang and G.-H. Yang, “Data-driven compensation method for sensor drift faults in digital PID systems with unknown dynamics,” Journal of Process Control
2018
Cited alongside, same era.
D. Jung and E. Frisk, “Residual selection for fault detection and isolation using convex optimization,” Automatica
2018
Cited alongside, same era.
H. Yang, Y. Jiang, and S. Yin, “Fault-tolerant control of time-delay Markov jump systems with Ito stochastic process and output disturbance based on sliding mode observer,” IEEE Transactions on Industrial Informatics
2018
Cited alongside, same era.
H. Yang, C. Huang, B. Jiang, and M. M. Polycarpou, “Fault estimation and accommodation of interconnected systems: a separation principle,” IEEE Transactions on Cybernetics
2018
Cited alongside, same era.
E. Squires, P. Pierpaoli, and M. Egerstedt, “Constructive barrier certificates with applications to fixed-wing aircraft collision avoidance,” in 2018 IEEE Conference on Control Technology and Applications (CCTA)
2018
Cited alongside, same era.
Z. Chen, L. Li, and X. Huang, “Building an autonomous lane keeping simulator using real-world data and end-to-end learning,” IEEE Intelligent Transportation Systems Magazine
2018
Cited alongside, same era.
A. D. Ames, K. Galloway, K. Sreenath, and J. W. Grizzle, “Rapidly exponentially stabilizing control Lyapunov functions and hybrid zero dynamics,” IEEE Transactions on Automatic Control
2018
Cited alongside, same era.
A. D. Ames, S. Coogan, M. Egerstedt, G. Notomista, K. Sreenath, and P. Tabuada, “Control barrier functions: Theory and applications,” in 2019 18th European Control Conference (ECC)
2019
Cited alongside, same era.
2021
Later among the works it cites.
C. Santoyo, M. Dutreix, and S. Coogan, “A barrier function approach to finite-time stochastic system verification and control,” Automatica
2021
Later among the works it cites.
J. J. Choi, D. Lee, K. Sreenath, C. J. Tomlin, and S. L. Herbert, “Robust control barrier–value functions for safety-critical control,” in 2021 60th IEEE Conference on Decision and Control (CDC)
2021
Later among the works it cites.
Z. Marvi and B. Kiumarsi, “Safe reinforcement learning: A control barrier function optimization approach,” International Journal of Robust and Nonlinear Control
2021
Later among the works it cites.
H. Ma, J. Chen, S. Eben, Z. Lin, Y. Guan, Y. Ren, and S. Zheng, “Model-based constrained reinforcement learning using generalized control barrier function,” in 2021 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS)
2021
Later among the works it cites.
H. Zhang, Z. Li, and A. Clark, “Model-based reinforcement learning with provable safety guarantees via control barrier functions,” in 2021 IEEE International Conference on Robotics and Automation (ICRA)
2021
Later among the works it cites.
A. Clark, “Verification and synthesis of control barrier functions,” in 2021 60th IEEE Conference on Decision and Control (CDC)
2021
Later among the works it cites.
C. Wang, Y. Meng, S. L. Smith, and J. Liu, “Safety-critical control of stochastic systems using stochastic control barrier functions,” in 2021 60th IEEE Conference on Decision and Control (CDC)
2021
Later among the works it cites.
[Online] Available: https://www.dhs.gov/science-and-technology/cpssec
Department of Homeland Security, Department of Homeland Security Cyber-Physical Systems Page · 2022
Closest in time.
Y. Wang and X. Xu, “Observer-based control barrier functions for safety critical systems,” in 2022 American Control Conference (ACC)
2022
Closest in time.
E. Daş and R. M. Murray, “Robust safe control synthesis with disturbance observer-based control barrier functions,” in 2022 IEEE 61st Conference on Decision and Control (CDC)
2022
Closest in time.
W. Xiao, C. G. Cassandras, C. A. Belta, and D. Rus, “Control barrier functions for systems with multiple control inputs,” in 2022 American Control Conference (ACC)
2022
Closest in time.
J. Usevitch and D. Panagou, “Adversarial resilience for sampled-data systems under high-relative-degree safety constraints,” IEEE Transactions on Automatic Control
2022
Closest in time.
Z. Li, L. Niu, and A. Clark, “LQG reference tracking with safety and reachability guarantees under unknown false data injection attacks,” IEEE Transactions on Automatic Control
2022
Closest in time.
Y. Cheng, P. Zhao, and N. Hovakimyan, “Safe and efficient reinforcement learning using disturbance-observer-based control barrier functions,” in Learning for Dynamics and Control Conference
2023
Closest in time.
2023
Closest in time.
K. Garg, C. Dawson, K. Xu, M. Ornik, and C. Fan, “Model-free neural fault detection and isolation for safe control,” IEEE Control Systems Letters
2023
Closest in time.
B. Xue, N. Zhan, and M. Fränzle, “Reach-avoid analysis for polynomial stochastic differential equations,” IEEE Transactions on Automatic Control
2024
Closest in time.