Pages that link to "Item:Q1368690"
From MaRDI portal
The following pages link to Nonlinear control system design by quantifier elimination (Q1368690):
Displaying 21 items.
- Variant quantifier elimination (Q420753) (← links)
- Cylindrical decomposition for systems transcendental in the first variable (Q650841) (← links)
- Deciding polynomial-transcendental problems (Q654031) (← links)
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination (Q945005) (← links)
- Efficient handling of universally quantified inequalities (Q1020499) (← links)
- A computational method for determining strong stabilizability of \(n\)-D systems (Q1300577) (← links)
- Quantifier elimination for trigonometric polynomials by cylindrical trigonometric decomposition (Q1581134) (← links)
- Deciding Hopf bifurcations by quantifier elimination in a software-component architecture (Q1582300) (← links)
- Quantified constraints under perturbation (Q1600045) (← links)
- Automatic generation of bounds for polynomial systems with application to the Lorenz system (Q1755304) (← links)
- Minimal stabilizers with arbitrary spectrum for SIMO and MISO systems (Q1939457) (← links)
- Symbolic computation for the qualitative theory of differential equations (Q2080988) (← links)
- Special algorithm for stability analysis of multistable biological regulatory systems (Q2343243) (← links)
- Parallel computation of real solving bivariate polynomial systems by zero-matching method (Q2451343) (← links)
- Hidden verification for computational mathematics (Q2456559) (← links)
- Cylindrical algebraic decomposition using validated numerics (Q2457384) (← links)
- Algorithmic methods for investigating equilibria in epidemic modeling (Q2457392) (← links)
- Quantified set inversion algorithm with applications to control (Q2568644) (← links)
- Applied Algebraic Geometry in Model Based Design for Manufacturing (Q3455008) (← links)
- Symbolic reachability computation for families of linear vector fields (Q5945290) (← links)
- Cylindrical algebraic decomposition using local projections (Q5963393) (← links)