Formal design of a provably safe robotic roundabout system

IEEE/RSJ 2010 International Conference on Intelligent Robots and Systems, IROS 2010 - Conference Proceedings

Volumn , Issue , 2010, Pages 2006-2011

  Duperret, Jeffrey M ^a   Hafner, Michael R ^a   Del Vecchio, D ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b Massachusetts Institute of Technology Cambridge   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL DESIGN; LIVENESS; MULTI-VEHICLES; PARTIAL ORDER; VEHICLE COLLISION AVOIDANCE;

DESIGN; ROBOTICS; VEHICLES;

INTELLIGENT ROBOTS;

EID: 78651469888     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IROS.2010.5649789     Document Type: Conference Paper

References (24)

1. Car 2 Car Communication Consortium. http://www.car-to-car.org.
2. Crash Avoidance Metrics Partnership (CAMP). http://www.campivi.com.
3. Vehicle Infrastructure Integration (VII). http://www.its.dot.gov/vii.
4. National roundabout conference, trb. http://144.171.11.107/Main/Public/ Blurbs/156622.aspx, 2005.
5. L. Alvarez and R. Horowitz. Safe platooning in automated highway systems. California Partners for Advanced Transit and Highways (PATH). Research Reports: Paper UCB-ITS-PRR-97-46.
6. L. Alvarez and R. Horowitz. Analysis and verification of the PATH AHS coordination-regulation layers hybrid system. In American Control Conference, pages 2460-2461, Albuquerque, New Mexico, 1997.
7. L. Alvarez and R. Horowitz. Hybrid controller design for safe maneuvering in the PATH AHS architecture. In American Control Conference, pages 2454-2459, Albuquerque, New Mexico, 1997.
8. D. Del Vecchio, M. Malisoff, and R. Verma. A separation principle for a class of hybrid automata on a partial order. In American Control Conference, 2009.
9. V. Desaraju, H. C. Ro, M. Yang, E. Tay, S. Roth, and D. Del Vecchio. Partial order techniques for vehicle collision avoidance: Application to an autonomous roundabout testbed. In International Conference on Robotics and Automation, 2009.
10. 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. Springer, 1996.
11. Michael Hafner and D. Del Vecchio. Computation of safety control for uncertain piecewise continuous systems on a partial order. Proc. of Conference on Decision and Control, 2009.
12. J. K. Hedrick, Y. Chen, and S. Mahal. Optimized vehicle control /communication interaction in an automated highway system. California Partners for Advanced Transit and Highways (PATH). Research Reports: Paper UCB-ITS-PRR-2001-29., 2001.
13. R. Horowitz and P. Varaiya. Control design of an automated highway system. Proceedings of the IEEE, 88(7):913-925, Jul 2000.
14. R. Horowitz and P. Varaiya. Control design of an automated highway system. Proceedings of the IEEE, 88(7):913-925, 2000.
15. J. Lygeros, D. N. Godbole, and S. Sastry. A verified hybrid controller for automated vehicles. In Conf. on Decision and Control, pages 2289-2294, Kobe, Japan, 1996.
16. J. Lygeros and N. Lynch. Strings of vehicles: Modeling and safety conditions. pages 273-288, 1998.
17. J. Lygeros, C. J. Tomlin, and S. Sastry. Controllers for reachability specifications for hybrid systems. Automatica, 35(3):349-370, 1999.
18. A. Puri and P. Varaiya. Driving safely in smart cars. In American Control Conference, pages 3597-3599, Seattle, WA, 1995.
19. C. J. Tomlin, J. Lygeros, and S. Sastry. A game theoretic approach to controller design for hybrid systems. Proceedings of the IEEE, 88(7):949-970, 2000.
20. C. J. Tomlin, I. Mitchell, A. M. Bayen, and M. Oishi. Computational techniques for the verification of hybrid systems. Proceedings of the IEEE, 91(7):986-1001, 2003.
21. U.S. DOT Turner-Fairbank Highway Research Administration (TFHRA). Roundabouts: An informational guide. http://www.tfhrc.gov/safety/00068.htm, 2000.
22. P. Varaiya. Smart cars on smart roads. IEEE Transactions on Automatic Control, 38(2):195-207, Feb 1993.
23. 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 Transactions on Mechatronics, 13(1):46-57, 2008.
24. R. Verma and D. Del Vecchio. Continuous control of hybrid automata with imperfect mode information assuming separation between state estimation and control. Proc. of Conference on Decision and Control, 2009.