Login / Signup
Deep-stall envelope computing considering unsteady aerodynamic based on reachability analysis.
Kenan Yong
Qing-Xian Wu
Mou 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