Formal Verification of the Island Tunnel Controller Using Multiway Decision Graphs.
Zijian ZhouXiaoyu SongSofiène TaharEduard CernyFrancisco CorellaMichel LangevinPublished in: FMCAD (1996)
Keyphrases
- formal verification
- model checking
- bounded model checking
- decision making
- model checker
- automated verification
- decision makers
- symbolic model checking
- optimal control
- graph matching
- closed loop
- graph theory
- control algorithm
- control system
- high speed
- control strategy
- neural network
- series parallel
- tree structures
- formal specification
- real time
- simulation model
- control method
- fuzzy controller
- graph mining
- rough set theory
- control law
- directed graph
- knowledge based systems
- graph structure
- reinforcement learning
- temporal logic