Formal Models for Intelligent Speed Validation and Adaptation

This paper presents an approach for an intelligent speed validation and adaptation. The approach focuses on formal modelling of the corresponding smart vehicle units, to increase the road safety as well as to allow formal analysis of the smart vehicle behaviour. The authors suggest a number of models for speed check/limitation units, which reflect differences in the speed limits in several countries. They also present their results from the case studies, based on two implementations of the model as an iOS and an Android app for Intelligent Speed Adaptation.

• Record URL:
  https://doi.org/10.1016/j.procs.2016.08.208
• Record URL:
  http://www.sciencedirect.com/science/article/pii/S187705091632018X
• Availability:
  • Find a library where document is available. Order URL: http://worldcat.org/issn/18770509
• Supplemental Notes:
  • © 2016 Maria Spichkova et al. Published by Elsevier B.V.
• Authors:
  • Spichkova, Maria
  • Simic, Milan
  • Schmidt, Heinrich
  • Cheng, Jian
  • Dong, Xuening
  • Gui, Yuxi
  • Liang, Yin
  • Ling, Peng
  • Yin, Zixiong
• Conference:
  • 20th International Conference on Knowledge Based and Intelligent Information and Engineering Systems (KES2016)
  • Location: York , United Kingdom
  • Date: 2016-9-5 to 2016-9-7
• Publication Date: 2016

Language

• English

Media Info

• Media Type: Digital/other
• Features: Figures; References;
• Pagination: pp 1609-1618
• Serial:
  • Procedia Computer Science
  • Volume: 96
  • Issue Number: 0
  • Publisher: Elsevier
  • ISSN: 1877-0509
  • Serial URL: http://www.sciencedirect.com/science/journal/18770509
• Publication flags:

  Open Access (libre)

Subject/Index Terms

• TRT Terms: Case studies; Highway safety; Intelligent vehicles; Mobile applications; Speed
• Subject Areas: Highways; Operations and Traffic Management;

Filing Info

• Accession Number: 01612264
• Record Type: Publication
• Files: TRIS
• Created Date: Sep 6 2016 11:03AM