Efficient mode enumeration of compositional hybrid systems
DOI10.1080/00207170903159285zbMATH Open1184.93074OpenAlexW2075092532MaRDI QIDQ3550796FDOQ3550796
Authors: Tobias Geyer, Fabio D. Torrisi, Manfred Morari
Publication date: 6 April 2010
Published in: International Journal of Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207170903159285
Recommendations
- scientific article; zbMATH DE number 1956632
- A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems
- Hyperplane arrangements in \texttt{polymake}
- Optimal complexity reduction of polyhedral piecewise affine systems
- Output-sensitive cell enumeration in hyperplane arrangements
Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete-time control/observation systems (93C55) Digital control/observation systems (93C62)
Cites Work
- Control of systems integrating logic, dynamics, and constraints
- Nonlinear regulation: The piecewise linear approach
- Equivalence of hybrid dynamical models
- Reverse search for enumeration
- Complementarity modeling of hybrid systems
- Partition of Space
- A fast and effective heuristic for the feedback arc set problem
- Optimal complexity reduction of polyhedral piecewise affine systems
- A New Technique for Translating Discrete Hybrid Automata into Piecewise Affine Systems
- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
Cited In (4)
This page was built for publication: Efficient mode enumeration of compositional hybrid systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3550796)