Formal Test Synthesis for Safety-Critical Autonomous Systems based on Control Barrier Functions

H. Abbas, G. Fainekos, S. Sankaranarayanan, F. Ivančiundefined, and A. Gupta, “Probabilistic temporal logic falsification of cyber-physical systems,” ACM Trans. Embed. Comput. Syst

2013

Earlier work this paper cites.

T. Wongpiromsarn, U. Topcu, and A. Lamperski, “Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems,” IEEE Transactions on Automatic Control

2016

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.

P. Koopman and M. Wagner, “Autonomous vehicle safety: An interdisciplinary challenge,” IEEE Intelligent Transportation Systems Magazine

2017

Earlier work this paper cites.

G. E. Mullins, P. G. Stankiewicz, and S. K. Gupta, “Automated generation of diverse and challenging scenarios for test and evaluation of autonomous vehicles,” in 2017 IEEE international conference on robotics and automation (ICRA)

2017

Earlier work this paper cites.

L. Wang, A. D. Ames, and M. Egerstedt, “Safety barrier certificates for collisions-free multirobot systems,” IEEE Transactions on Robotics

2017

Earlier work this paper cites.

M. Althoff and S. Lutz, “Automatic generation of safety-critical test scenarios for collision avoidance of road vehicles,” in 2018 IEEE Intelligent Vehicles Symposium (IV)

2018

Cited alongside, same era.

B. A. Haugh, D. A. Sparrow, and D. M. Tate, “The status of test, evaluation, verification, and validation (tev&v) of autonomous systems,” 2018

2018

Cited alongside, same era.

M. Srinivasan, S. Coogan, and M. Egerstedt, “Control of multi-agent systems with finite time control barrier certificates and temporal logic,” in 2018 IEEE Conference on Decision and Control (CDC)

2018

Cited alongside, same era.

A. Li, L. Wang, P. Pierpaoli, and M. Egerstedt, “Formally Correct Composition of Coordinated Behaviors Using Control Barrier Certificates,” in IEEE International Conference on Intelligent Robots and Systems

2018

Cited alongside, same era.

M. Koschi, C. Pek, S. Maierhofer, and M. Althoff, “Computationally efficient safety falsification of adaptive cruise control systems,” in 2019 IEEE Intelligent Transportation Systems Conference (ITSC)

2019

Later among the works it cites.

T. A. Wheeler and M. J. Kochenderfer, “Critical factor graph situation clusters for accelerated automotive safety validation,” in 2019 IEEE Intelligent Vehicles Symposium (IV)

2019

Later among the works it cites.

L. Lindemann and D. V. Dimarogonas, “Control barrier functions for multi-agent systems under conflicting local signal temporal logic tasks,” IEEE Control Systems Letters

2019

Later among the works it cites.

L. Lindemann and D. V. Dimarogonas, “Decentralized control barrier functions for coupled multi-agent systems under signal temporal logic tasks,” in 2019 18th European Control Conference (ECC)

2019

Later among the works it cites.