Set-based computation of vehicle behaviors for the online verification of autonomous vehicles

IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC

Volumn , Issue , 2011, Pages 1162-1167

  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

AUTONOMOUS VEHICLES; INITIAL STATE; LANE DEPARTURE; LOOK-AHEAD; REACHABILITY ANALYSIS; REACHABLE SET; SAFETY PROPERTY; SENSOR NOISE; VEHICLE BEHAVIOR; VEHICLE COLLISIONS;

INTELLIGENT SYSTEMS; MATHEMATICAL MODELS; ONLINE SYSTEMS; TRAJECTORIES;

VEHICLES;

EID: 83755196055     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ITSC.2011.6083052     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. 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. (Pubitemid 44019592)
9. C. Schmidt, F. Oechsle, and W. Branz, "Research on trajectory planning in emergency situations with multiple objects," in Proc. of the IEEE Intelligent Transportation Systems Conference, 2006, pp. 988-992.
10. J. van den Berg, "Path planning in dynamic environments," Ph.D. dissertation, Utrecht University, 2007.
11. K. Savla, F. Bullo, and E. Frazzoli, "The coverage problem for loitering Dubins vehicles," in Proc. of the 46th IEEE Conference on Decision and Control, 2007, pp. 1398-1403.
12. C. F. Chung, T. Furukawa, and A. H. Göktogan, "Coordinated control for capturing a highly maneuverable evader using forward reachable sets," in Proc. of the IEEE International Conference on Robotics and Automation, 2006, pp. 1336-1341.
13. A. Kwok and S. Martínez, "A coverage algorithm for drifters in a river environment," in Proc. of the American Control Conference, 2010, pp. 6436-6441.
14. C. Tomlin, I. Mitchell, and R. Ghosh, "Safety verification of conflict resolution maneuvers," IEEE Transactions on Intelligent Transportation Systems, vol. 2, pp. 110-120, 2001. (Pubitemid 33675781)
15. J. H. Gillula, H. Haomiao, M. P. Vitus, and C. J. Tomlin, "Design of guaranteed safe maneuvers using reachable sets: Autonomous quadrotor aerobatics in theory and practice," in Proc. of the IEEE International Conference on Robotics and Automation, 2010, pp. 1649-1654.
16. S. M. Loos, A. Platzer, and L. Nistor, "Adaptive cruise control: Hybrid, distributed, and now formally verified," in Proc. of the 17th International Symposium on Formal Methods, ser. LNCS 6664. Springer, 2011, pp. 42-56.
17. M. Althoff, D. Althoff, D. Wollherr, and M. Buss, "Safety verification of autonomous vehicles for coordinated evasive maneuvers," in Proc. of the IEEE Intelligent Vehicles Symposium, 2010.
18. R. Rajamani, Vehicle Dynamics and Control, F. F. Ling and E. F. Gloyna, Eds. Springer, 2006.
19. G. Lafferriere, G. J. Pappas, and S. Yovine, "Symbolic reachability computation for families of linear vector fields," Symbolic Computation, vol. 32, pp. 231-253, 2001. (Pubitemid 33098464)
20. M. Berz and G. Hoffstätter, "Computation and application of Taylor polynomials with interval remainder bounds," Reliable Computing, vol. 4, pp. 83-97, 1998. (Pubitemid 128512504)
21. M. Althoff, "Reachability analysis and its application to the safety assessment of autonomous cars," Dissertation, TU München, 2010, URL: http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20100715-963752- 1-4.
22. W. Kühn, "Rigorously computed orbits of dynamical systems without the wrapping effect," Computing, vol. 61, pp. 47-67, 1998. (Pubitemid 128508169)
23. A. Girard, "Reachability of uncertain linear systems using zonotopes,"in Hybrid Systems: Computation and Control, ser. LNCS 3414. Springer, 2005, pp. 291-305.
24. J. Ziegler and C. Stiller, "Fast collision checking for intelligent vehicle motion planning," in Proc. of the IEEE Intelligent Vehicles Symposium, 2010, pp. 518-522.
25. J. Guldner, W. Sienel, H.-S. Tan, J. Ackermann, S. Patwardhan, and T. Bünte, "Robust automatic steering control for look-down reference systems with front and rear sensors," IEEE Transactions on Control Systems Technology, vol. 7, pp. 2-11, 1999.
26. N. Ramdani, N. Meslem, and Y. Candau, "Computing reachable sets for uncertain nonlinear monotone systems," Nonlinear Analysis: Hybrid Systems, vol. 4, pp. 263-278, 2010.