Sign in
Modelling Hybrid Train Speed Controller using Proof and Refinement.
Paulius Stankaitis
Guillaume Dupont
Neeraj Kumar Singh
Yamine Aït Ameur
Alexei Iliasov
Alexander B. Romanovsky
Published in:
ICECCS (2019)
Keyphrases
</>
real time
control system
high speed
control algorithm
hybrid learning
theorem proving
neural network
refinement process
control method
theorem prover
optimal control
control scheme
neuro fuzzy
steady state
adaptive control
expert systems
dc motor
hybrid approaches
limit cycle
walking speed