Login / Signup

Behavior modeling and verification of movement authority scenario of Chinese Train Control System using AADL.

Ehsan AhmadYunwei DongBrian R. LarsonJidong LüTao TangNaijun Zhan
Published in: Sci. China Inf. Sci. (2015)
Keyphrases
  • control system
  • model checking
  • closed loop
  • modeling method
  • physical processes
  • real world
  • genetic algorithm
  • artificial intelligence
  • fuzzy logic
  • control law
  • formal verification
  • behavioral models