Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
From MaRDI portal
(Redirected from Publication:832032)
Cites work
- scientific article; zbMATH DE number 1956649 (Why is no real title available?)
- An algorithm for global optimization using the Taylor-Bernstein form as inclusion function
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Fast construction of constant bound functions for sparse polynomials
- Finding relevant templates via the principal component analysis
- Formalization of Bernstein polynomials and applications to global optimization
- Hybrid Systems: Computation and Control
- Image Computation for Polynomial Dynamical Systems Using the Bernstein Expansion
- Parallelotope Bundles for Polynomial Reachability
- Parsimonious, Simulation Based Verification of Linear Systems
- Reachability analysis of polynomial systems using linear programming relaxations
- Reachability computation for polynomial dynamical systems
- Sapo: reachability computation and parameter synthesis of polynomial dynamical systems
- Static Analysis
- Symbolic Model Checking of Hybrid Systems Using Template Polyhedra
- Template polyhedra and bilinear optimization
- Template-based unbounded time verification of affine hybrid automata
Cited in
(3)
This page was built for publication: Automatic dynamic parallelotope bundles for reachability analysis of nonlinear systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q832032)
