Formal Verification of Train Control with Air Pressure Brakes.

Stefan Mitsch Marco Gario Christof J. Budnik Michael Golm André Platzer

Published in: RSSRail (2017)

Keyphrases

formal verification
model checking
model checker
fuzzy pid control
fuel injection
symbolic model checking
bounded model checking
automated verification
control system
dual channel
mobile robot
control strategy