Nonlinear control

A feedback control system. It is desired to control a system (often called the plant) so its output follows a desired reference signal. A sensor monitors the output and a controller subtracts the actual output from the desired reference output, and applies this error signal to the system to bring the output closer to the reference. In a nonlinear control system at least one of the blocks, system, sensor, or controller, is nonlinear.

Nonlinear control theory is the area of control theory which deals with systems that are nonlinear, time-variant, or both. Control theory is an interdisciplinary branch of engineering and mathematics that is concerned with the behavior of dynamical systems with inputs, and how to modify the output by changes in the input using feedback. The system to be controlled is called the "plant". In order to make the output of a system follow a desired reference signal a controller is designed which compares the output of the plant to the desired output, and provides feedback to the plant to modify the output to bring it closer to the desired output. Control theory is divided into two branches:

Linear control theory applies to systems made of linear devices; which means they obey the superposition principle; the output of the device is proportional to its input. Systems with this property are governed by linear differential equations. A major subclass is systems which in addition have parameters which do not change with time, called linear time invariant (LTI) systems. These systems are amenable to powerful frequency domain mathematical techniques of great generality, such as the Laplace transform, Fourier transform, and Z transform, root-locus, Bode plot, and Nyquist stability criterion. These lead to a description of the system using terms like bandwidth, frequency response, eigenvalues, gain, resonant frequencies, poles, and zeros, which give solutions for system response and design techniques to most problems of interest.

Nonlinear control theory covers a wider class of systems that do not obey the superposition principle. It applies to more real-world systems, because all real control systems are nonlinear. These systems are often governed by nonlinear differential equations. The mathematical techniques which have been developed to handle them are more rigorous and much less general, often applying only to narrow categories of systems. These include limit cycle theory, Poincaré maps, Liapunov stability theory, and describing functions. If only solutions near a stable point are of interest, nonlinear systems can often be linearized by approximating them by a linear system obtained by expanding the nonlinear solution in a series, and then linear techniques can be used.^[1] Nonlinear systems are often analyzed using numerical methods on computers, for example by simulating their operation using a simulation language. Even if the plant is linear, a nonlinear controller can often have attractive features such as simpler implementation, faster speed, more accuracy, or reduced control energy, which justify the more difficult design procedure.

An example of a nonlinear control system is a thermostat-controlled heating system. A building heating system such as a furnace has a nonlinear response to changes in temperature; it is either "on" or "off", it does not have the fine control in response to temperature differences that a proportional (linear) device would have. Therefore the furnace is off until the temperature falls below the "turn on" setpoint of the thermostat, when it turns on. Due to the heat added by the furnace, the temperature increases until it reaches the "turn off" setpoint of the thermostat, which turns the furnace off, and the cycle repeats. This cycling of the temperature about the desired temperature is called a limit cycle, and is characteristic of nonlinear control systems.

Properties of nonlinear systems

Some properties of nonlinear dynamic systems are

• They do not follow the principle of superposition (linearity and homogeneity).
• They may have multiple isolated equilibrium points.
• They may exhibit properties such as limit cycle, bifurcation, chaos.
• Finite escape time: Solutions of nonlinear systems may not exist for all times.

Analysis and control of nonlinear systems

There are several well-developed techniques for analyzing nonlinear feedback systems:

• Describing function method
• Phase plane method
• Lyapunov stability analysis
• Singular perturbation method
• Popov criterion (described in The Lur'e Problem below)
• Center manifold theorem
• Small-gain theorem
• Passivity analysis

Control design techniques for nonlinear systems also exist. These can be subdivided into techniques which attempt to treat the system as a linear system in a limited range of operation and use (well-known) linear design techniques for each region:

• Gain scheduling

Those that attempt to introduce auxiliary nonlinear feedback in such a way that the system can be treated as linear for purposes of control design:

• Feedback linearization

And Lyapunov based methods:

• Lyapunov redesign
• Nonlinear damping
• Backstepping
• Sliding mode control

Nonlinear feedback analysis – The Lur'e problem

Lur'e problem block diagram

An early nonlinear feedback system analysis problem was formulated by A. I. Lur'e. Control systems described by the Lur'e problem have a forward path that is linear and time-invariant, and a feedback path that contains a memory-less, possibly time-varying, static nonlinearity.

The linear part can be characterized by four matrices (A,B,C,D), while the nonlinear part is Φ(y) with $\frac{\Phi(y)}{y} \in [a,b],\quad a<b \quad \forall y$ (a sector nonlinearity).

Absolute stability problem

Consider:

1. (A,B) is controllable and (C,A) is observable
2. two real numbers a, b with a<b, defining a sector for function Φ

The problem is to derive conditions involving only the transfer matrix H(s) and {a,b} such that x=0 is a globally uniformly asymptotically stable equilibrium of the system. This is known as the Lur'e problem. There are two well-known wrong conjections on absolute stability:

• The Aizerman's conjecture
• The Kalman's conjecture.

There are counterexamples to Aizerman's and Kalman's conjectures such that nonlinearity belongs to the sector of linear stability and unique stable equilibrium coexists with a stable periodic solution -- hidden oscillation.

There are two main theorems concerning the problem:

• The Circle criterion
• The Popov criterion.

which give sufficient conditions of absolute stability.

Popov criterion

The sub-class of Lur'e systems studied by Popov is described by:

$\begin{matrix} \dot{x}&=&Ax+bu \\ \dot{\xi}&=&u \\ y&=&cx+d\xi \quad (1) \end{matrix}$

$\begin{matrix} u = -\phi (y) \quad (2) \end{matrix}$

where x ∈ Rⁿ, ξ,u,y are scalars and A,b,c,d have commensurate dimensions. The nonlinear element Φ: R → R is a time-invariant nonlinearity belonging to open sector (0, ∞). This means that

Φ(0) = 0, y Φ(y) > 0, ∀ y ≠ 0;

The transfer function from u to y is given by

$H(s) = \frac{d}{s} + c(sI-A)^{-1}b \quad \quad$

Theorem: Consider the system (1)-(2) and suppose

1. A is Hurwitz
2. (A,b) is controllable
3. (A,c) is observable
4. d>0 and
5. Φ ∈ (0,∞)

then the system is globally asymptotically stable if there exists a number r>0 such that
inf_{ω ∈ R} Re[(1+jωr)h(jω)] > 0 .

Things to be noted:

• The Popov criterion is applicable only to autonomous systems
• The system studied by Popov has a pole at the origin and there is no direct pass-through from input to output
• The nonlinearity Φ must satisfy an open sector condition

Theoretical results in nonlinear control

Frobenius Theorem

The Frobenius theorem is a deep result in Differential Geometry. When applied to Nonlinear Control, it says the following: Given a system of the form

$\dot x = \sum_{i=1}^k f_i(x) u_i(t) \,$

where $x \in R^n$, $f_1, \dots, f_k$ are vector fields belonging to a distribution $\Delta$ and $u_i(t)$ are control functions, the integral curves of $x$ are restricted to a manifold of dimension $m$ if span($\Delta) = m$ and $\Delta$ is an involutive distribution.

See also

• Feedback passivation
• Phase-locked loop

Further reading

• A. I. Lur'e and V. N. Postnikov, "On the theory of stability of control systems," Applied mathematics and mechanics, 8(3), 1944, (in Russian).
• M. Vidyasagar, Nonlinear Systems Analysis, 2nd edition, Prentice Hall, Englewood Cliffs, New Jersey 07632.
• A. Isidori, Nonlinear Control Systems, 3rd edition, Springer Verlag, London, 1995.
• H. K. Khalil, Nonlinear Systems, 3rd edition, Prentice Hall, Upper Saddle River, New Jersey, 2002. ISBN 0-13-067389-7
• B. Brogliato, R. Lozano, B. Maschke, O. Egeland, "Dissipative Systems Analysis and Control", Springer Verlag, London, 2nd edition, 2007.
• Leonov G.A., Kuznetsov N.V. (2011). "Algorithms for Searching for Hidden Oscillations in the Aizerman and Kalman Problems" (PDF). Doklady Mathematics 84 (1): 475–481. doi:10.1134/S1064562411040120.
• Bragin V.O., Vagaitsev V.I., Kuznetsov N.V., Leonov G.A. (2011). "Algorithms for Finding Hidden Oscillations in Nonlinear Systems. The Aizerman and Kalman Conjectures and Chua's Circuits" (PDF). Journal of Computer and Systems Sciences International 50 (5): 511–543. doi:10.1134/S106423071104006X.
• Leonov G.A., Kuznetsov N.V. (2011). Sergio, Bittanti, ed. "Analytical-numerical methods for investigation of hidden oscillations in nonlinear control systems" (PDF). IFAC Proceedings Volumes (IFAC-PapersOnline). Proceedings of the 18th IFAC World Congress 18 (1): 2494–2505. doi:10.3182/20110828-6-IT-1002.03315. ISBN 9783902661937.

External links

• Wolfram language functions for nonlinear control systems

1. trim point