Computing Non-Convex Inner-Approximations of Reachable Sets for Nonlinear Continuous Systems.

Niklas Kochdumper Matthias Althoff

Published in: CDC (2020)

Keyphrases

piecewise linear
expert systems
management system
computer systems
knowledge based systems
building blocks
efficient computation
linear systems
real time
neural network
data mining
evolutionary algorithm
intelligent systems
convex sets