
The authors characterize the convex hulls of reachable sets as solutions of an ordinary differential equation, providing an efficient sampling-based estimation algorithm. This approach simplifies the estimation of reachable sets and has applications in neural feedback loop analysis and robust model predictive control.


coremsg

Analyzing-Convex-Hulls-of-Reachable-Sets-in-Nonlinear-Systems-with-Bounded-Disturbances-and-Uncertain-Initial-Conditions


Analyzing Convex Hulls of Reachable Sets in Nonlinear Systems with Bounded Disturbances and Uncertain Initial Conditions


title_rewrite


Constrained polynomial logical zonotopes enhance reachability analysis in logical systems.


formal-verification-with-constrained-polynomial-logical-zonotope


Formal Verification with Constrained Polynomial Logical Zonotope
