1,110 research outputs found
Stability of uniformly bounded switched systems and Observability
This paper mainly deals with switched linear systems defined by a pair of
Hurwitz matrices that share a common but not strict quadratic Lyapunov
function. Its aim is to give sufficient conditions for such a system to be
GUAS.We show that this property of being GUAS is equivalent to the uniform
observability on of a bilinear system defined on a subspace whose
dimension is in most cases much smaller than the dimension of the switched
system.Some sufficient conditions of uniform asymptotic stability are then
deduced from the equivalence theorem, and illustrated by examples.The results
are partially extended to nonlinear analytic systems
Lower Bounds on Complexity of Lyapunov Functions for Switched Linear Systems
We show that for any positive integer , there are families of switched
linear systems---in fixed dimension and defined by two matrices only---that are
stable under arbitrary switching but do not admit (i) a polynomial Lyapunov
function of degree , or (ii) a polytopic Lyapunov function with facets, or (iii) a piecewise quadratic Lyapunov function with
pieces. This implies that there cannot be an upper bound on the size of the
linear and semidefinite programs that search for such stability certificates.
Several constructive and non-constructive arguments are presented which connect
our problem to known (and rather classical) results in the literature regarding
the finiteness conjecture, undecidability, and non-algebraicity of the joint
spectral radius. In particular, we show that existence of an extremal piecewise
algebraic Lyapunov function implies the finiteness property of the optimal
product, generalizing a result of Lagarias and Wang. As a corollary, we prove
that the finiteness property holds for sets of matrices with an extremal
Lyapunov function belonging to some of the most popular function classes in
controls
Stability results for constrained dynamical systems
Differential-Algebraic Equations (DAE) provide an appropriate framework to model and
analyse dynamic systems with constraints. This framework facilitates modelling of the
system behaviour through natural physical variables of the system, while preserving the
topological constraints of the system. The main purpose of this dissertation is to investigate
stability properties of two important classes of DAEs. We consider some special cases of
Linear Time Invariant (LTI) DAEs with control inputs and outputs, and also a special class of
Linear switched DAEs. In the first part of the thesis, we consider LTI systems, where we focus
on two properties: passivity and a generalization of passivity and small gain theorems called
mixed property. These properties play an important role in the control design of large-scale
interconnected systems. An important bottleneck for a design based on the aforementioned
properties is their verification. Hence we intend to develop easily verifiable conditions to
check passivity and mixedness of Single Input Single Output (SISO) and Multiple Input
Multiple Output (MIMO) DAEs. For linear switched DAEs, we focus on the Lyapunov stability
and this problem forms the basis for the second part of the thesis. In this part, we try
to find conditions under which there exists a common Lyapunov function for all modes
of the switched system, thus guaranteeing exponential stability of the switched system.
These results are primarily developed for continuous-time systems. However, simulation and
control design of a dynamic system requires a discrete-time representation of the system
that we are interested in. Thus, it is critical to establish whether discrete-time systems,
inherit fundamental properties of the continuous-time systems from which they are derived.
Hence, the third part of our thesis is dedicated to the problems of preserving passivity,
mixedness and Lyapunov stability under discretization. In this part, we examine several
existing discretization methods and find conditions under which they preserve the stability
properties discussed in the thesis
Stability results for constrained dynamical systems
Differential-Algebraic Equations (DAE) provide an appropriate framework to model and
analyse dynamic systems with constraints. This framework facilitates modelling of the
system behaviour through natural physical variables of the system, while preserving the
topological constraints of the system. The main purpose of this dissertation is to investigate
stability properties of two important classes of DAEs. We consider some special cases of
Linear Time Invariant (LTI) DAEs with control inputs and outputs, and also a special class of
Linear switched DAEs. In the first part of the thesis, we consider LTI systems, where we focus
on two properties: passivity and a generalization of passivity and small gain theorems called
mixed property. These properties play an important role in the control design of large-scale
interconnected systems. An important bottleneck for a design based on the aforementioned
properties is their verification. Hence we intend to develop easily verifiable conditions to
check passivity and mixedness of Single Input Single Output (SISO) and Multiple Input
Multiple Output (MIMO) DAEs. For linear switched DAEs, we focus on the Lyapunov stability
and this problem forms the basis for the second part of the thesis. In this part, we try
to find conditions under which there exists a common Lyapunov function for all modes
of the switched system, thus guaranteeing exponential stability of the switched system.
These results are primarily developed for continuous-time systems. However, simulation and
control design of a dynamic system requires a discrete-time representation of the system
that we are interested in. Thus, it is critical to establish whether discrete-time systems,
inherit fundamental properties of the continuous-time systems from which they are derived.
Hence, the third part of our thesis is dedicated to the problems of preserving passivity,
mixedness and Lyapunov stability under discretization. In this part, we examine several
existing discretization methods and find conditions under which they preserve the stability
properties discussed in the thesis
- …