Zonotopic Reachability Analysis of Multirotor Aircraft.

Gilles Delansnay Alain Vande Wouwer Hendra G. Harno Yoonsoo Kim

Published in: ICSTCC (2021)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
incremental algorithms
state space
air force
air traffic control
search algorithm
real time
data mining
markov chain
optimal policy
air traffic