952 research outputs found
Counting and computing regions of -decomposition: algebro-geometric approach
New methods for -decomposition analysis are presented. They are based on
topology of real algebraic varieties and computational real algebraic geometry.
The estimate of number of root invariant regions for polynomial parametric
families of polynomial and matrices is given. For the case of two parametric
family more sharp estimate is proven. Theoretic results are supported by
various numerical simulations that show higher precision of presented methods
with respect to traditional ones. The presented methods are inherently global
and could be applied for studying -decomposition for the space of parameters
as a whole instead of some prescribed regions. For symbolic computations the
Maple v.14 software and its package RegularChains are used.Comment: 16 pages, 8 figure
Robust multiobjective feedback design via combined quantifier elimination and discretization
This paper deals with the application of computerized quantifier elimination (QE) methods for robust multiobjective feedback design, when design objectives are specified in the frequency domain. The class of design problems considered here has no analytical solutions, so that computerized solutions are of interest, even for relatively simple problems. However, due to the computational complexity of pure QE algorithms, a combined QE discretization approach is proposed and illustrated with an example
Efficient Solving of Quantified Inequality Constraints over the Real Numbers
Let a quantified inequality constraint over the reals be a formula in the
first-order predicate language over the structure of the real numbers, where
the allowed predicate symbols are and . Solving such constraints is
an undecidable problem when allowing function symbols such or . In
the paper we give an algorithm that terminates with a solution for all, except
for very special, pathological inputs. We ensure the practical efficiency of
this algorithm by employing constraint programming techniques
Special Algorithm for Stability Analysis of Multistable Biological Regulatory Systems
We consider the problem of counting (stable) equilibriums of an important
family of algebraic differential equations modeling multistable biological
regulatory systems. The problem can be solved, in principle, using real
quantifier elimination algorithms, in particular real root classification
algorithms. However, it is well known that they can handle only very small
cases due to the enormous computing time requirements. In this paper, we
present a special algorithm which is much more efficient than the general
methods. Its efficiency comes from the exploitation of certain interesting
structures of the family of differential equations.Comment: 24 pages, 5 algorithms, 10 figure
Polynomial Optimization with Applications to Stability Analysis and Control - Alternatives to Sum of Squares
In this paper, we explore the merits of various algorithms for polynomial
optimization problems, focusing on alternatives to sum of squares programming.
While we refer to advantages and disadvantages of Quantifier Elimination,
Reformulation Linear Techniques, Blossoming and Groebner basis methods, our
main focus is on algorithms defined by Polya's theorem, Bernstein's theorem and
Handelman's theorem. We first formulate polynomial optimization problems as
verifying the feasibility of semi-algebraic sets. Then, we discuss how Polya's
algorithm, Bernstein's algorithm and Handelman's algorithm reduce the
intractable problem of feasibility of semi-algebraic sets to linear and/or
semi-definite programming. We apply these algorithms to different problems in
robust stability analysis and stability of nonlinear dynamical systems. As one
contribution of this paper, we apply Polya's algorithm to the problem of
H_infinity control of systems with parametric uncertainty. Numerical examples
are provided to compare the accuracy of these algorithms with other polynomial
optimization algorithms in the literature.Comment: AIMS Journal of Discrete and Continuous Dynamical Systems - Series
Application of Statistical Learning Control to the Design of a Fixed-Order Controller for a Flexible Beam
This paper shows how probabilistic methods and statistical learning theory can provide approximate solutions to “difficult” control problems. The paper also introduces bootstrap learning methods to drastically reduce the bound on the number of samples required to achieve a performance level. These results are then applied to obtain more efficient algorithms which probabilistically guarantee stability and robustness levels when designing controllers for uncertain systems. The paper includes examples of the applications of these methods
- …