Login / Signup
Reachability Analysis of Linear Hybrid Systems via Block Decomposition.
Sergiy Bogomolov
Marcelo Forets
Goran Frehse
Kostiantyn Potomkin
Christian Schilling
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2020)
Keyphrases
</>
hybrid systems
reachability analysis
intelligent systems
neural network
markov decision processes
computational intelligence
black box
model checking
meta learning
soft computing
artificial intelligence
discrete event
timed automata
state space
incremental algorithms
multi class
expert systems
search algorithm