European Train Control System: A Case Study in Formal Verification.
André PlatzerJan-David QueselPublished in: ICFEM (2009)
Keyphrases
- formal verification
- control system
- model checking
- model checker
- case study
- bounded model checking
- symbolic model checking
- fuzzy logic
- automated verification
- control strategy
- control law
- control algorithm
- fuzzy control
- control scheme
- real time
- closed loop
- test bed
- artificial intelligence
- pid controller
- control method
- heuristic search