Login / Signup
Extracting Hybrid Automata from Control Code.
Steven Lyde
Matthew Might
Published in:
NASA Formal Methods (2013)
Keyphrases
</>
hybrid automata
control system
finite state automata
real time
source code
control method
neural network
hidden markov models
theoretical analysis
code generation