Verified hybrid controllers for automated vehicles

IEEE Transactions on Automatic Control

Volumn 43, Issue 4, 1998, Pages 522-539

  Lygeros, John ^a,b   Godbole, Datta N ^a,b   Sastry, Shankar ^a,b  

^a IEEE   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Automated highway systems; Game theory; Safety

Indexed keywords

AUTOMATION; CONTROL SYSTEMS; DESIGN; HIGHWAY SYSTEMS; SAFETY FACTOR;

HYBRID CONTROLLER;

CONTROL EQUIPMENT;

EID: 0032046325     PISSN: 00189286     EISSN: None     Source Type: Journal    
DOI: 10.1109/9.664155     Document Type: Article

References (57)

1. X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine, "An approach to the description and analysis of hybrid systems," in Hybrid System, Lecture Notes in Computer Science, no. 736, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. New York: Springer Verlag, 1993, pp. 149-178.
2. R. Alur, C. Courcoubetis, T. A. Henzinger, and P. H. Ho, "Hybrid automaton: An algorithmic approach to the specification and verification of hybrid systems," in Hybrid System, Lecture Notes in Computer Science, no. 736, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. New York: Springer Verlag, 1993, pp. 209-229.
3. R. W. Brockett, "Hybrid models for motion control system," in Perspectives in Control, H. Trentelman and J. Willems, Eds. Boston, MA: Birkhauser, 1993.
4. A. Nerode and W. Kohn, "Models for hybrid system: Automata, topologies, controllability, observability," in Hybrid System, Lecture Notes in Computer Science, no. 736, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. New York: Springer Verlag, 1993, pp. 317-356, 1993.
5. M. S. Branicky, "Control of hybrid systems," Ph.D. dissertation, MIT, Cambridge, MA, 1994.
6. N. Lynch, R. Segala, F. Vaandrager, and H. B. Weinberg, "Hybrid I/O automata," in Hybrid Systems III, Lecture Notes in Computer Science, no. 1066. New York: Springer Verlag, 1996, pp. 496-510.
7. L. Tavernini, "Differential automata and their simulators," Nonlinear Analysis, Theory, Methods and Appl., vol. 11, no. 6, pp. 665-683, 1987.
8. A. Deshpande, A. Gollu, and L. Semenzato, "The SHIFT programming language and run-time system for dynamic networks of hybrid automata," Inst. Transportation Studies, Univ. California, Berkeley, Tech. Rep. UCB-ITS-PRR-97-7, 1997.
9. M. Anderson, D. Bruck, S. E. Mattsson, and T. Schonthal, "Omsim - An integrated interactive environment for object-oriented modeling and simulation," in Proc. IEEE/IFAC Joint Symp. Computer Aided Control System Design, 1994, pp. 285-290.
10. M. Lemmon, J. A. Stiver, and P. J. Antsaklis, "Event identification and intelligent hybrid control," in Hybrid System, Lecture Notes in Computer Science, no. 736, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. New York: Springer Verlag, 1993, pp. 268-296.
11. O. Maler, A. Pnueli, and J. Sifakis, "On the synthesis of discrete controllers for timed systems," in Theoretical Aspects of Computer Science, Lecture Notes in Computer Science, no. 900. New York: Springer Verlag, 1995.
12. M. Heymann, F. Lin, and G. Meyer, "Control synthesis for a class of hybrid systems subject to configuration-based safety constraints," in Hybrid and Real Time Systems, Lecture Notes in Computer Science, no. 1201. New York: Springer Verlag, 1997, pp. 376-391.
13. H. Wong-Toi, "The synthesis of controllers for linear hybrid automata," in Proc. IEEE Conf. Decision and Control, 1997.
14. A. Nerode and W. Kohn, "Multiple agent hybrid control architecture," in Hybrid System, Lecture Notes in Computer Science, no. 736, R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, Eds. New York: Springer Verlag, 1993, pp. 297-316.
15. J. Lygeros, D. N. Godbole, and S. Sastry, "Multiagent hybrid system design using game theory and optimal control," in Proc. IEEE Conf. Decision and Control, 1996, pp. 1190-1195.
16. L. Hou, A. Michel, and H. Ye, "Stability analysis of switched systems," in IEEE Conf. Decision and Control, 1996, pp. 1208-1214.
17. R. Alur and D. Dill, "A theory of timed automata," Theoretical Computer Sci., vol. 126, pp. 183-235, 1994.
18. T. Henzinger, P. Kopke, A. Puri, and P. Varaiya, "What's decidable about hybrid automata," in Proc. 27th Annu. Symp. Theory of Computing, STOC'95. ACM, 1995, pp. 373-382.
19. Z. Manna and A. Pnueli, Temporal Verification of Reactive Systems: Safety. New York: Springer-Verlag, 1995.
20. C. Daws, A. Olivero, and S. Yovine, "Verifying ET-LOTOS programs with KRONOS," in Proc. 7th IFIP WG G.1 Int. Conf. Formal Description Techniques, FORTE'94, Formal Description Techniques VII, D. Hogrefe and S. Leue, Eds. Bern, Switzerland: Chapman & Hall, 1994, pp. 227-242.
21. T. A. Henzinger, P. H. Ho, and H. W. Toi, "A user guide to HYTECH," in Proc. TACAS 95: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science, no. 1019, E. Brinksma, W. Cleaveland, K. Larsen, T. Margaria, and B. Steffen, Eds. New York: Springer Verlag, 1995, pp. 41-71.
22. Z. Manna and the STep group, "STeP: The Stanford temporal prover," Computer Science Dept., Stanford Univ., Tech. Rep. STAN-CS-TR-94-1518, July 1994.
23. J. Lygeros, C. Tomlin, and S. Sastry, "Multi-Objective hybrid controller synthesis," in Proc. HART'97, Lecture Notes in Computer Science, no. 1201, O. Maler, Ed. Berlin: Springer Verlag, 1997, pp. 109-123.
24. C. Tomlin, G. Pappas, and S. Sastry, "Conflict resolution for air traffic management: A case study in multi-agent hybrid systems," Electronic Research Laboratory, Univ. California, Berkeley, Tech. Rep. UCB/ERL M96/38, 1996.
25. D. Swaroop, "String stability of interconnected systems: An application to platooning in automated highway systems," Ph.D. dissertation, Dept. Mechanical Engineering, Univ. California, Berkeley, 1994.
26. P. Ioannou and C. Chien, "Autonomousintelligent cruise control," IEEE Trans. Veh. Technol., vol. 42, pp. 657-672, 1993.
27. D. N. Godbole and J. Lygeros, "Longitudinal control of the lead car of platoon," IEEE Trans. Veh. Technol., vol. 43, pp. 1125-1135, 1994.
28. P. Li, L. Alvarez, R. Horowitz, P.-Y. Chen, and J. Carbaugh, "Safe velocity tracking controller for AHS platoon leader," in Proc. IEEE Conf. Decision and Control, 1996, pp. 2283-2288.
29. D. N. Godbole, J. Lygeros, and S. Sastry, "Hierarchical hybrid control: An IVHS case study," in Hybrid Systems II, Lecture Notes in Computer Science, no. 999, P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, Eds. New York: Springer Verlag, 1995, pp. 166-190.
30. J. Franke, L. Alvarez, R. Horowitz, and P. Li, "Safety oriented maneuvers for IVHS," in Proc. American Control Conf., 1995, pp. 668-672.
31. E. Dolginova and N. Lynch, "Safety verification for automated platoon maneuvers: A case study," in Proc. HART97, Lecture Notes in Computer Science, no. 1201, O. Maler, Ed. Berlin: Springer Verlag, 1997, pp. 154-170.
32. J. Lygeros, D. N. Godbole, and S. Sastry, "A game theoretic approach to hybrid system design," Electronic Research Laboratory, Univ. California, Berkeley, Tech. Rep. UCB/ERL-M95/77, Oct. 1995.
33. _, "A verified hybrid controller for automated vehicles," in Proc. IEEE Conf. Decision and Control, 1996, pp. 2289-2294.
34. J. Lygeros, "Hierarchical hybrid control of large scale systems," Ph.D. dissertation, Dept. Electrical Eng., Univ. California, Berkeley, 1996.
35. R. Alur and T. A. Henzinger, "Reactive modules," in Proc. 11th Annu. Symp. Logic in Computer Science. IEEE Computer Soc. Press, 1996, pp. 207-218.
36. T. Basar and G. J. Olsder, Dynamic Non-Cooperative Game Theory, 2nd ed. New York: Academic, 1995.
37. J. Lygeros, D. N. Godbole, and M. E. Broucke, "Extended architecture for degraded modes of operation of IVHS," in Proc. American Control Conf., 1995, pp. 3592-3596.
38. S. Sheikholeslam, "Control of a class of interconnected nonlinear dynamical systems: The platoon problem," Ph.D. dissertation, Dept. Electrical Eng., Univ. California, Berkeley, 1991.
39. J. K. Hedrick, D. McMahon, V. Narendran, and D. Swaroop, "Longitudinal vehicle controller design for IVHS system," in Proc. American Control Conf., 1991, pp. 3107-3112.
40. H. Peng and M. Tomizuka, "Vehicle lateral control for highway automation," in Proc. American Control Conf., 1990, pp. 788-794.
41. W. Chee and M. Tomizuka, "Lane change maneuver of automobiles for the intelligent vehicle and highway systems (IVHS)," in Proc. American Control Conf., 1994, pp. 3586-3587.
42. J. B. Michael, D. N. Godbole, R. Sengupta, and J. Lygeros, "Capacity analysis of traffic flow over a single lane AHS," ITSJ., vol. 4, 1998.
43. A. Hitchcock, "Casualties in accidents occurring during split and merge maneuvers," Inst. Transportation Studies, Univ. California, Berkeley, Tech. Rep., PATH Tech. Memo 93-9, 1993.
44. J. A. Haddon, "Evaluation of AHS throughput using Smart Cap," in Proc. American Control Conf., 1997.
45. S. Shladover, "Operation of automated guideway transit vehicles in dynamically reconfigured trains and platoons," U.S. Dept. Transportation, Tech. Rep. UMTA-MA-0085-79-3, 1979.
46. P. Varaiya, "Smart cars on smart roads: Problems of control," IEEE Trans. Automat. Contr., vol. 38, pp. 195-207, Feb. 1993.
47. B. S. Y. Rao and P. Varaiya, "Roadside intelligence for flow control in an IVHS," Transportation Res. Part C, vol. 2, no. 1, pp. 49-72, 1994.
48. P. Li, R. Horowitz, L. Alvarez, J. Frankel, and A. Robertson, "Traffic flow stabilization," in Proc. American Control Conf., 1995, pp. 144-149.
49. R. W. Hall, "Longitudinal and lateral throughput on an idealized highway," Transportation Sci., vol. 29, no. 2, pp. 118-127, 1995.
50. M. E. Broucke and P. Varaiya, "A theory of traffic flow in automated highway systems," Transportation Res. Part C, vol. 4C, no. 4, pp. 181-210, 1996.
51. A. Hsu, F. Eskafi, S. Sachs, and P. Varaiya, "Protocol design for an automated highway system," Discrete Event Dynamic Systems, vol. 2, no. 1, pp. 183-206, 1994.
52. R. P. Kurshan, Computer-Aided Verification of Coordinating Processes: The Automata-Theoretic Approach. Princeton, NJ: Princeton Univ. Press, 1994.
53. Y. Yang and B. Tongue, "Intra-platoon collision behavior during emergency operations," Vehicle System Dynamics, vol. 23, no. 4, pp. 279-292, 1994.
54. J. Lygeros, "To brake or not to brake? Is there a question?," in Proc. IEEE Conf. Decision and Control, 1996, pp. 3723-3728.
55. J. Lygeros and D. Godbole, "An interface between continuous and discrete event controllers for vehicle automation," IEEE Trans. Veh. Technol., vol. 46, pp. 229-241, 1997.
56. D. N. Godbole, J. Lygeros, E. Singh, A. Deshpande, and A. Lindsey, "Design and verification of coordination layer protocols for degraded modes of operation of AHS," in Proc. IEEE Conf. Decision and Control, 1995. pp. 427-432.
57. A. E. Bryson and Y.-C. Ho, Applied Optimal Control. Hemisphere, 1975.