Semiautonomous multivehicle safety

IEEE Robotics and Automation Magazine

Volumn 18, Issue 3, 2011, Pages 44-54

  Verma, Rajeev ^a   Del Vecchio, Domitilla ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b Massachusetts Institute of Technology   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVE SAFETY; ADVANCED SAFETY VEHICLES; CRASH AVOIDANCE; DRIVING TASKS; GENERAL MOTORS; IN-VEHICLE; INTELLIGENT TRANSPORTATION SYSTEMS; JOINT PROGRAM OFFICES; MULTI-VEHICLES; U.S. DEPARTMENT OF TRANSPORTATION; VEHICLE SAFETY;

ACCIDENT PREVENTION; INTELLIGENT SYSTEMS; VEHICLES;

ACCIDENTS;

EID: 80052895225     PISSN: 10709932     EISSN: None     Source Type: Journal    
DOI: 10.1109/MRA.2011.942114     Document Type: Conference Paper

References (41)

1. Car-2-Car Communication Consortium [Online]. Available: http://www.car-to-car.org
2. Cooperative intersection collision avoidance systems (CICAS) [Online]. Available: http://www.its.dot.gov/cicas
3. Vehicle Infrastructure Integration Consortium (VIIC) [Online]. Available: http://www.vehicle-infrastructure.org
4. Vehicle infrastructure integration (VII) [Online]. Available: http://www.its.dot.gov/vii
5. A. Abate, J.-P. Katoen, J. Lygeros, and M. Prandini, "Approximate model checking of stochastic hybrid systems," Eur. J. Control, vol. 16, no. 6, pp. 624-641, 2010.
6. T. Akita, S. Inagaki, T. Suzuki, S. Hayakawa, and N. Tsuchida, "Hybrid system modeling of human driver in the vehicle following task," in Proc. SICE, 2007 Annu. Conf., pp. 1122-1127.
7. M. Althoff, O. Stursberg, and M. Buss, "Model-based probabilistic collision detection in autonomous driving," IEEE Trans. Intell. Transport. Syst., vol. 10, no. 2, pp. 299-310, 2009.
8. L. Alvarez and R. Horowitz, "Hybrid controller design for safe maneuvering in the PATH AHS architecture," in Proc. American Control Conf., Albuquerque, NM, 1997, pp. 2454-2459.
9. S. Amin, A. Abate, M. Prandini, J. Lygeros, and S. Sastry, "Reachability analysis for controlled discrete time stochastic hybrid systems," in Hybrid Systems: Computation and Control. (Lecture Notes in Computer Science 3927), J. Hespanha and A. Tiwari, Eds. Berlin: Germany: Springer-Verlag, 2006, pp. 49-63. (Pubitemid 44019578)
10. A. Balluchi, L. Benvenuti, M. D. Di Benedetto, and A. Sangiovanni-Vincentelli, "Design of observers for hybrid systems," in Hybrid Systems: Computation and Control. (Lecture Notes in Computer Science, vol. 2289), C. J. Tomlin and M. R. Greensreet, Eds. Berlin: Germany: Springer-Verlag, 2002, pp. 76-89.
11. M. Campbell, M. Egerstedt, J. P. How, and R. M. Murray, "Autonomous driving in urban environments: Approaches, lessons and challenges," Philos. Trans. R. Soc., vol. 368, no. 1928, pp. 4649-4672, 2010.
12. D. Del Vecchio, "Observer-based control of block triangular discrete time hybrid automata on a partial order," Int. J. Robust Nonlinear Control, vol. 19, no. 14, pp. 1581-1602, 2009.
13. D. Del Vecchio, M. Malisoff, and R. Verma, "A separation principle for a class of hybrid automata on a partial order," in Proc. American Control Conf., 2009.
14. D. Del Vecchio, R. M. Murray, and E. Klavins, "Discrete state estimators for systems on a lattice," Automatica, vol. 42, no. 2, pp. 271-285, 2006. (Pubitemid 41828187)
15. D. Del Vecchio, R. M. Murray, and P. Perona, "Primitives for human motion: A dynamical approach," in Proc. IFAC World Congr., Barcelona, 2002.
16. D. Del Vecchio, R. M. Murray, and P. Perona, "Decomposition of human motion into dynamics-based primitives with application to drawing tasks," Automatica, vol. 39, no. 12, pp. 2085-2098, 2003.
17. J. Duperret, M. Hafner, and D. Del Vecchio, "Formal design of a provably safe robotic roundabout system," in Proc. IEEE/RSJ Int. Conf. Intelligent Robots and Systems, 2010, pp. 2006-2011.
18. O. Maler, E. Asarin, and A. Pnueli, "Symbolic controller synthesis for discrete and timed systems," in Hybrid Systems II (Lecture Notes in Computer Science, vol. 999), P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds. Berlin, Germany: Springer-Verlag, 1995, pp. 1-20.
19. J. A. Haddon, D. N. Godbole, A. Deshpande, and J. Lygeros, "Verification of hybrid systems: Monotonicity in the AHS control system," in Hybrid Systems III (Lecture Notes in Computer Science, vol. 1066), R. Alur, T. A. Henzinger, and E. D. Sontag, Eds. Berlin: Springer-Verlag, 1996, pp. 161-172. (Pubitemid 126066700)
20. M. Hafner and D. Del Vecchio, "Computation of safety control for uncertain piecewise continuous systems on a partial order," in Proc. Conf. Decision and Control, 2009, pp. 1671-1677.
21. R. Horowitz and P. Varaiya, "Control design of an automated highway system," Proc. IEEE, vol. 88, no. 7, pp. 913-925, July 2000.
22. A. B. Kurzhanski and P. Varaiya, "Ellipsoidal techniques for hybrid dynamics: The reachability problem," in New Directions and Applications in Control Theory (Lecture Notes in Control and Information Sciences, vol. 321), W. P. Dayawansa, A. Lindquist, and Y. Zhou, Eds. Berlin: Springer, 2005, pp. 193-205.
23. C. F. Lin, A. G. Ulsoy, and D. J. LeBlanc, "Vehicle dynamics and external disturbance estimation for vehicle path prediction," IEEE Trans. Control Syst. Technol., vol. 8, no. 3, pp. 508-518, 2000.
24. J. Lygeros, D. N. Godbole, and S. Sastry, "A verified hybrid controller for automated vehicles," in Proc. Conf. Decision and Control, Kobe, Japan, 1996, pp. 2289-2294.
25. J. Lygeros and N. Lynch, "Strings of vehicles: Modeling and safety conditions," in Hybrid Systems: Computation and Control (Lecture Notes in Computer Science 1386), T. Henzinger and S. Sastry, Eds. Berlin: Springer, 1998, pp. 273-288. (Pubitemid 128055522)
26. J. Lygeros, C. J. Tomlin, and S. Sastry, "Controllers for reachability specifications for hybrid systems," Automatica, vol. 35, no. 3, pp. 349-370, 1999.
27. T. B. Moeslunda, A. Hiltonb, and V. Krugerc, "A survey of advances in vision-based human motion capture and analysis," Comput. Vis. Image Understanding, vol. 104, no. 2-3, pp. 90-126, 2006.
28. U.S. DOT National Highway Traffic Administration (NHTSA), "Analysis of fatal crashes due to signal and stop sign violations," NHTSA, Cambridge, MA, DOT HS 809 779, 2004.
29. L. Pallottino, V. G. Scordio, A. Bicchi, and E. Frazzoli, "Decentralized cooperative policy for conflict resolution in multivehicle systems," IEEE Trans. Robot., vol. 23, no. 6, pp. 1170-1183, 2007.
30. A. Polychronopoulos, M. Tsogas, A. J. Amditis, and L. Andreone, "Sensor fusion for predicting vehicles' path for collision avoidance systems," IEEE Trans. Intell. Transport. Syst., vol. 8, no. 2, pp. 549-562, 2007. (Pubitemid 47383475)
31. S. Prajna and A. Jadbabaie, "Safety verification of hybrid systems using barrier certificates," in Hybrid Systems: Computation and Control (Lecture Notes in Computer Science, vol. 2993), R. Alur and G. Pappas, Eds. Berlin: Germany: Springer-Verlag, 2004, pp. 477-492.
32. O. Shakernia, G. J. Pappas, and S. Sastry, "Semi-decidable synthesis for triangular hybrid systems," in Hybrid Systems: Computation and Control (Lecture Notes in Computer Science, vol. 2034), M. D. Di Benedetto and A. Sangiovanni-Vincentelli, Eds. Berlin: Springer-Verlag, 2001, pp. 487-500. (Pubitemid 33256439)
33. T. Suzuki, "Advanced motion as a hybrid system," Electron. Commun. Japan, vol. 93, no. 12, pp. 35-43, 2010.
34. C. J. Tomlin, J. Lygeros, and S. Sastry, "A game theoretic approach to controller design for hybrid systems," Proc. IEEE, vol. 88,no. 7, pp. 949-970, 2000.
35. C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi, "Computational techniques for the verification of hybrid systems," Proc. IEEE, vol. 91, no. 7, pp. 986-1001, 2003. (Pubitemid 40890836)
36. B. Tovar and S. M. LaValle, "Visibility-based pursuit-evasion with bounded speed," in Proc. Workshop Algorithmic Foundations of Robotics, 2006.
37. R. Verma and D. Del Vecchio, "Continuous control of hybrid automata with imperfect mode information assuming separation between state estimation and control," in Proc. Conf. Decision and Control, 2009, pp. 3175-3181.
38. R. Verma and D. Del Vecchio, "Control of hybrid automata with hidden modes: Translation to a perfect state information problem," in Proc. Conf. Decision and Control, 2010, pp. 5768-5774.
39. R. Verma and D. Del Vecchio, "Safety control of hidden mode hybrid systems," IEEE Trans. Automat. Contr., to be published.
40. R. Verma, D. Del Vecchio, and H. Fathy, "Development of a scaled vehicle with longitudinal dynamics of a HMMWV for an ITS testbed," IEEE/ASME Trans. Mechatronics, vol. 13, no. 1, pp. 46-57, 2008. (Pubitemid 351392273)
41. M. De Wulf, L. Doyen, and J.-F. Raskin, "A lattice theory for solving games of imperfect information," Hybrid Systems: Computation and Control (Lecture Notes in Computer Science, vol. 3927), J. Hespanha and A. Tiwari, Eds. Berlin, Germany: Springer-Verlag, 2006, pp. 153-168. (Pubitemid 44019585)