4 Scopus citations

Abstract

As autonomous or semi-autonomous vehicles are deployed on the roads, they will have to eventually start communicating with each other in order to achieve increased efficiency and safety. Current approaches in the control of collaborative vehicles primarily consider homogeneous simplified vehicle dynamics and usually ignore any communication issues. This raises an important question of how systems without the aforementioned limiting assumptions can be modeled, analyzed and certified for safe operation by both industry and governmental agencies. In this work, we propose a modeling framework where communication and system reconfiguration is modeled through π-calculus expressions while the closed-loop control systems are modeled through hybrid automata. We demonstrate how the framework can be utilized for modeling and simulation of platooning behaviors of heterogeneous vehicles.

Original languageEnglish (US)
Title of host publication2016 IEEE International Conference on Automation Science and Engineering, CASE 2016
PublisherIEEE Computer Society
Pages523-530
Number of pages8
Volume2016-November
ISBN (Electronic)9781509024094
DOIs
StatePublished - Nov 14 2016
Event2016 IEEE International Conference on Automation Science and Engineering, CASE 2016 - Fort Worth, United States
Duration: Aug 21 2016Aug 24 2016

Other

Other2016 IEEE International Conference on Automation Science and Engineering, CASE 2016
CountryUnited States
CityFort Worth
Period8/21/168/24/16

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Fingerprint Dive into the research topics of 'Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach'. Together they form a unique fingerprint.

  • Cite this

    Campbell, J., Tuncali, C. E., Liu, P., Pavlic, T., Ozguner, U., & Fainekos, G. (2016). Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach. In 2016 IEEE International Conference on Automation Science and Engineering, CASE 2016 (Vol. 2016-November, pp. 523-530). [7743450] IEEE Computer Society. https://doi.org/10.1109/COASE.2016.7743450