C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Non-Deterministic Delay Behavior Testing of Chinese Train Control System Using UPPAAL-TRON.
Jidong Lv
Ehsan Ahmad
Tao Tang
Published in:
IEEE Intell. Transp. Syst. Mag. (2021)
Keyphrases
</>
control system
control strategy
model checking
fuzzy logic
controller synthesis
black box
human behavior
fluid model
pid controller
control law
control algorithm
training stage
controller design
behavior analysis
fuzzy control
neural network
genetic algorithm