Linearization, model reduction and reachability in nonlinear ODEs
From MaRDI portal
Publication:6173102
DOI10.1007/978-3-031-19135-0_4OpenAlexW4313175185MaRDI QIDQ6173102
Michele Boreale, Luisa Collodi
Publication date: 21 July 2023
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-031-19135-0_4
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- ModelPlex: verified runtime validation of verified cyber-physical system models
- Change-of-bases abstractions for non-linear hybrid systems
- Validated solutions of initial value problems for ordinary differential equations
- A survey of challenges for runtime verification from advanced application domains (beyond software)
- Reachability of weakly nonlinear systems using Carleman linearization
- Exponential-Condition-Based Barrier Certificate Generation for Safety Verification of Hybrid Systems
- Rigorous integration of flows and ODEs using taylor models
- Global Stability Analysis Using the Eigenfunctions of the Koopman Operator
- Automatic abstraction of non-linear systems using change of bases transformations
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- On some questions arising in the approximate solution of nonlinear differential equations
- Under-Approximating Reach Sets for Polynomial Continuous Systems
- Algorithms for exact and approximate linear abstractions of polynomial continuous systems
- SOSTOOLS and Its Control Applications
- The Koopman Operator in Systems and Control
- Computational techniques for hybrid system verification
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- Hybrid Systems: Computation and Control
This page was built for publication: Linearization, model reduction and reachability in nonlinear ODEs
