Analysis of Linear Time Invariant Systems with Time Delay

Introduction. 1.1 Linear Time-Invariant Systems. 1.2 Nonlinear Systems. 1.3 Equilibrium Points. 1.4 First-Order Autonomous Nonlinear Systems. 1.5 Second-Order Systems: Phase-Plane Analysis. 1.6 Phase-Plane Analysis of Linear Time-Invariant Systems. 1.7 Phase-Plane Analysis of Nonlinear Systems. 1.8 Higher-Order Systems. 1.9 Examples of Nonlinear Systems. 1.10 Exercises. Mathematical Preliminaries. 2.1 Sets. 2.2 Metric Spaces. 2.3 Vector Spaces. 2.4 Matrices. 2.5 Basic Topology. 2.6 Sequences. 2.7 Functions. 2.8 Differentiability. 2.9 Lipschitz Continuity. 2.10 Contraction Mapping. 2.11 Solution of Differential Equations. 2.12 Exercises. Lyapunov Stability I: Autonomous Systems. 3.1 Definitions. 3.2 Positive Definite Functions. 3.3 Stability Theorems. 3.4 Examples. 3.5 Asymptotic Stability in the Large. 3.6 Positive Definite Functions Revisited. 3.7 Construction of Lyapunov Functions. 3.8 The Invariance Principle. 3.9 Region of Attraction. 3.10 Analysis of Linear Time-Invariant Systems. 3.11 Instability. 3.12 Exercises. Lyapunov Stability II: Nonautonomous Systems. 4.1 Definitions. 4.2 Positive Definite Functions. 4.3 Stability Theorems. 4.4 Proof of the Stability Theorems. 4.5 Analysis of Linear Time-Varying Systems. 4.6 Perturbation Analysis. 4.7 Converse Theorems. 4.8 Discrete-Time Systems. 4.9 Discretization. 4.10 Stability of Discrete-Time Systems. 4.11 Exercises. Feedback Systems. 5.1 Basic Feedback Stabilization. 5.2 Integrator Backstepping. 5.3 Backstepping: More General Cases. 5.4 Examples. 5.5 Exercises. Input-Output Stability. 6.1 Function Spaces. 6.2 Input-Output Stability. 6.3 Linear Time-Invariant Systems. 6.4 Lp Gains for LTI Systems. 6.5 Closed Loop Input-Output Stability. 6.6 The Small Gain Theorem. 6.7 Loop Transformations. 6.8 The Circle Criterion. 6.9 Exercises. Input-to-State Stability. 7.1 Motivation. 7.2 Definitions. 7.3 Input-to-State Stability (ISS) Theorems. 7.4 Input-to-State Stability Revisited. 7.5 Cascade Connected Systems. 7.6 Exercises. Passivity. 8.1 Power and Energy: Passive Systems. 8.2 Definitions. 8.3 Interconnections of Passivity Systems. 8.4 Stability of Feedback Interconnections. 8.5 Passivity of Linear Time-Invariant Systems. 8.6 Strictly Positive Real Rational Functions. Exercises. Dissipativity. 9.1 Dissipative Systems. 9.2 Differentiable Storage Functions. 9.3 QSR Dissipativity. 9.4 Examples. 9.5 Available Storage. 9.6 Algebraic Condition for Dissipativity. 9.7 Stability of Dissipative Systems. 9.8 Feedback Interconnections. 9.9 Nonlinear L2 Gain. 9.10 Some Remarks about Control Design. 9.11 Nonlinear L2-Gain Control. 9.12 Exercises. Feedback Linearization. 10.1 Mathematical Tools. 10.2 Input-State Linearization. 10.3 Examples. 10.4 Conditions for Input-State Linearization. 10.5 Input-Output Linearization. 10.6 The Zero Dynamics. 10.7 Conditions for Input-Output Linearization. 10.8 Exercises. Nonlinear Observers. 11.1 Observers for Linear Time-Invariant Systems. 11.2 Nonlinear Observability. 11.3 Observers with Linear Error Dynamics. 11.4 Lipschitz Systems. 11.5 Nonlinear Separation Principle. Proofs. Bibliography. List of Figures. Index.

The published literature for stability analysis of linear time-delay systems has attracted much interest among the researchers over the last five decades. In general, the stability for linear time-delay systems can be checked exactly only by eigenvalue considerations. Two types of stability conditions are delay-independent type, mainly used for arbitrarily large delays, and delay-dependent type, which is mostly useful in applications that consider maximum delay. In this paper, we consider a linear time-invariant system with delay differential equation form for quiet-standing case study as a derivative feedback control. When it is reasonably chosen with intentional delays, the effects of time delay for ankle torque can be used to improve and stabilize the response of the close-loop systems.

This study investigates characteristic root equivalency relations between commensurate order and integer order Linear Time Invariant (LTI) systems. Author introduces some useful properties of a special class of commensurate order systems, which is called characteristic root equivalency class of LTI systems. These properties present potential to facilitate design and analysis efforts of this class of commensurate order systems. In this sense, straightforward stability checking procedures and design approaches for commensurate order root equivalent systems of the first and second order LTI systems are demonstrated. Findings of the study are validated by illustrative examples.

Frequency-domain stability conditions for asynchronously sampled decentralized LTI systems

The paper deals with the identification of linear time invariant (LTI) systems by a special observer. An observer emitting an frequency modulated continuous wave (FMCW) signal and having a stretch processor as receiver will be considered for system identification. A thorough derivation of the gathered baseband signal for arbitrary LTI systems will be given. It is shown, that the received signal is approximately given by the transfer function of the LTI system over the frequency sweep of the FMCW signal. The proof relies on an infinite large time-bandwidth product of the transmit signal, such that errors remain in practical applications with a finite time-bandwidth product. Monte–Carlo simulations are conducted to verify the approximation and to quantify its accuracy and remaining errors. The findings are important for e.g. calibration or derivation of a device model in FMCW radar applications.

Based on complex scaling, the paper copes with stability analysis and stabilization of linear time-invariant continuous-time systems with multiple time delays in state, control input, and measured output, under state and/or output feedback. More specifically, the paper establishes stability criteria for exponential/asymptotical stability with Hurwitz complex scaling being applied to the related characteristic polynomials. The stability conditions are necessary and sufficient, delay-dependent, and independent of feedback structures and open-loop poles distribution. The criteria can be implemented graphically with locus plotting or numerically without it; moreover, no prior frequency sweeping is involved, and the contour and locus encirclement orientations can be self-defined. Exploiting the complex scaling approach and embracing its technical merits, it is considered to design static state feedback control for robustly stabilizing time-delayed systems. A small-gain interpretation for the suggested stabilization is also elaborated. Examples are included to illustrate the main results.

Chapter 4 - Frequency Analysis: The Fourier Series

Control Óptimo para Trayectorias Circulares en un Robot Móvil

Chapter 3 - The Laplace Transform

Stability analysis for LTI systems with multiple time delays using the bounds of its imaginary spectra

A necessary and sufficient condition for robustness of linear time invariant (LTI) systems with multiple uncertain time delays in the framework of the structured singular value μ is derived. The robustness condition coupled with a transformation algorithm enables nonconservative robustness analysis to be performed on systems with multiple time delay uncertainties using existing robustness software. The stability margins for two benchmark state delay problems are exact to 4 significant figures. Further, robust performance is analyzed for a simplified paper machine model with 80 real rational parameter variations and 20 time delay uncertainties controlled by a time delay compensator.

This paper studies the problem of stability analysis and controller design for discrete-time linear time invariant (LTI) systems with state saturation. Both full state saturation and partial state saturation are considered. Firstly, a new system model is constructed for solving the key problem. Then, a new method is presented for estimating the domain of attraction of the origin for a system with state saturation. Based on this method, an LMI-based ( linear matrix inequality) iterative algorithms is proposed for determining if a given ellipsoid is contractively invariant. Moreover, an LMI-based algorithm is developed for designing dynamic output-feedback controllers which guarantee that the domain of attraction of the origin for the closed-loop system is as large as possible. An example is given to illustrate the efficiency of the design method.

Random vibration analysis of time-delayed dynamical systems

In this paper, we investigate two classes of consensus protocols for networked multi-agent systems: linear time-invariant (LTI) systems and linear time-delay systems. Based on the topology of multi-agent systems, the first-order integrator model is developed. The digraph (directed graph) is employed to show the topology of networked systems, and then a consensus convergence criterion is established. For LTI systems, we prove that their consensus value will converge globally asymptotically to the convex hull of initial states. By solving a set of linear equations, we get the convex combinations of equilibria, and we obtain the convex value of continuous system. If the topology is fixed and time-invariant, the consensus value of the linear time-delay system is also the convex hull of the initial states and is identical to the LTI system. Finally, a network of six agents is presented to show the effectiveness of the results of this paper.

: This report considers a feedback control law for linear time-varying and time invariant discrete systems based on a receding horizon concept applied to a minimum energy problem with fixed terminal constraints. The control law is shown to be asymptotically stable and to result in a new method for stabilizing linear time-varying systems as well as extending some well known methods for stabilizing time invariant systems. In particular, the stabilizing gains of the feedback control law are obtained from the solution to a discrete Riccati equation over an arbitrary finite time interval, which is relatively easy to compute. The gain matrix reduces to a constant matrix for linear time invariant systems. Some stability results will turn out to be special cases of these results. The results parallel those for linear continuous time systems, although the technical details are tedious and more involved.