88 research outputs found
Stability, observer design and control of networks using Lyapunov methods
We investigate different aspects of the analysis and control of interconnected systems. Different tools, based on Lyapunov methods, are provided to analyze such systems in view of stability, to design observers and to control systems subject to stabilization. All the different tools presented in this work can be used for many applications and extend the analysis toolbox of networks. Considering systems with inputs, the stability property input-to-state dynamical stability (ISDS) has some advantages over input-to-state stability (ISS). We introduce the ISDS property for interconnected systems and provide an ISDS small-gain theorem with a construction of an ISDS-Lyapunov function and the rate and the gains of the ISDS estimation for the whole system. This result is applied to observer design for single and interconnected systems. Observers are used in many applications where the measurement of the state is not possible or disturbed due to physical reasons or the measurement is uneconomical. By the help of error Lyapunov functions we design observers, which have a so-called quasi ISS or quasi-ISDS property to guarantee that the dynamics of the estimation error of the systems state has the ISS or ISDS property, respectively. This is applied to quantized feedback stabilization. In many applications, there occur time-delays and/or instantaneous jumps of the systems state. At first, we provide tools to check whether a network of time-delay systems has the ISS property using ISS-Lyapunov-Razumikhin functions and ISS-Lyapunov-Krasovskii functionals. Then, these approaches are also used for interconnected impulsive systems with time-delays using exponential Lyapunov-Razumikhin functions and exponential Lyapunov-Krasovskii functionals. We derive conditions to assure ISS of an impulsive network with time-delays. Controlling a system in a desired and optimal way under given constraints is a challenging task. One approach to handle such problems is model predictive control (MPC). In this thesis, we introduce the ISDS property for MPC of single and interconnected systems. We provide conditions to assure the ISDS property of systems using MPC, where the previous result of this thesis, the ISDS small-gain theorem, is applied. Furthermore, we investigate the ISS property for MPC of time-delay systems using the Lyapunov-Krasovskii approach. We prove theorems, which guarantee ISS for single and interconnected systems using MPC
Converse Lyapunov-Krasovskii theorem for ISS of neutral systems in Sobolev spaces
International audienceThe conditions of existence of a Lyapunov-Krasovskii functional (LKF) for nonlinear input-to-state stable (ISS) neutral type systems are proposed. The system under consideration depends nonlinearly on the delayed state and the delayed state derivative, and satisfies the conditions for the existence and uniqueness of the solutions. The LKF and the system properties are defined in a Sobolev space of absolutely continuous functions with bounded derivatives
On the Relation of Delay Equations to First-Order Hyperbolic Partial Differential Equations
This paper establishes the equivalence between systems described by a single
first-order hyperbolic partial differential equation and systems described by
integral delay equations. System-theoretic results are provided for both
classes of systems (among them converse Lyapunov results). The proposed
framework can allow the study of discontinuous solutions for nonlinear systems
described by a single first-order hyperbolic partial differential equation
under the effect of measurable inputs acting on the boundary and/or on the
differential equation. An illustrative example shows that the conversion of a
system described by a single first-order hyperbolic partial differential
equation to an integral delay system can simplify considerably the solution of
the corresponding robust feedback stabilization problem.Comment: 32 pages, submitted for possible publication to ESAIM COC
Nonlinear Partial Functional Differential Equations: Existence and Stability
Existence and uniqueness of solutions for a class of nonlinear functional differential equations in Hilbert spaces are established. Sufficient conditions which guarantee the transference of exponential stability from partial differential equations to partial functional differential equations are studied. The stability results derived are also applied to ordinary differential equations with hereditary characteristics
- …