A higher order method for input-affine uncertain systems
From MaRDI portal
Publication:2677088
DOI10.1016/j.nahs.2022.101266zbMath1505.93102arXiv2001.11330OpenAlexW4297025045MaRDI QIDQ2677088
Luca Geretti, Davide Bresolin, Tiziano Villa, Peter J. Collins, Sanja Živanović Gonzalez
Publication date: 13 January 2023
Published in: Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2001.11330
Nonlinear systems in control theory (93C10) Control/observation systems with incomplete information (93C41) Ordinary differential inclusions (34A60) Control/observation systems governed by ordinary differential equations (93C15)
Uses Software
Cites Work
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems
- Theory of control systems described by differential inclusions
- Approximation of reachable sets using optimal control and support vector machines
- A Lohner-type algorithm for control systems and ordinary differential inclusions
- Rigorously computed orbits of dynamical systems without the wrapping effect
- The logarithmic norm. History and modern theory
- Validated solutions of initial value problems for parametric ODEs
- A Set-Oriented Numerical Approach for Dynamical Systems with Parameter Uncertainty
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Formal Verification Applied to Robotic Surgery
- Accurate reachability analysis of uncertain nonlinear systems
- A computable and compositional semantics for hybrid automata
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A higher order method for input-affine uncertain systems
