Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems

Andreas Muller; Stefan Mitsch; Andre Platzer

doi:10.1109/ITSC.2015.128

Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems

Andreas Muller
, Stefan Mitsch
, Andre Platzer

Johannes Kepler University Linz
Carnegie Mellon University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	Proceedings - 2015 IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015
Publisher	IEEE (Institute of Electrical and Electronics Engineers)
Pages	757-764
Number of pages	8
ISBN (Electronic)	9781467365956, 9781467365956, 9781467365956, 9781467365956
DOIs	https://doi.org/10.1109/ITSC.2015.128
State	Published - Oct 30 2015
Externally published	Yes
Event	18th IEEE International Conference on Intelligent Transportation Systems, ITSC 2015 - Gran Canaria, Spain Duration: Sep 15 2015 → Sep 18 2015

Publication series

Name	IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC
Volume	2015-October
ISSN (Print)	2153-0009
ISSN (Electronic)	2153-0017

Conference

Conference	18th IEEE International Conference on Intelligent Transportation Systems, ITSC 2015
Country/Territory	Spain
City	Gran Canaria
Period	9/15/15 → 9/18/15

ASJC Scopus Subject Areas

Automotive Engineering
Mechanical Engineering
Computer Science Applications

Access to Document

10.1109/ITSC.2015.128

Cite this

Muller, A., Mitsch, S., & Platzer, A. (2015). Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. In Proceedings - 2015 IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015 (pp. 757-764). Article 7313220 (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC; Vol. 2015-October). IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/ITSC.2015.128

Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. / Muller, Andreas; Mitsch, Stefan; Platzer, Andre.
Proceedings - 2015 IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015. IEEE (Institute of Electrical and Electronics Engineers), 2015. p. 757-764 7313220 (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC; Vol. 2015-October).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Muller, A, Mitsch, S & Platzer, A 2015, Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. in Proceedings - 2015 IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015., 7313220, IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC, vol. 2015-October, IEEE (Institute of Electrical and Electronics Engineers), pp. 757-764, 18th IEEE International Conference on Intelligent Transportation Systems, ITSC 2015, Gran Canaria, Spain, 9/15/15. https://doi.org/10.1109/ITSC.2015.128

Muller A, Mitsch S, Platzer A. Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems. In Proceedings - 2015 IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015. IEEE (Institute of Electrical and Electronics Engineers). 2015. p. 757-764. 7313220. (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC). doi: 10.1109/ITSC.2015.128

Muller, Andreas ; Mitsch, Stefan ; Platzer, Andre. / Verified Traffic Networks : Component-Based Verification of Cyber-Physical Flow Systems. Proceedings - 2015 IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015. IEEE (Institute of Electrical and Electronics Engineers), 2015. pp. 757-764 (IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC).

@inproceedings{1354c9bf02b845e887c1dbfc24d6987a,

title = "Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems",

author = "Andreas Muller and Stefan Mitsch and Andre Platzer",

note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 18th IEEE International Conference on Intelligent Transportation Systems, ITSC 2015 ; Conference date: 15-09-2015 Through 18-09-2015",

year = "2015",

month = oct,

day = "30",

doi = "10.1109/ITSC.2015.128",

language = "English",

series = "IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC",

publisher = "IEEE (Institute of Electrical and Electronics Engineers)",

pages = "757--764",

booktitle = "Proceedings - 2015 IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015",

}

TY - GEN

T1 - Verified Traffic Networks

T2 - 18th IEEE International Conference on Intelligent Transportation Systems, ITSC 2015

AU - Muller, Andreas

AU - Mitsch, Stefan

AU - Platzer, Andre

PY - 2015/10/30

Y1 - 2015/10/30

UR - https://www.scopus.com/pages/publications/84950274997

UR - https://www.scopus.com/pages/publications/84950274997#tab=citedBy

U2 - 10.1109/ITSC.2015.128

DO - 10.1109/ITSC.2015.128

M3 - Conference contribution

AN - SCOPUS:84950274997

T3 - IEEE Conference on Intelligent Transportation Systems, Proceedings, ITSC

SP - 757

EP - 764

BT - Proceedings - 2015 IEEE 18th International Conference on Intelligent Transportation Systems, ITSC 2015

PB - IEEE (Institute of Electrical and Electronics Engineers)

Y2 - 15 September 2015 through 18 September 2015

ER -

Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems

Publication series

Conference

ASJC Scopus Subject Areas

Access to Document

Other files and links

Cite this