Efficient mode enumeration of compositional hybrid systems
From MaRDI portal
Publication:3550796
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
Cites work
- A New Technique for Translating Discrete Hybrid Automata into Piecewise Affine Systems
- A fast and effective heuristic for the feedback arc set problem
- Complementarity modeling of hybrid systems
- Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
- Control of systems integrating logic, dynamics, and constraints
- Equivalence of hybrid dynamical models
- Nonlinear regulation: The piecewise linear approach
- Optimal complexity reduction of polyhedral piecewise affine systems
- Partition of Space
- Reverse search for enumeration
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)