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

The authors 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. The authors propose the use of contracts for traffic flow components concisely capturing the conditions for a safe operation in the context of a traffic network. This reduces the analysis of flows in the full traffic network to simple arithmetic checks of the local compatibility of the traffic component contracts, while retaining higher-fidelity correctness guarantees of the global hybrid systems models that inherits from correct contracts of the hybrid system components. The authors evaluate this approach in a case study of a modular traffic network and a prototypical implementation in a model-based analysis and design tool for traffic flow networks.

Language

  • English

Media Info

  • Media Type: Web
  • Features: References;
  • Pagination: 757-764
  • Monograph Title: 18th International IEEE Conference on Intelligent Transportation Systems (ITSC 2015)

Subject/Index Terms

Filing Info

  • Accession Number: 01615713
  • Record Type: Publication
  • ISBN: 9781467365956
  • Files: TRIS
  • Created Date: May 2 2016 3:16PM