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

Abstract

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 prohibitive analytic cost. We... [ view full abstract ]

Authors

Andreas Müller (Johannes Kepler University Linz), Stefan Mitsch (Carnegie Mellon University), André Platzer (Carnegie Mellon University)

Topic Areas

Network Modeling , Road Traffic Management , Traffic Control

Session

We-B4 » Road and Rail Traffic Modelling and Management I (13:40 - Wednesday, 16th September, Tenerife)