Pages that link to "Item:Q4526928"
From MaRDI portal
The following pages link to A LIBRARY FOR DOING POLYHEDRAL OPERATIONS (Q4526928):
Displaying 14 items.
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- Necessary and sufficient conditions for reachability on a simplex (Q880386) (← links)
- Predictive control for hybrid systems. Implications of polyhedral pre-computations (Q1003540) (← links)
- A control problem for affine dynamical systems on a full-dimensional polytope. (Q1426256) (← links)
- Combinatorial optimization and small polytopes (Q1814809) (← links)
- On highly robust efficient solutions to uncertain multiobjective linear programs (Q1991250) (← links)
- Two variations of graph test in double description method (Q2322740) (← links)
- Solving strong controllability of temporal problems with uncertainty using SMT (Q2342602) (← links)
- Hybrid abstractions of affine systems (Q2496812) (← links)
- Which Symmetric Homogeneous Polynomials Can Be Proved Positive Semi-definite by Difference Substitution Method? (Q3597980) (← links)
- Geometrical Analysis of Model Predictive Control: A Parameterized Polyhedra Approach (Q3615685) (← links)
- Ranking Functions for Linear-Constraint Loops (Q5501930) (← links)
- On the Petri net realization of context-free graphs (Q5941208) (← links)
- Automatic implementation of affine iterative algorithms: Design flow and communication synthesis (Q5950533) (← links)
