Verification of cyberphysical transportation systems

@ARTICLE{DBLP:journals/expert/Platzer09,

  author    = {Andr{\'e} 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.}
}```