Login / Signup

Extracting Hybrid Automata from Control Code.

Steven LydeMatthew 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