Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models

Matthias Althoff and John M. Dolan
Proceedings of the American Control Conference , June, 2012.


Download
  • Adobe portable document format (pdf) (1MB)
Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

Abstract
We present an approach to verify the planned maneuvers of an automated car. The main idea is to compute the occupancy of the automated car on the road using reachable sets, which makes it possible to check if one collides with other traffic participants, or leaves the drivable area. The specialty of the presented approach is that all possible uncertainties in the form of sensor noise, uncertain friction coefficient, and uncertain initial states, are considered. Maneuvers are periodically verified on-board to account for the variety of possible traffic situations, requiring an efficient algorithm. Thus, the underlying vehicle model has to be a compromise between accuracy and simplicity. The inexactness of the model is compensated by adding disturbance to the model such that it contains high-order model behavior. This is demonstrated by exploring the state space with rapidly-exploring random trees (RRTs) of a high-order model and check whether it leaves the reachable area of the low-order model used for verification.

Keywords
autonomous vehicles, reachability analysis, modeling, safety verification

Notes
Associated Project(s): Autonomous Vehicle Safety Verification
Number of pages: 8

Text Reference
Matthias Althoff and John M. Dolan, "Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models," Proceedings of the American Control Conference , June, 2012.

BibTeX Reference
@inproceedings{Dolan_2012_7196,
   author = "Matthias Althoff and John M Dolan",
   title = "Reachability Computation of Low-Order Models for the Safety Verification of High-Order Road Vehicle Models",
   booktitle = "Proceedings of the American Control Conference ",
   month = "June",
   year = "2012",
}