Sign in

Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities.

Kai ShenJoseph K. Scott
Published in: Math. Control. Signals Syst. (2020)
Keyphrases
  • linear inequalities
  • neural network
  • lower bound
  • constraint programming
  • linear constraints
  • sufficient conditions