11:45 - 12:20 | Wed 24 Apr | Veleiros | WeS1
09:00 - 10:20 | Thu 25 Apr | Hallway | ThSS
This paper is concerned with computing enclosures for the constrained reachable set of uncertain nonlinear dynamic systems. Our main contribution is a nontrivial extension of the generalized differential inequality, proposed in Villanueva et al. (2015), for the case that an a priori enclosure, of the reachable set is available. A practical implementation is worked out in detail for the case of ellipsoidal enclosures. The applicability of the proposed method is illustrated using a Lotka-Volterra system, for which a nonlinear solution invariant is known.
No information added