Solving and visualizing nonlinear parametric constraints in control based on quantifier elimination (Q945005): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00200-007-0056-7
+Normal rank
@@ Property / OpenAlex ID @@
+W1494050842
@@ Property / OpenAlex ID: W1494050842 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4703420
@@ Property / cites work: Q4703420 / rank @@
+Normal rank
@@ Property / cites work @@
+A parameter space approach to fixed-order robust controller synthesis by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Sum of roots with positive real parts
@@ Property / cites work: Sum of roots with positive real parts / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552457
@@ Property / cites work: Q4552457 / rank @@
+Normal rank
@@ Property / cites work @@
+Robust multi-objective feedback design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Q4391231
@@ Property / cites work: Q4391231 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4391225
@@ Property / cites work: Q4391225 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical system design from a control perspective: finite frequency positive-realness approach
+Normal rank
@@ Property / cites work @@
+Nonlinear control system design by quantifier elimination
+Normal rank
@@ Property / cites work @@
+Symbolic reachability computation for families of linear vector fields
+Normal rank
@@ Property / cites work @@
+Applying Linear Quantifier Elimination
@@ Property / cites work: Applying Linear Quantifier Elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate quantified constraint solving by cylindrical box decomposition
+Normal rank
@@ Property / cites work @@
+New algebraic criteria for positive realness
@@ Property / cites work: New algebraic criteria for positive realness / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of linear problems in fields
@@ Property / cites work: The complexity of linear problems in fields / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Science - ICCS 2004
@@ Property / cites work: Computational Science - ICCS 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Science – ICCS 2005
@@ Property / cites work: Computational Science – ICCS 2005 / rank @@
+Normal rank