Online verification of cognitive car decisions

IEEE Intelligent Vehicles Symposium, Proceedings

Volumn , Issue , 2007, Pages 728-733

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

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES; STOCHASTIC SYSTEMS;

CONTROL STRATEGIES; MOVING OBJECTS; ON-LINE ALGORITHMS; ON-LINE VERIFICATIONS; REACHABLE SET; ROAD TRAFFIC; STOCHASTIC SETTINGS;

INTELLIGENT VEHICLE HIGHWAY SYSTEMS;

EID: 47849100667     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ivs.2007.4290203     Document Type: Conference Paper

References (19)

1. I. Ulrich and J. Borenstein, "Vfh*: Local obstacle avoidance with look-ahead verification," in In Proc. of the International Conference on Robotics and Automation, 2000, pp. 2505-2511.
2. C. Laugier, S. Petti, D. Vasquez, M. Yguel, T. Fraichard, and O. Aycard, "Steps towards safe navigation in open and dynamic environments," in Autonomous Navigation in Dynamic Environments: Models and Algorithms. Springer, 2006.
3. J. van den Berg, D. Ferguson, and J. Kuffner, "Anytime path planning and replanning in dynamic environments," in Proc. of the International Conference on Robotics and Automation, 2006, pp. 2366-2371.
4. A. E. Broadhurst, S. Baker, and T. Kanade, "A prediction and planning framework for road safety analysis, obstacle avoidance and driver information," in Proc. of the 11th World Congress on Intelligent Transportation Systems, October 2004.
5. 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.
6. S. Petti and T. Fraichard, "Safe motion planning in dynamic environments," in Proc. of the Conference on Intelligent Robots and Systems, 2005.
7. G. Lafferiere, G. Pappas, and S. Yovine, "A new class of decidable hybrid systems," in Hybrid Systems: Computation and Control, ser. LNCS 1569. Springer, 1999, pp. 137-151.
8. 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.
9. 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.
10. 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.
11. A. Girard, "Reachability of uncertain linear systems using zonotopes," in Hybrid Systems : Computation and Control, vol. 3414, 2005, pp. 291-305.
12. 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.
13. X. Koutsoukos and D. Riley, "Computational methods for reachability analysis of stochastic hybrid systems," in Hybrid Systems: Computation and Control, 2006, pp. 377-391.
14. M. Prandini and J. Hu, "A stochastic approximation method for reachability computations," Final Report of the Hybridge Project, pp. 115-147, 2005.
15. M. Althoff, O. Stursberg, and M. Buss, "Safety assessment of autonomous cars using verification techniques," in to appear in the Proc. of the American Control Conference, 2007.
16. L. Jaulin, M. Kieffer, and O. Didrit, Applied Interval Analysis. Springer, 2006.
17. E. Hansen, W. Walster, and G. W. Walster, Global Optimization Using Interval Analysis. CRC Press, 2003.
18. H. Delingette, M. Hebert, and K. Ikeuchi, "Trajectory generation with curvature constraint based on energy minimization," in International Workshop on Intelligent Robots and Systems, 1991, pp. 206-211.
19. S. Brennan and A. Alleyne, "Dimensionless robust control with application to vehicles," IEEE Transactions on Control Systems Technology, vol. 13, no. 4, pp. 624-630, 2005.