Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach

Joseph Campbell, Cumhur Erkan Tuncali, Peng Liu, Theodore Pavlic, Umit Ozguner, Georgios Fainekos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

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

Fingerprint

Closed loop control systems
Communication
Industry

ASJC Scopus subject areas

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

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

Modeling concurrency and reconfiguration in vehicular systems : A π-calculus approach. / Campbell, Joseph; Tuncali, Cumhur Erkan; Liu, Peng; Pavlic, Theodore; Ozguner, Umit; Fainekos, Georgios.

2016 IEEE International Conference on Automation Science and Engineering, CASE 2016. Vol. 2016-November IEEE Computer Society, 2016. p. 523-530 7743450.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Campbell, J, Tuncali, CE, 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, 7743450, IEEE Computer Society, pp. 523-530, 2016 IEEE International Conference on Automation Science and Engineering, CASE 2016, Fort Worth, United States, 8/21/16. https://doi.org/10.1109/COASE.2016.7743450
Campbell J, Tuncali CE, Liu P, Pavlic T, Ozguner U, Fainekos G. 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. IEEE Computer Society. 2016. p. 523-530. 7743450 https://doi.org/10.1109/COASE.2016.7743450
Campbell, Joseph ; Tuncali, Cumhur Erkan ; Liu, Peng ; Pavlic, Theodore ; Ozguner, Umit ; Fainekos, Georgios. / Modeling concurrency and reconfiguration in vehicular systems : A π-calculus approach. 2016 IEEE International Conference on Automation Science and Engineering, CASE 2016. Vol. 2016-November IEEE Computer Society, 2016. pp. 523-530
@inproceedings{6d4857e822674167868319a6e77fe4cf,
title = "Modeling concurrency and reconfiguration in vehicular systems: A π-calculus approach",
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.",
author = "Joseph Campbell and Tuncali, {Cumhur Erkan} and Peng Liu and Theodore Pavlic and Umit Ozguner and Georgios Fainekos",
year = "2016",
month = "11",
day = "14",
doi = "10.1109/COASE.2016.7743450",
language = "English (US)",
volume = "2016-November",
pages = "523--530",
booktitle = "2016 IEEE International Conference on Automation Science and Engineering, CASE 2016",
publisher = "IEEE Computer Society",
address = "United States",

}

TY - GEN

T1 - Modeling concurrency and reconfiguration in vehicular systems

T2 - A π-calculus approach

AU - Campbell, Joseph

AU - Tuncali, Cumhur Erkan

AU - Liu, Peng

AU - Pavlic, Theodore

AU - Ozguner, Umit

AU - Fainekos, Georgios

PY - 2016/11/14

Y1 - 2016/11/14

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=85001079087&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85001079087&partnerID=8YFLogxK

U2 - 10.1109/COASE.2016.7743450

DO - 10.1109/COASE.2016.7743450

M3 - Conference contribution

VL - 2016-November

SP - 523

EP - 530

BT - 2016 IEEE International Conference on Automation Science and Engineering, CASE 2016

PB - IEEE Computer Society

ER -