Title
Correct By Construction Design Of Autonomous Vehicles Through A Barrier Function Method
Abstract
This paper presents a supervisory control structure to ensure safety of low speed autonomous vehicles. The method can provably ensure safety for an autonomous robotic vehicle to navigate in an urban/indoor environment with multiple moving objects. A polar algorithm is developed to construct a polytopic avoidable set, which is then used to construct barrier functions. Then the mixed integer programming (MIP) is used to solve for the control action ensuring safety. The method was tested in simulations with multiple random walking and non-hostile objects. The results show that the proposed method can effectively navigate the autonomous vehicle with guaranteed safety.
Year
Venue
Keywords
2017
2017 AMERICAN CONTROL CONFERENCE (ACC)
obstacle avoidance, barrier function, autonomous vehicles
Field
DocType
ISSN
Obstacle avoidance,Computer science,Supervisory control,Control engineering,Integer programming,Vehicle dynamics,Robot
Conference
0743-1619
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Yuxiao Chen1296.20
Huei Peng2805150.82
J. w. Grizzle32188215.15