Login / Signup
From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design.
Yu Jiang
Yixiao Yang
Han Liu
Hui Kong
Ming Gu
Jia-Guang Sun
Lui Sha
Published in:
RTAS (2016)
Keyphrases
</>
controller design
real time
control system
feedback controller
nonlinear systems
control scheme
control strategy
control strategies
neural network
artificial intelligence
vision system
computer simulation
dynamic model