Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
From MaRDI portal
Publication:2105418
Recommendations
Cites work
- scientific article; zbMATH DE number 1445419 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- scientific article; zbMATH DE number 1444352 (Why is no real title available?)
- scientific article; zbMATH DE number 2222868 (Why is no real title available?)
- A survey of model reduction methods for large-scale systems.
- Algorithm 919: A Krylov subspace algorithm for evaluating the \(\phi\)-functions appearing in exponential integrators
- An algorithm for approximating polyhedra.
- Analysis of Some Krylov Subspace Approximations to the Matrix Exponential Operator
- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
- Asymptotics for singularly perturbed reachable sets
- Complexity reduction through a Schur-based decomposition for reachability analysis of linear time-invariant systems
- Composing reachability analyses of hybrid systems for safety and stability
- Conservative time discretization: a comparative study
- Counterexample-Guided Refinement of Template Polyhedra
- Eliminating spurious transitions in reachability with support functions
- Flowpipe approximation and clustering in space-time
- From the zonotope construction to the Minkowski addition of convex polytopes
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Julia: a fresh approach to numerical computing
- JuliaReach
- Numerical verification of affine systems with up to a billion dimensions
- Order-reduction abstractions for safety verification of high-dimensional linear systems
- Overapproximating reachable sets by Hamilton-Jacobi projections
- Quasi-dependent variables in hybrid automata
- Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices
- Reachability Analysis Using Polygonal Projections
- Reachability Analysis of Hybrid Systems Using Support Functions
- Reachability Analysis of Large Linear Systems With Uncertain Inputs in the Krylov Subspace
- Reachability Analysis of Nonlinear Differential-Algebraic Systems
- Reachability analysis of linear systems using support functions
- Simulation-equivalent reachability of large linear systems with inputs
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
- The modified method of refined bounds for polyhedral approximation of convex polytopes
- The principle of minimized iterations in the solution of the matrix eigenvalue problem
- Thread modularity at many levels: a pearl in compositional verification
- Time-scale decomposition of the reachable set of constrained linear systems
- Two Fast Algorithms for Sparse Matrices: Multiplication and Permuted Transposition
Describes a project that uses
Uses Software
This page was built for publication: Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2105418)
