Quantified constraints under perturbation
From MaRDI portal
Publication:1600045
DOI10.1006/jsco.2001.0519zbMath1017.68161OpenAlexW1994738145MaRDI QIDQ1600045
Publication date: 11 June 2002
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/c5c5aef20d602b919c6f142ded7110c46000dd71
Related Items (5)
Contractor programming ⋮ Relating syntactic and semantic perturbations of hybrid automata ⋮ Safety verification of non-linear hybrid systems is quasi-decidable ⋮ Quasi-decidability of a fragment of the first-order theory of real numbers ⋮ GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS
Uses Software
Cites Work
- Quantifier elimination for real algebra -- the quadratic case and beyond
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Quasi-gcd computations
- Partial cylindrical algebraic decomposition for quantifier elimination
- Quantifier elimination in applied mechanics problems with cylindrical algebraic decomposition
- Reasoning over networks by symbolic methods
- Quantifier elimination and cylindrical algebraic decomposition. Proceedings of a symposium, Linz, Austria, October 6--8, 1993
- Robust analysis and design of control systems using interval arithmetic
- Nonlinear control system design by quantifier elimination
- Robust multi-objective feedback design by quantifier elimination
- Testing stability by quantifier elimination
- Approximate quantified constraint solving by cylindrical box decomposition
- Algebraic approach to the interval linear static identification, tolerance, and control problems, or one more application of Kaucher arithmetic
- Guaranteed tuning, with application to robust control and motion planning
- Regularization methods for the stable solution of inverse problems
- Applying Linear Quantifier Elimination
- Applying Quantifier Elimination to Stability Analysis of Difference Schemes
- On a generalization of quantifiers
- Pseudofactors of multivariate polynomials
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Quantified constraints under perturbation
