메뉴 건너뛰기




Volumn 1386, Issue , 1998, Pages 273-288

Strings of vehicles: Modeling and safety conditions

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84957887870     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-64358-3_45     Document Type: Conference Paper
Times cited : (19)

References (9)
  • 2
    • 1842617269 scopus 로고
    • tech. rep., PATH Technical Memo 93-9, Institute of Transportation Studies, University of California, Berkeley
    • A. Hitchcock, “Casualties in accidents occuring during split and merge maneuvers,” tech. rep., PATH Technical Memo 93-9, Institute of Transportation Studies, University of California, Berkeley, 1993.
    • (1993) Casualties in Accidents Occuring during Split and Merge Maneuvers
    • Hitchcock, A.1
  • 3
    • 84958057441 scopus 로고    scopus 로고
    • A game theoretic approach to hybrid system design
    • LNCS, Springer Verlag
    • J. Lygeros, D. N. Godbole, and S. Sastry, “A game theoretic approach to hybrid system design,” in Hybrid Systems III, no. 1066 in LNCS, pp. 1-12, Springer Verlag, 1996.
    • (1996) Hybrid Systems III , Issue.1066 , pp. 1-12
    • Lygeros, J.1    Godbole, D.N.2    Sastry, S.3
  • 5
    • 84957684274 scopus 로고    scopus 로고
    • Safety verification for automated platoon maneuvers: A case study
    • (O. Maler, ed., LNCS, Berlin: Springer Verlag
    • E. Dolginova and N. Lynch, “Safety verification for automated platoon maneuvers: a case study,” in Proceedings of HART97 (O. Maler, ed.), no. 1201 in LNCS, pp. 154-170, Berlin: Springer Verlag, 1997.
    • (1997) Proceedings of HART97 , Issue.1201 , pp. 154-170
    • Dolginova, E.1    Lynch, N.2
  • 7
    • 33747096221 scopus 로고    scopus 로고
    • Tech. Rep. UCB-ITS-PRR-97-9, Institute of Transportation Studies, University of California, Berkeley, (to appear in the Special Issue on Hybrid Systems of the IEEE Transactions on Automatic Control)
    • J. Lygeros, D. N. Godbole, and S. Sastry, “A verified hybrid controller for automated vehicles,” Tech. Rep. UCB-ITS-PRR-97-9, Institute of Transportation Studies, University of California, Berkeley, 1997. (to appear in the Special Issue on Hybrid Systems of the IEEE Transactions on Automatic Control).
    • (1997) A Verified Hybrid Controller for Automated Vehicles
    • Lygeros, J.1    Godbole, D.N.2    Sastry, S.3
  • 9
    • 0030689403 scopus 로고    scopus 로고
    • Tools for safety and throughput analysis of automated highway systems
    • D. N. Godbole and J. Lygeros, “Tools for safety and throughput analysis of automated highway systems,” in American Control Conference, pp. 2031-2035, 1997.
    • (1997) American Control Conference , pp. 2031-2035
    • Godbole, D.N.1    Lygeros, J.2


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