A higher order method for input-affine uncertain systems

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

zbMATH Keywords

differential inclusionsnonlinear systemsrigorous numerics

Mathematics Subject Classification ID

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

• Ariadne

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