Forward inner-approximated reachability of non-linear continuous systems

DOI10.1145/3049797.3049811MaRDI QIDQ5275312zbMATH OpenOpenAlexFDO

Authors Éric Goubault, Sylvie Putot

Publication date 11 July 2017

Published in Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/3049797.3049811

zbMATH Keywords

affine arithmeticinner approximationmodal intervalsreachabilityTaylor models

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Nonlinear systems in control theory (93C10)

Recommendations

• Inner approximated reachability analysis
• Hybrid Systems: Computation and Control
• scientific article; zbMATH DE number 1956619
• Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
• Reachability analysis of non-linear planar autonomous systems

Cited in

(20)

• Safe over- and under-approximation of reachable sets for autonomous dynamical systems
• An axiomatic approach to existence and liveness for differential equations
• Convergent under-approximations of reachable sets and tubes: a piecewise constant approach
• Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives
• Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Continuity and computability of reachable sets
• A higher order method for input-affine uncertain systems
• Inner approximated reachability analysis
• scientific article; zbMATH DE number 1956619 (Why is no real title available?)
• scientific article; zbMATH DE number 1956651 (Why is no real title available?)
• Computing reachable sets of differential inclusions
• Under-approximating backward reachable sets by polytopes
• Inner and outer reachability for the verification of control systems
• Hybrid Systems: Computation and Control
• Inner and outer approximating flowpipes for delay differential equations
• RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems
• UTOPIC: Under-Approximation Through Optimal Control
• An axiomatic approach to liveness for differential equations
• Online inner approximation of reachable sets of nonlinear systems with diminished control authority

Describes a project that uses

Uses Software

• filib++
• SpaceEx
• Flow*
• NLTOOLBOX
• Ellipsoidal Toolbox

This page was built for publication: Forward inner-approximated reachability of non-linear continuous systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5275312)