Safety assessment of autonomous cars using verification techniques

Proceedings of the American Control Conference

Volumn , Issue , 2007, Pages 4154-4159

  Althoff, Matthias ^a   Stursberg, Olaf ^a   Buss, Martin ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICS; LEAD; MARKOV PROCESSES;

APPLIED (CO); AUTONOMOUS CAR; CONTROL STRATEGIES; DYNAMIC TRAFFIC; EFFICIENT COMPUTATION; HYBRID VERIFICATION; IMPRECISE DATA; MARKOV CHAINS (MC); NON-LINEAR DYNAMICS; SAFETY ASSESSMENTS; STATIC OBSTACLES; TIME HORIZONS; VERIFICATION TECHNIQUES;

RISK ASSESSMENT;

EID: 46449096367     PISSN: 07431619     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ACC.2007.4282809     Document Type: Conference Paper

References (17)

1. A. van der Schaft and H. Schumacher, An Introduction to Hybrid Dynamical Systems. Springer, 2000.
2. E. M. Clarke, O. Grumberg, and D. A. Peled, Model Checking. MIT Press, 2000.
3. C. Tomlin, I. Mitchell, A. Bayen, and M. Oishi, "Computational techniques for the verification and control of hybrid systems," in Proceedings of the IEEE, vol. 91, 2003, pp. 986-1001.
4. O. Botchkarev and S. Tripakis, "Verification of hybrid systems with linear differential inclusions using ellipsoidal approximations," in Hybrid Systems ?Computation and Control, ser. LNCS 1790. Springer, 2000, pp. 73-88.
5. A. Chutinan and B. H. Krogh, "Computational techniques for hybrid system verification," in IEEE Transactions on Automatic Control, vol. 48, no. 1, 2003, pp. 64-75.
6. O. Stursberg and B. H. Krogh, "Efficient representation and computation of reachable sets for hybrid systems," in Hybrid Systems ? Computation and Control, ser. LNCS 2623. Springer, 2003, pp. 482-497.
7. A. Girard, "Reachability of uncertain linear systems using zonotopes," in Hybrid Systems : Computation and Control, vol. 3414, 2005, pp. 291-305.
8. O. Stursberg, A. Fehnker, Z. Han, and B. H. Krogh, "Verification of a cruise control system using counterexample-guided search," Control Engineering Practice, vol. 12/10, pp. 1269-1278, 2004.
9. J. Hu, J. Lygeros, M. Prandini, and S. Shankar, "A probabilistic framework for highway safety analysis," in Proceedings of the 38th Conference on Decision and Control, 1999.
10. K. Lee and H. Peng, "Evaluation of automotive forward collision warning and collision avoidance algorithms," Vehicle System Dynamics, vol. 43, no. 10, pp. 735-751, 2005.
11. J. Lunze and B. Nixdorf, "Representation of hybrid systems by means of stochastic automata," Mathematical and Computer Modeling of Dynamical Systems, vol. 4, pp. 383-422, 2001.
12. X. Koutsoukos and D. Riley, "Computational methods for reachability analysis of stochastic hybrid systems," in Hybrid Systems: Computation and Control, 2006, pp. 377-391.
13. M. Prandini and J. Hu, "A stochastic approximation method for reachability computations," Final Report of the Hybridge Project, pp. 115-147, 2005.
14. R. Rajamani, Vehicle Dynamics and Control. Springer, 2005.
15. L. Jaulin, M. Kieffer, and O. Didrit, Applied Interval Analysis. Springer, 2006.
16. 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.
17. T. Dang, "Vérification et synthèse des systèmes hybrides," Ph.D. dissertation, Institut National Polytechnique de Grenoble, 2000.