메뉴 건너뛰기




Volumn , Issue , 2012, Pages 171-180

Towards formal verification of freeway traffic control

Author keywords

Freeway traffic control; hybrid system; intelligent speed adaptation

Indexed keywords

CONTROL DECISIONS; DESIGN PARAMETERS; FORMAL VERIFICATIONS; FREEWAY TRAFFIC; GPS POSITIONING; INCIDENT MANAGEMENT; INTELLIGENT SPEED ADAPTATION; PARAMETER RANGE; PRACTICAL SYSTEMS; THEOREM PROVERS; TIGHTLY-COUPLED; VARIABLE SPEED LIMITS;

EID: 84861509153     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCPS.2012.25     Document Type: Conference Paper
Times cited : (44)

References (29)
  • 1
    • 36849095074 scopus 로고    scopus 로고
    • Variable speed limits: Safety and operational impacts of a candidate control strategy for freeway applications
    • P. Allaby, B. Hellinga, and M. Bullock, "Variable speed limits: Safety and operational impacts of a candidate control strategy for freeway applications," IEEE Transactions on Intelligent Transportation Systems, vol. 8, no. 4, pp. 671-680, 2007.
    • (2007) IEEE Transactions on Intelligent Transportation Systems , vol.8 , Issue.4 , pp. 671-680
    • Allaby, P.1    Hellinga, B.2    Bullock, M.3
  • 4
    • 33747433748 scopus 로고    scopus 로고
    • Using ITS data fusion to examine traffic dynamics on a freeway with variable speed limits
    • IEEE
    • R. Bertini, S. Boice, and K. Bogenberger, "Using ITS data fusion to examine traffic dynamics on a freeway with variable speed limits," in Proceedings of Intelligent Transportation Systems. IEEE, 2005, pp. 1006-1011.
    • (2005) Proceedings of Intelligent Transportation Systems , pp. 1006-1011
    • Bertini, R.1    Boice, S.2    Bogenberger, K.3
  • 6
    • 79959990608 scopus 로고    scopus 로고
    • Adaptive cruise control: Hybrid, distributed, and now formally verified
    • 17th International Symposium on Formal Methods (FM), ser. M. Butler and W. Schulte, Eds., Springer
    • S. M. Loos, A. Platzer, and L. Nistor, "Adaptive cruise control: Hybrid, distributed, and now formally verified," in 17th International Symposium on Formal Methods (FM), ser. LNCS, M. Butler and W. Schulte, Eds., vol. 6664. Springer, 2011, pp. 42-56.
    • (2011) LNCS , vol.6664 , pp. 42-56
    • Loos, S.M.1    Platzer, A.2    Nistor, L.3
  • 14
    • 34249026207 scopus 로고    scopus 로고
    • Path investigations in vehicleroadside cooperation and safety: A foundation for safety and vehicle-infrastructure integration research
    • IEEE
    • J. Misener and S. Shladover, "Path investigations in vehicleroadside cooperation and safety: A foundation for safety and vehicle-infrastructure integration research," in Proc. of the 9th Int. Conf. on Intelligent Transportation Systems. IEEE, 2006, pp. 9-16.
    • (2006) Proc. of the 9th Int. Conf. on Intelligent Transportation Systems , pp. 9-16
    • Misener, J.1    Shladover, S.2
  • 23
    • 78650607398 scopus 로고    scopus 로고
    • European Train Control System: A case study in formal verification
    • ICFEM, ser. K. Breitman and A. Cavalcanti, Eds., Springer
    • A. Platzer and J.-D. Quesel, "European Train Control System: A case study in formal verification," in ICFEM, ser. LNCS, K. Breitman and A. Cavalcanti, Eds., vol. 5885. Springer, 2009, pp. 246-265.
    • (2009) LNCS , vol.5885 , pp. 246-265
    • Platzer, A.1    Quesel, J.-D.2
  • 25
    • 50849102004 scopus 로고    scopus 로고
    • Differential dynamic logic for hybrid systems
    • A. Platzer, "Differential dynamic logic for hybrid systems."J. Autom. Reas., vol. 41, no. 2, pp. 143-189, 2008.
    • (2008) J. Autom. Reas. , vol.41 , Issue.2 , pp. 143-189
    • Platzer, A.1


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