Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
From MaRDI portal
Publication:2986920
DOI10.1145/2461328.2461358zbMath1362.93011OpenAlexW2015863039MaRDI QIDQ2986920
Publication date: 16 May 2017
Published in: Proceedings of the 16th international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: http://mediatum.ub.tum.de/doc/1283922/document.pdf
Ordinary differential inclusions (34A60) Attainable sets, reachability (93B03) Hybrid systems of ordinary differential equations (34A38)
Related Items (23)
An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Verification of Hybrid Systems ⋮ OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations ⋮ Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering ⋮ Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming ⋮ Set-based control for disturbed piecewise affine systems with state and actuation constraints ⋮ Safety verification for regime-switching jump diffusions via barrier certificates ⋮ A higher order method for input-affine uncertain systems ⋮ Guaranteed Error Bounds on Approximate Model Abstractions Through Reachability Analysis ⋮ Formal lumping of polynomial differential equations through approximate equivalences ⋮ Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis ⋮ Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration ⋮ Constrained polynomial zonotopes ⋮ Linearization, model reduction and reachability in nonlinear ODEs ⋮ Reachability Analysis for Linear Systems with Uncertain Parameters using Polynomial Zonotopes ⋮ Quantifying conformance using the Skorokhod metric ⋮ Reachability analysis of nonlinear systems using hybridization and dynamics scaling ⋮ A survey of challenges for runtime verification from advanced application domains (beyond software) ⋮ Guaranteed methods based on constrained zonotopes for set-valued state estimation of nonlinear discrete-time systems ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis ⋮ Reachability analysis of a general class of neural ordinary differential equations ⋮ Formal synthesis of closed-form sampled-data controllers for nonlinear continuous-time systems under STL specifications
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on two problems in connexion with graphs
- Enhancing model checking in verification by AI techniques
- Receding horizon control for temporal logic specifications
- Model Repair for Probabilistic Systems
- Markov decision processes and regular events
- A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications
- Controlling a Class of Nonlinear Systems on Rectangles
- Diagnostic Information for Realizability
This page was built for publication: Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
