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

Extensions of “Padé Discretization for Linear Systems With Polyhedral Lyapunov Functions" for Generalized Jordan Structures

Recently, we showed that certain types of polyhedral Lyapunov functions for linear time-invariant systems, are preserved by diagonal Pad ´ e approximations, under the assumption that the continuous-time system matrix Ac has distinct eigenvalues. In this paper we show that this result also holds true in the case that Ac has non-trivial Jordan block