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


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 ]


  1. Andreas Müller (Johannes Kepler University Linz)
  2. Stefan Mitsch (Carnegie Mellon University)
  3. André Platzer (Carnegie Mellon University)

Topic Areas

Network Modeling , Road Traffic Management , Traffic Control


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