Sampled-Data Reachability Analysis Using Sensitivity and Mixed-Monotonicity.

Pierre-Jean Meyer Samuel Coogan Murat Arcak

Published in: IEEE Control. Syst. Lett. (2018)

Keyphrases

sampled data
reachability analysis
markov decision processes
model checking
image reconstruction
timed automata
incremental algorithms
data sets
state space
original data
optimal policy
sampling methods
imbalanced data