Author:
Lyu Ziliang,Xu Xiangru,Hong Yiguang
Funder
National Natural Science Foundation of China
Science and Technology Commission of Shanghai Municipality
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference25 articles.
1. Control barrier function based quadratic programs with application to adaptive cruise control;Ames,2014
2. Control barrier function based quadratic programs for safety critical systems;Ames;IEEE Transactions on Automatic Control,2016
3. Verification guided refinement of flight safety assessment and management system for takeoff;Balachandran;Journal Of Aerospace Information Systems,2016
4. Set-theoretic methods in control;Blanchini,2008
5. Model checking;Clarke,2018
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献