Nonlinear control system design by quantifier elimination

From MaRDI portal
Publication:1368690

DOI10.1006/jsco.1997.0119zbMath0882.93022OpenAlexW2061749308MaRDI QIDQ1368690

Mats Jirstrand

Publication date: 12 March 1998

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/0220b85a208cafbe0af078db02d715aa022ee95e




Related Items

Applied Algebraic Geometry in Model Based Design for ManufacturingMinimal stabilizers with arbitrary spectrum for SIMO and MISO systemsVariant quantifier eliminationCylindrical decomposition for systems transcendental in the first variableDeciding polynomial-transcendental problemsParallel computation of real solving bivariate polynomial systems by zero-matching methodHidden verification for computational mathematicsCylindrical algebraic decomposition using validated numericsAlgorithmic methods for investigating equilibria in epidemic modelingSolving and visualizing nonlinear parametric constraints in control based on quantifier eliminationAutomatic generation of bounds for polynomial systems with application to the Lorenz systemSymbolic reachability computation for families of linear vector fieldsCylindrical algebraic decomposition using local projectionsEfficient handling of universally quantified inequalitiesSymbolic computation for the qualitative theory of differential equationsQuantifier elimination for trigonometric polynomials by cylindrical trigonometric decompositionDeciding Hopf bifurcations by quantifier elimination in a software-component architectureQuantified set inversion algorithm with applications to controlA computational method for determining strong stabilizability of \(n\)-D systemsSpecial algorithm for stability analysis of multistable biological regulatory systemsQuantified constraints under perturbation


Uses Software