@article{DBLP:journals/expert/Platzer09,
author = {['André Platzer']},
title = {Verification of Cyberphysical Transportation
Systems},
journal = {IEEE Intelligent Systems},
volume = {24},
number = {4},
year = {2009},
pages = {10-13},
doi = {10.1109/MIS.2009.81},
issn = {1541-1672},
keywords = {cyber-physical transportation systems,
train control, air traffic control,
logic-based analysis, verification},
abstract = {
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.}
}