Logg Inn
innsikt - Reachability Analysis
Analyzing Convex Hulls of Reachable Sets in Nonlinear Systems with Bounded Disturbances and Uncertain Initial Conditions
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.
Formal Verification with Constrained Polynomial Logical Zonotope
Constrained polynomial logical zonotopes enhance reachability analysis in logical systems.