Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
From MaRDI portal
Publication:6175620
DOI10.1016/j.automatica.2023.111107zbMath1520.93035arXiv2106.14831OpenAlexW3175238547MaRDI QIDQ6175620
Neera Jain, Trevor J. Bird, Justin P. Koeln, Herschel C. Pangborn
Publication date: 24 July 2023
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2106.14831
Discrete-time control/observation systems (93C55) Attainable sets, reachability (93B03) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constrained zonotopes: a new tool for set-based estimation and fault detection
- The algorithmic analysis of hybrid systems
- Enumeration-based approach to solving parametric linear complementarity problems
- Computing reachable sets of hybrid systems using a combination of zonotopes and polytopes
- Control of systems integrating logic, dynamics, and constraints
- Complexity of stability and controllability of elementary hybrid systems
- Switching in systems and control
- Set operations and order reductions for constrained zonotopes
- Functional sets with typed symbols: Mixed zonotopes and polynotopes for hybrid nonlinear reachability and filtering
- Flowpipe approximation and clustering in space-time
- Presolve Reductions in Mixed Integer Programming
- Mixed Integer Programming Computation
- Reachability Analysis of Hybrid Systems Using Support Functions
- Sparse Polynomial Zonotopes: A Novel Set Representation for Reachability Analysis
- On Zonotopes
- Set-theoretic methods in control
- Equivalence of hybrid dynamical models
- Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
This page was built for publication: Hybrid zonotopes: A new set representation for reachability analysis of mixed logical dynamical systems
