Reachability computation of low-order models for the safety verification of high-order road vehicle models

Proceedings of the American Control Conference

Volumn , Issue , 2012, Pages 3559-3566

  Althoff, Matthias ^a   Dolan, John M ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONTROL ENGINEERING;

HIGH ORDER MODEL; LOW ORDER MODELS; RAPIDLY-EXPLORING RANDOM TREES; REACHABLE SET; SAFETY VERIFICATION; TRAFFIC SITUATIONS; UNCERTAIN FRICTION COEFFICIENTS; VEHICLE MODEL;

FRICTION;

EID: 84869391985     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/acc.2012.6314777     Document Type: Conference Paper

References (26)

1. E. Asarin, T. Dang, G. Frehse, A. Girard, C. Le Guernic, and O. Maler, "Recent progress in continuous and hybrid reachability analysis," in Proc. of the 2006 IEEE Conference on Computer Aided Control Systems Design, 2006, pp. 1582-1587.
2. A. Puri, P. Varaiya, and V. Borkar, " ε-approximation of differential inclusions," in Proc. of the 34th IEEE Conference on Decision and Control, 1995, pp. 2892 - 2897.
3. E. Asarin, T. Dang, and A. Girard, "Reachability analysis of nonlinear systems using conservative approximation," in Hybrid Systems: Control and Computation, 2003, pp. 20-35.
4. Z. Han and B. H. Krogh, "Reachability analysis of nonlinear systems using trajectory piecewise linearized models," in Proc. of the American Control Conference, 2006, pp. 1505-1510.
5. M. Althoff, O. Stursberg, and M. Buss, "Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization," in Proc. of the 47th IEEE Conference on Decision and Control, 2008, pp. 4042-4048.
6. T. Dang, O. Maler, and R. Testylier, "Accurate hybridization of nonlinear systems," in Hybrid Systems: Computation and Control, 2010, pp. 11-19.
7. A. Chutinan and B. H. Krogh, "Computational techniques for hybrid system verification," IEEE Transactions on Automatic Control, vol. 48, no. 1, pp. 64-75, 2003.
8. C. Tomlin, I. Mitchell, A. Bayen, and M. Oishi, "Computational techniques for the verification and control of hybrid systems," Proceedings of the IEEE, vol. 91, no. 7, pp. 986-1001, 2003.
9. I. M. Mitchell, A. M. Bayen, and C. J. Tomlin, "A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games," IEEE Transactions on Automatic Control, vol. 50, pp. 947-957, 2005.
10. A. Girard, C. Le Guernic, and O. Maler, "Efficient computation of reachable sets of linear time-invariant systems with inputs," in Hybrid Systems: Computation and Control, ser. LNCS 3927. Springer, 2006, pp. 257-271.
11. S. M. LaValle and J. J. Kuffner, "Randomized kinodynamic planning," in Proc. of the IEEE International Conference on Robotics and Automation, 1999, pp. 473 - 479.
12. M. S. Branicky, M. M. Curtiss, J. A. Levine, and S. B. Morgan, "RRTs for nonlinear, discrete, and hybrid planning and control," in Proc. of the 42nd IEEE Conference on Decision and Control, 2003, pp. 657-663.
13. A. Bhatia and E. Frazzoli, "Incremental search methods for reachability analysis of continuous and hybrid systems," in Hybrid Systems: Computation and Control, ser. LNCS 2993. Springer, 2004, pp. 142-156.
14. M. S. Branicky, M. M. Curtiss, J. Levine, and S. Morgan, "Samplingbased planning, control, and verification of hybrid systems," IEE Proceedings - Control Theory and Applications, vol. 153, no. 5, pp. 575 - 590, 2006.
15. T. Dang and T. Nahhal, "Coverage-guided test generation for continuous and hybrid systems," Formal Methods in System Design, vol. 34, no. 2, pp. 183 - 213, 2009.
16. A. Donzé and O. Maler, "Systematic simulations using sensitivity analysis." in Hybrid Systems: Computation and Control, ser. LNCS 4416. Springer, 2007, pp. 174-189.
17. A. Girard and G. J. Pappas, "Verification using simulation," in Hybrid Systems: Computation and Control, ser. LNCS 3927. Springer, 2006, pp. 272-286.
18. T. Nghiem, S. Sankaranarayanan, G. Fainekos, F. Ivančić, A.Gupta, and G. J. Pappas, "Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems," in Hybrid Systems: Computation and Control, 2010, pp. 211-220.
19. M. Althoff and J. M. Dolan, "Set-based computation of vehicle behaviors for the online verification of autonomous vehicles," in Proc. of the 14th IEEE Conference on Intelligent Transportation Systems, 2011, pp. 1162-1167.
20. R. Rajamani, Vehicle Dynamics and Control, F. F. Ling and E. F. Gloyna, Eds. Springer, 2006.
21. R. W. Allen, H. T. Szostak, D. H. Klyde, T. J. Rosenthal, and K. J. Owens, "Vehicle dynamic stability and rollover," U.S. Department of Transportation, Final Report DOT HS 807 956, 1992.
22. Adams/Tire help, MSC Software, 2 MacArthur Place, Santa Ana, CA 92707, April 2011, documentation ID: DOC9805. [Online]. Available: http://simcompanion. mscsoftware.com/infocenter
23. M. Althoff, B. H. Krogh, and O. Stursberg, Modeling, Design, and Simulation of Systems with Uncertainties. Springer, 2011, ch. Analyzing Reachability of Linear Dynamic Systems with Parametric Uncertainties, pp. 69-94.
24. M. Althoff, C. Le Guernic, and B. H. Krogh, "Reachable set computation for uncertain time-varying linear systems," in Hybrid Systems: Computation and Control, 2011, pp. 93-102.
25. M. Althoff, "Reachability analysis and its application to the safety assessment of autonomous cars," Dissertation, Technische Universität München, 2010, http://nbnresolving.de/urn/resolver.pl?urn:nbn:de:bvb:91- diss-20100715-963752-1-4.
26. S. M. LaValle, M. S. Branicky, and S. R. Lindemann, "On the relationship between classical grid search and probabilistic roadmaps," Intl. Journal of Robotics Research, vol. 23, no. 7-8, pp. 673-692, 2004.