An Interface between Continuous and Discrete-Event Controllers for Vehicle Automation

IEEE Transactions on Vehicular Technology

Volumn 46, Issue 1, 1997, Pages 229-241

  Lygeros, John ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

Automated highway systems; Discrete event systems; Hybrid systems; Verification

Indexed keywords

ACCIDENT PREVENTION; ACTUATORS; AUTOMATION; COMPUTER SIMULATION; DISCRETE TIME CONTROL SYSTEMS; HIERARCHICAL SYSTEMS; HIGHWAY TRAFFIC CONTROL; INTELLIGENT VEHICLE HIGHWAY SYSTEMS;

CONTINUOUS CONTROLLERS; FINITE STATE MACHINES; SOFTWARE PACKAGE COSPAN;

CONTROL SYSTEM SYNTHESIS;

EID: 0031077512     PISSN: 00189545     EISSN: None     Source Type: Journal    
DOI: 10.1109/25.554756     Document Type: Article

References (18)

1. P. Varaiya, "Smart cars on smart roads: Problems of control," IEEE Trans. Automat. Contr., vol. 38, no. 2, pp. 195-207, 1993.
2. B. S. Y. Rao and P. Varaiya, "Roadside intelligence for flow control in an IVHS," Transp. Research-C, vol. 2, no. 1, pp. 49-72, 1994.
3. A. Hsu, F. Eskafi, S. Sachs, and P. Varaiya, "Protocol design for an automated highway system," Discrete Event Dynamic Syst., vol. 2, no. 1, pp. 183-206, 1994.
4. J. K. Hedrick, D. McMahon, V. Narendran, and D. Swaroop, "Longitudinal vehicle controller design for IVHS system," in Amer. Cont. Conf., 1991, pp. 3107-3112.
5. H. Peng and M. Tomizuka, "Vehicle lateral control for highway automation," in Amer. Cont. Conf., 1990, pp. 788-794.
6. W. Chee and M. Tomizuka, "Lane change maneuver of automobiles for the intelligent vehicle and highway systems (IVHS)," in Amer. Cont. Conf., 1994, pp. 3586-3587.
7. S. Sheikholeslam and C. A. Desoer, "Longitudinal control of a platoon of vehicles," in Amer. Cont. Conf., 1990, pp. 291-297.
8. D. N. Godbole and J. Lygeros, "Longitudinal control of the lead car of a platoon," IEEE Trans. Veh. Technol, vol. 43, no. 4, pp. 1125-1135, 1994.
9. J. Frankel, L. Alvarez, R. Horowitz, and P. Li, "Safety oriented maneuvers for IVHS," in Amer. Cont. Conf., 1995, pp. 668-672.
10. F. Eskafi, D. Khorramabadi, and P. Varaiya, "SmartPath: An automated highway system simulator," Instit. Transp. Studies, University of California, Berkeley, CA, PATH Tech. Rep. UCB-ITS-94-4, 1994.
11. J. Lygeros, D. N. Godbole, and M. E. Broucke, "Toward a fault tolerant AHS design," presented at the SAE Future Trans. Technol. Conf., Costa Mesa, CA, 1995, SAE paper 951894.
12. Z. Har'El and R. P. Kurshan, Cospan User's Guide, AT&T Bell Laboratories, Murray Hills, NJ, 1987.
13. D. N. Godbole, J. Lygeros, and S. Sastry, "Hierarchical hybrid control: An IVHS case study," in IEEE Cont. Decision Conf., 1994, pp. 1592-1597.
14. R. Alur, C. Courcoubetis, and D. Dill, "Model checking for real-time systems," Logic Comp. Sei., pp. 414125, 1990.
15. T. Henzinger, P. Kopke, A. Puri, and P. Varaiya, "What's decidable about hybrid automata," in STOCS Conf., 1995, pp. 373-382.
16. A. Puri and P. Varaiya, "Verification of hybrid systems using abstractions," in Hybrid Systems II, LNCS 999. New York: Springer-Verlag, 1995.
17. ___, "Driving safely in smart cars," in Amer. Cont. Conf., 1995, pp. 3597-3599.
18. J. Lygeros, D. N. Godbole, and S. Sastry, "A game theoretic approach to hybrid system design," Electronic Research Lab., University of California, Berkeley, CA, Tech. Rep. UCB/ERL-M95/77, 1995.