Issue No. 04 - July/August (2009 vol. 24)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MIS.2009.81
André Platzer , Carnegie Mellon University
Cyberphysical system technology has an important share in modern intelligent transportation systems, including next generation flight, rail, and car control. This control technology is intended to help improve performance objectives like throughput and improve overall system safety. To ensure that these transportation systems operate correctly, new analysis techniques are needed that consider physical movement combined with computational control to establish properties like collision freedom. Logic-based analysis can verify the correct functioning of these cyberphysical systems.
cyberphysical transportation systems, train control, air traffic control, logic-based analysis, verification
A. Platzer, "Verification of Cyberphysical Transportation Systems," in IEEE Intelligent Systems, vol. 24, no. , pp. 10-13, 2009.