Login / Signup
Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities.
Kai Shen
Joseph K. Scott
Published in:
Math. Control. Signals Syst. (2020)
Keyphrases
</>
linear inequalities
neural network
lower bound
constraint programming
linear constraints
sufficient conditions