The following pages link to (Q4552457):
Displaying 17 items.
- Variant quantifier elimination (Q420753) (← links)
- Reachability computation for polynomial dynamical systems (Q526433) (← links)
- Timed discrete event control of parallel production lines with continuous outputs (Q939012) (← links)
- Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination (Q945005) (← links)
- Tightened reachability constraints for the verification of linear hybrid systems (Q1026401) (← links)
- Computing differential invariants of hybrid systems as fixed points (Q1039853) (← links)
- Differential dynamic logic for hybrid systems (Q1040772) (← links)
- Real quantifier elimination is doubly exponential (Q1114669) (← links)
- Open weak CAD and its applications (Q1711996) (← links)
- Encoding inductive invariants as barrier certificates: synthesis via difference-of-convex programming (Q2105455) (← links)
- Positive root isolation for poly-powers by exclusion and differentiation (Q2409014) (← links)
- Real quantifier elimination for the synthesis of optimal numerical algorithms (case study: square root computation) (Q2635072) (← links)
- Characterization and computation of control invariant sets for linear impulsive control systems (Q2677090) (← links)
- Computing Differential Invariants of Hybrid Systems as Fixedpoints (Q3512492) (← links)
- (Q4247790) (← links)
- (Q5089299) (← links)
- Faster one block quantifier elimination for regular polynomial systems of equations (Q6666546) (← links)
