13,079 research outputs found
Region of Attraction Estimation Using Invariant Sets and Rational Lyapunov Functions
This work addresses the problem of estimating the region of attraction (RA)
of equilibrium points of nonlinear dynamical systems. The estimates we provide
are given by positively invariant sets which are not necessarily defined by
level sets of a Lyapunov function. Moreover, we present conditions for the
existence of Lyapunov functions linked to the positively invariant set
formulation we propose. Connections to fundamental results on estimates of the
RA are presented and support the search of Lyapunov functions of a rational
nature. We then restrict our attention to systems governed by polynomial vector
fields and provide an algorithm that is guaranteed to enlarge the estimate of
the RA at each iteration
Analysis of the lactose metabolism in E. coli using sum-of-squares decomposition
We provide a system-theoretic analysis of the mathematical model of lactose induction in E.coli which predicts the level of lactose induction into the cell for specified values of external lactose. Depending on the levels of external lactose and other parameters, the Lac operon is known to have a low steady state in which it is said to be turned off and high steady state where it is said to be turned on. Furthermore, the model has been shown experimentally to exhibit a bi-stable behavior. Using ideas from Lyapunov stability theory and sum-of-squares decomposition, we characterize the reachable state
space for different sets of initial conditions, calculating estimates of the regions of attraction of the biologically relevant equilibria of this system. The changes in the basins of attraction with changes in model parameters can be used to provide biological insight. Specifically, we explain the crucial role played by a small basal transcription rate in the Lac operon. We show that if the basal rate is below a threshold, the region of attraction of the low steady state grows significantly, indicating that system is trapped in the (off) mode, showing the importance of the basal rate of transcription
Help on SOS
In this issue of IEEE Control Systems Magazine, Andy Packard and friends respond to a query on determining the region of attraction using sum-of-squares methods
Stability and Control of Power Systems using Vector Lyapunov Functions and Sum-of-Squares Methods
Recently sum-of-squares (SOS) based methods have been used for the stability
analysis and control synthesis of polynomial dynamical systems. This analysis
framework was also extended to non-polynomial dynamical systems, including
power systems, using an algebraic reformulation technique that recasts the
system's dynamics into a set of polynomial differential algebraic equations.
Nevertheless, for large scale dynamical systems this method becomes
inapplicable due to its computational complexity. For this reason we develop a
subsystem based stability analysis approach using vector Lyapunov functions and
introduce a parallel and scalable algorithm to infer the stability of the
interconnected system with the help of the subsystem Lyapunov functions.
Furthermore, we design adaptive and distributed control laws that guarantee
asymptotic stability under a given external disturbance. Finally, we apply this
algorithm for the stability analysis and control synthesis of a network
preserving power system.Comment: to appear at the 14th annual European Control Conferenc
Convex computation of the region of attraction of polynomial control systems
We address the long-standing problem of computing the region of attraction
(ROA) of a target set (e.g., a neighborhood of an equilibrium point) of a
controlled nonlinear system with polynomial dynamics and semialgebraic state
and input constraints. We show that the ROA can be computed by solving an
infinite-dimensional convex linear programming (LP) problem over the space of
measures. In turn, this problem can be solved approximately via a classical
converging hierarchy of convex finite-dimensional linear matrix inequalities
(LMIs). Our approach is genuinely primal in the sense that convexity of the
problem of computing the ROA is an outcome of optimizing directly over system
trajectories. The dual infinite-dimensional LP on nonnegative continuous
functions (approximated by polynomial sum-of-squares) allows us to generate a
hierarchy of semialgebraic outer approximations of the ROA at the price of
solving a sequence of LMI problems with asymptotically vanishing conservatism.
This sharply contrasts with the existing literature which follows an
exclusively dual Lyapunov approach yielding either nonconvex bilinear matrix
inequalities or conservative LMI conditions. The approach is simple and readily
applicable as the outer approximations are the outcome of a single semidefinite
program with no additional data required besides the problem description
Robust Region-of-Attraction Estimation
We propose a method to compute invariant subsets of the region-of-attraction for asymptotically stable equilibrium points of polynomial dynamical systems with bounded parametric uncertainty. Parameter-independent Lyapunov functions are used to characterize invariant subsets of the robust region-of-attraction. A branch-and-bound type refinement procedure reduces the conservatism. We demonstrate the method on an example from the literature and uncertain controlled short-period aircraft dynamics
- âŠ