IEEE - Institute of Electrical and Electronics Engineers, Inc. - Verified Traffic Networks: Component-Based Verification of Cyber-Physical Flow Systems

2015 IEEE 18th International Conference on Intelligent Transportation Systems (ITSC)

Author(s): Andreas Muller ; Stefan Mitsch ; Andre Platzer
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2015
Conference Location: Las Palmas, Spain
Conference Date: 15 September 2015
Page(s): 757 - 764
ISBN (CD): 978-1-4673-6595-6
ISBN (Electronic): 978-1-4673-6596-3
ISSN (Electronic): 2153-0017
ISSN (Paper): 2153-0009
DOI: 10.1109/ITSC.2015.128
Regular:

We address the problem how high-fidelity verification results about the hybrid systems dynamics of cyber-physical flow systems can be provided at the scale of large (traffic) networks without... View More

Advertisement