Login / Signup

Deep-stall envelope computing considering unsteady aerodynamic based on reachability analysis.

Kenan YongQing-Xian WuMou Chen
Published in: ICCA (2016)
Keyphrases
  • reachability analysis
  • model checking
  • markov decision processes
  • dynamic model
  • real time
  • incremental algorithms
  • timed automata
  • machine learning
  • random walk
  • flow patterns