메뉴 건너뛰기
Discrete Event Dynamic Systems
Volumn 2, Issue 3-4, 1993, Pages 183-206
Protocol design for an automated highway system
Author keywords

hybrid systems; intelligent control; IVHS; protocol specification; protocol verification; smart cars
Indexed keywords

EID: 0003330336     PISSN: 09246703     EISSN: 15737594     Source Type: Journal    
DOI: 10.1007/BF01797158     Document Type: Article
Times cited : (45)
References (19)
  • 1
    • 84936186325 scopus 로고    scopus 로고
    • Alur, R., Courcoubetis, C., and Dill, D., 1990. Model-checking for real-time systems. Proc. Fifth Ann. IEEE Symp. Logic in Computer Science, Philadelphia, 414–425.
  • 2
    • 84936177220 scopus 로고    scopus 로고
    • Buchi, J.R., 1962. On a decision method in restricted second order arithmetic. Proc. Int. Congr. Logic, Methodology, Philosophy of Science, Stanford University Press, 1–11.
  • 3
    • 84936188815 scopus 로고    scopus 로고
    • Chang, K., Li, W., Devlin, P., Shaikhbahai, A., Varaiya, P., Hedrick, J., MacMahon, D., Narendran, V., and Swaroop, D., 1991a. Experimentation with a vehicle platoon control system. Proc. Vehicle Navigation and Information Systems Conf., Dearborn, MI, 1117–1124.
  • 4
    • 84936182989 scopus 로고    scopus 로고
    • Chang, K., Li, W., Porche, I., and Varaiya, P., 1992. Real-time management for communications and control in multi-car platoons. Proc. Intelligent Vehicles '92, Detroit MI.
  • 5
    • 84936181112 scopus 로고    scopus 로고
    • Chang, K., Li, W., Shaikhbahai, A., and Varaiya, P., 1991b. A preliminary implementation for vehicle platoon control system. Proc. American Control Conf., Boston, MA, 3078–3083.
  • 6
    • 84936218536 scopus 로고    scopus 로고
    • Dill, D.L., 1989. Timing assumptions and verification of finite-state concurrent systems in Automatic Verification Methods for Finite State Systems, vol. 407, Lecture Notes in Computer Sciences, Springer.
  • 8
    • 84936209548 scopus 로고    scopus 로고
    • Har'El, Z., and Kurshan, R.P., 1990. Software for analytical development of communications protocols. AT&T Tech. J., Jan./Feb.: 45–59.
  • 9
    • 84936185491 scopus 로고    scopus 로고
    • Hedrick, J., McMahon, D., Narendran, V., and Swaroop, D., 1991. Longitudinal vehicle controller design for IVHS system. Proc. American Control Conf., Boston, MA, 3107–3112.
  • 10
    • 84936185367 scopus 로고    scopus 로고
    • Hessburg, T., Peng, H., Tomizuka, M., Zhang, W., and Kamei, E., 1991. An experimental study on lateral control of a vehicle. Proc. American Control Conf., Boston, MA.
  • 13
    • 84936189086 scopus 로고    scopus 로고
    • Karaaslan, U., Varaiya, P., and Walrand, J., 1991. Two proposals to improve freeway traffic flow. Proc. 1991 American Control Conf., Boston, MA, 2539–2544.
  • 15
    • 84936216311 scopus 로고    scopus 로고
    • McMahon, D., Hedrick, J., and Shladover, S., 1990. Vehicle modeling and control for automated highway systems. Proc. 1990 American Control Conf., San Diego, CA, 297–303.
  • 16
    • 84936174599 scopus 로고    scopus 로고
    • Sheikholeslam, S., and Desoer, C.A., 1990. Longitudinal control of a platoon of vehicles. Proc. 1990 American Control Conf., Vol. 1, San Diego, CA, 291–296.
  • 17
    • 84936171574 scopus 로고    scopus 로고
    • Sheikholeslam, S., and Desoer, C.A., 1991. Longitudinal control of a platoon of vehicles with no communication of lead vehicle information. Proc. 1991 American Control Conf., Vol. 3, Boston, MA, 3102–3107.
  • 19
    • 84936187069 scopus 로고    scopus 로고
    • Varaiya, P., and Schladover, S., 1991. Sketch of an IVHS systems architecture. Proc. Vehicle Navigation and Information Systems Conf., Dearborn, MI, 909–922.

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.