Stability of Stationary Sets in Control Systems with Discontinuous Nonlinearities

The following sections are included:

• Preface

• List of Notations

• Contents

The following sections are included:

• Notion of Solution to Differential Equation with Discontinuous Right-Hand Side
  • Difficulties encountered in the definition of a solution. Sliding modes
  • The concept of a solution of a system with discontinuous nonlinearities accepted in this book. Connection with the theory of differential equations with multiple-valued right-hand sides
  • Relation to some other definitions of a solution to a system with discontinuous right-hand side
  • Sliding modes. Extended nonlinearity. Example

• Systems of Differential Equations with Multiple-Valued Right-Hand Sides (Differential Inclusions)
  • Concept of a solution of a system of differential equations with a multivalued right-hand side, the local existence theorem, the theorems on continuation of solutions and continuous dependence on initial values
  • "Extended" nonlinearities
  • Sliding modes

• Dichotomy and Stability
  • Basic definitions
  • Lyapunov-type lemmas

The following sections are included:

• Algebraic Problems That Occur When Finding Conditions for the Existence of Lyapunov Functions from Some Multiparameter Functional Class. Circle Criterion. Popov Criterion
  • Equations of the system. Linear and nonlinear parts of the system. Transfer function and frequency response
  • Existence of a Lyapunov function from the class of quadratic forms. S-procedure
  • Existence of a Lyapunov function in the class of quadratic forms (continued). Frequency-domain theorem
  • The circle criterion
  • A system with a stationary nonlinearity. Existence of a Lyapunov function in the class "a quadratic form plus an integral of the nonlinearity"
  • Popov criterion

• Relevant Algebraic Statements
  • Controllability, observability, and stabilizability
  • Frequency-domain theorem on solutions of some matrix inequalities
  • Additional auxiliary lemmas
  • The S-procedure theorem
  • On the method of linear matrix inequalities in control theory

The following sections are included:

• Systems with Piecewise Single-Valued Nonlinearities
  • Systems with several nonlinearities. Frequency-domain conditions for quasi-gradient-like behavior and pointwise global stability. Free gyroscope with dry friction
  • The case of a single nonlinearity and det P ≠ 0. Theorem 3.4 on gradient-like behavior and pointwise global stability of the segment of rest. Examples
  • The case of a single nonlinearity and one zero pole of the transfer function. Theorem 3.6 on quasi-gradient-like behavior and pointwise global stability. The Bulgakov problem
  • The case of a single nonlinearity and double zero pole of the transfer function. Theorem 3.8 on global stability of the segment of rest. Gyroscopic roll equalizer. The problem of Lur'e and Postnikov. Control system for a turbine. Problem of an autopilot

• Systems with Monotone Piecewise Single-Valued Nonlinearities
  • Systems with a single nonlinearity. Frequency-domain conditions for dichotomy and global stability. Corrected gyrostabilizer with dry friction. The problem of Vyshnegradskii
  • Systems with several nonlinearities. Frequency-domain criteria for dichotomy. Noncorrectable gyrostabilizer with dry friction

• Systems with Gradient Nonlinearities
  • Dichotomy and quasi-gradient-likeness of systems with gradient nonlinearities
  • Dichotomy and quasi-gradient-like behavior of nonlinear electrical circuits and of cellular neural networks

The following sections are included:

• Formulation of the Stability Problem for Equilibrium Sets of Pendulum-Like Systems
  • Special features of the dynamics of pendulum-like systems. The structure of their equilibria sets
  • Canonical forms of pendulum-like systems with a single scalar nonlinearity
  • Dichotomy. Gradient-like behavior in a class of nonlinearities with zero mean value

• The Method of Periodic Lyapunov Functions
  • Theorem on gradient-like behavior
  • Phase-locked loops with first- and second-order low-pass filters

• An Analogue of the Circle Criterion for Pendulum-Like Systems
  • Criterion for boundedness of solutions of pendulum-like systems
  • Lemma on pointwise dichotomy
  • Stability of two- and three-dimensional pendulum-like systems. Examples
  • Phase-locked loops with a band amplifier

• The Method of Non-Local Reduction
  • The properties of separatrices of a two-dimensional dynamical system
  • The theorem on nonlocal reduction
  • Theorem on boundedness of solutions and on gradient-like behavior
  • Generalized Böhm–Hayes theorem
  • Approximation of the acquisition bands of phase-locked loops with various low-pass filters

• Necessary Conditions for Gradient-Like Behavior of Pendulum-Like Systems
  • Conditions for the existence of circular solutions and cycles of the second kind
  • Generalized Hayes theorem
  • Estimation of the instability regions in searching PLL systems and PLL systems with 1/2 filter

• Stability of the Dynamical Systems Describing the Synchronous Machines
  • Formulation of the problem
  • The case of zero load
  • The case of a nonzero load

The following sections are included:

• Proofs of Theorems on Controllability, Observability, Irreducibility, and of Lemmas 2.4 and 2.7
  • Proof of the equivalence of controllability to properties (i)-(iv) of Theorem 2.6
  • Proof of the Theorem 2.7
  • Completion of the proof of Theorem 2.6
  • Proof of Theorem 2.8
  • Proof of Theorem 2.9 in the scalar case m = l = 1
  • Proof of Theorem 2.9 for the case when either m > 1 or l > 1 and proof of Theorem 2.10
  • Proof of Lemma 2.4
  • Proof of Lemma 2.7

• Proof of Theorem 2.13 (Nonsingular Case). Theorem on Solutions of Lur'e Equation (Algebraic Riccati Equation)
  • Two lemmas. A detailed version of frequency-domain theorem for the nonsingular case
  • Proof of Theorem 5.1. The theorem on solvability of the Lur'e equation
  • Lemma on J-orthogonality of the root subspaces of a Hamiltonian matrix

• Proof of Theorem 2.13 (Completion) and Lemma 5.1
  • Proof of Lemma 5.1
  • Proof of Theorem 2.13

• Proofs of Theorems 2.12 and 2.14 (Singular Case)
  • Proof of Theorem 2.12
  • Necessity of the hypotheses of Theorem 2.14
  • Sufficiency of the hypotheses of Theorem 2.14

• Proofs of Theorems 2.17–2.19 on Losslessness of S-procedure
  • The Dines theorem
  • Proofs of the theorems on the losslessness of the S-procedure for quadratic forms and one constraint

The following sections are included:

• Bibliography

• Index