Preprints of the 19th World Congress The International Federation of Automatic Control Cape Town, South Africa. August 24-29, 2014

Hidden in dynamical systems: systems with no equilibria, multistability and coexisting attractors

N.V. Kuznetsov, G.A. Leonov

Department of Applied Cybernetics, Saint-Petersburg State University, Russia Department of Mathematical Information Technology, University of Jyv¨askyl¨a,Finland (e-mail: [email protected])

Abstract: From a computational point of view it is natural to suggest the classification of attractors, based on the simplicity of finding basin of attraction in the : an is called a hidden attractor if its basin of attraction does not intersect with small neighborhoods of equilibria, otherwise it is called a self-excited attractor. Self-excited attractors can be localized numerically by the standard computational procedure, in which after a transient process a trajectory, started from a point of unstable manifold in a neighborhood of unstable equilibrium, is attracted to the state of oscillation and traces it. Thus one can determine unstable equilibria and check the existence of self-excited attractors. In contrast, for the numerical localization of hidden attractors it is necessary to develop special analytical-numerical procedures in which an initial point can be chosen from the basin of attraction analytically. For example, hidden attractors are attractors in the systems with no-equilibria or with the only stable equilibrium (a special case of multistability and coexistence of attractors); hidden attractors arise in the study of well-known fundamental problems such as 16th Hilbert problem, Aizerman and Kalman conjectures, and in applied research of Chua circuits, phase-locked loop based circuits, aircraft control systems, and others.

Keywords: hidden oscillation, hidden attractor, systems with no equilibria, coexisting attractors, coexistence of attractors, multistable systems, multistability, 16th Hilbert problem, nested limit cycles, Aizerman conjecture, Kalman conjecture, absolute stability, system, method, harmonic balance, phase-locked loop (PLL), drilling system, aircraft control systems, Chua circuits

1. INTRODUCTION attracted to the state of oscillation and traces it. Thus self-excited attractors can be easily visualized. An oscillation in can be easily local- In contrast, for a hidden attractor its basin of attraction ized numerically if initial conditions from its open neigh- is not connected with unstable equilibria. For example, borhood lead to long-time behavior that approaches the hidden attractors are attractors in the systems with no- oscillation. Such an oscillation (or a set of oscillations) equilibria or with the only stable equilibrium (a special is called an attractor and its attracting set is called the 1 case of multistable systems and coexistence of attractors). basin of attraction . Thus, from a computational point Multistability is often undesired situation in many ap- of view it is natural to suggest the following classification plications, however coexisting self-excited attractors can of attractors, based on the simplicity of finding basin of be found by the standard computational procedure. In attraction in the phase space: contrast, there is no regular way to predict the existence or Definition. An attractor is called a hidden attractor if coexistence of hidden attractors in a system. Note that one its basin of attraction does not intersect with small neigh- cannot guarantee the localization of an attractor by the borhoods of equilibria, otherwise it is called a self-excited integration of trajectories with random initial conditions attractor. (especially for multidimensional systems) since its basin of attraction can be very small. For a self-excited attractor its basin of attraction is con- nected with an unstable equilibrium and, therefore, self- For numerical localization of hidden attractors it is nec- excited attractors can be localized numerically by the essary to develop special analytical-numerical procedures standard computational procedure, in which after a tran- in which an initial point can be chosen from the basin of sient process a trajectory, started from a point of unstable attraction analytically since there are no similar transient manifold in a neighborhood of unstable equilibrium, is processes leading to such attractors from the neighbor- hoods of equilibria. 1 Rigorous definitions of attractors can be found, e.g., in (Broer et al., 1991; Boichenko et al., 2005; Milnor, 2006; Leonov, 2008)

Copyright © 2014 IFAC 5445 19th IFAC World Congress Cape Town, South Africa. August 24-29, 2014

van der Pol oscillator Belousov-Zhabotinsky reaction 2-prey 1-predator model 5 0.45 4 3 0.35 15 2 1 0.25 13 y 0 y z 11 −1 0.15 −2 9 4 7 −3 0.05 x 10 5 2 −4 1.5 4 y 3 1 x 10 −5 −0.05 1 0.5 x −3 −2 −1 x0 1 2 3 −0.1 0.1 0.3 x0.5 0.7 0.9 1 0

Fig. 1. Standard computation of classical self-excited periodic oscillations.

4

Lorenz system Rossler: system 3 Chua’s circuit

50 25 2 20 1 40 15 z 0 30 z z 10 −1 20 5 −2 −3 10 0 8 30 −4 0 4 15 0.5 −20 10 0 10 −10 y −4 5 0 0 −10 y 0 y 10 −8 −5 x −0.5 x 20 −30 −12 −10 −2.5 −1.5 −0.5 0.5 1.5 2.5 x

Fig. 2. Standard computation of classical self-excited chaotic attractors.

2. SELF-EXCITED ATTRACTOR LOCALIZATION ered. Nowadays there is enormous number of publications devoted to the computation and analysis of various self- In the first half of the last century during the initial period exited chaotic oscillations (see, e.g., recent publications of the development of the theory of nonlinear oscillations (Awrejcewicz et al., 2012; Tuwankotta et al., 2013; Zelinka (Timoshenko, 1928; Krylov, 1936; Andronov et al., 1966; et al., 2013; Zhang et al., 2014) and many others). Stoker, 1950) much attention was given to analysis and In Fig. 1 is shown the computation of classical self-exited synthesis of oscillating systems, for which the problem of oscillations: van der Pol oscillator (van der Pol, 1926), the existence of oscillations can be studied with relative one of the modifications of Belousov-Zhabotinsky reaction ease. (Belousov, 1959), two preys and one predator model (Fujii, These investigations were encouraged by the applied re- 1977). search of periodic oscillations in mechanics, electronics, In Fig. 2 is shown the computation of classical self-excited chemistry, biology and so on (see, e.g., (Strogatz, 1994)) chaotic attractors: (Lorenz, 1963), R¨ossler The structure of many applied systems (see, e.g., Rayleigh system (Rossler, 1976), “double-scroll” attractor in Chua’s (Rayleigh, 1877), Duffing (Duffing, 1918), van der Pol circuit (Bilotta and Pantano, 2008). (van der Pol, 1926), Tricomi (Tricomi, 1933), Beluosov- Zhabotinsky (Belousov, 1959) systems) was such that the 3. HIDDEN ATTRACTOR LOCALIZATION existence of oscillations was almost obvious since the oscil- lations were excited from unstable equilibria (self-excited oscillations). This allowed one, following Poincare’s advice While the classical attractors are self-excited attractors “to construct the curves defined by differential equations” and, therefore, they can be obtained numerically by the (Poincar´e,1881), to visualize periodic oscillations by the standard computational procedure, for the localization of standard computational procedure. hidden attractors it is necessary to develop special proce- dures since there are no similar transient processes leading Then in the middle of 20th century it was found numer- to such attractors. At first the problem of investigating ically the existence of chaotic oscillations (Ueda et al., hidden oscillations arose in the second part of Hilbert’s 1973; Lorenz, 1963), which were also excited from unstable 16th problem (1900) on the number and possible disposi- equilibria and could be computed by the standard compu- tions of limit cycles in two-dimensional polynomial systems tational procedure. Later many other famous self-excited (see, e.g., (Reyn, 1994; Anosov et al., 1997; Chavarriga attractors (Rossler, 1976; Chua et al., 1986; Sprott, 1994; and Grau, 2003; Li, 2003; Dumortier et al., 2006; Lynch, Chen and Ueta, 1999; Lu and Chen, 2002) were discov- 2010) and authors’ works (Leonov and Kuznetsov, 2007a;

5446 19th IFAC World Congress Cape Town, South Africa. August 24-29, 2014

Kuznetsov and Leonov, 2008; Leonov et al., 2008; Leonov 2004; Leigh, 2004; Gil, 2005; Margaliota and Yfoulis, 2006; and Kuznetsov, 2010; Leonov et al., 2011a; Kuznetsov Brogliato et al., 2006; Michel et al., 2008; Liao and Yu, et al., 2013b; Leonov and Kuznetsov, 2013b)). The prob- 2008; Wang et al., 2009; Llibre et al., 2011; Haddad lem is still far from being resolved even for a simple class and Chellaboina, 2011; Grabowski, 2011; Alli-Oke et al., of quadratic systems. Here one of the main difficulties in 2012; Nikravesh, 2013). The generalization of Kalman’s computation is nested limit cycles — hidden oscillations. conjecture to multidimensional nonlinearity is known as Markus-Yamabe conjecture (Markus and Yamabe, 1960) Later, the problem of analyzing hidden oscillations arose (also proved to be false (Bernat and Llibre, 1996; Cima in engineering problems. In 1956s in M. Kapranov’s work et al., 1997; Leonov and Kuznetsov, 2013b)). (Kapranov, 1956) on the stability of PLL model, the qualitative behavior of this model was studied and the At the end of the last century the difficulties of numerical estimation of stability domain was obtained. In these analysis of hidden oscillations arose in simulations of air- investigations Kapranov assumed that in PLL systems craft’s control systems (anti-windup) (Lauvdal et al., 1997; there were self-excited oscillations only. However, in 1961, Leonov et al., 2012a; Andrievsky et al., 2012, 2013a,b) N. Gubar’ revealed a gap in Kapranov’s work and the and drilling systems (de Bruin et al., 2009; Kiseleva et al., possibility of the existence of hidden oscillations in two- 2012; Leonov and Kuznetsov, 2013b; Kiseleva et al., 2014; dimensional PLL models was showed analytically (Gubar’, Leonov et al., 2014), which caused crashes. 1961; Leonov and Kuznetsov, 2013b). Further investigations on hidden oscillations were greatly In 1957 R.E. Kalman stated the following (Kalman, 1957): encouraged by the present authors’ discovery (Kuznetsov “If f(e) in Fig. 1 [see Fig. 3] is replaced by constants K et al., 2010; Leonov et al., 2010c; Kuznetsov et al., 2011c,b; corresponding to all possible values of f 0(e), and it is found Leonov et al., 2011c,b; Bragin et al., 2011; Leonov and that the closed-loop system is stable for all such K, then it Kuznetsov, 2012; Kuznetsov et al., 2013a; Leonov and intuitively clear that the system must be monostable; i.e., Kuznetsov, 2013a), in 2009-2010 (for the first time), of all transient solutions will converge to a unique, stable chaotic hidden attractor in Chua’s circuits — a simple critical point.” Kalman’s conjecture is the strengthening electronic circuit with nonlinear feedback, which can be described by the following equations f(e) c r Σ e f G(s x˙ = α(y − x − ψ(x)) + y˙ = x − y + z − (1) z˙ = −(βy + γz) ψ(x) = m1x + (m0 − m1)sat(x)

Fig. 3. Nonlinear control system. G(s) is a linear transfer 8 15 function, f(e) is a single-valued, continuous, and 6 10 differentiable function (Kalman, 1957) 4

2 5 of Aizerman’s conjecture (Aizerman, 1949), in which in z 0 z 0

−2 place of condition on the derivative of nonlinearity it −5 −4 is required that the nonlinearity itself belongs to linear 5 −10 −6 sector. Here the application of widely-known describing 2 0 0 y 2 −8 y −15 −2 −15 −10 −5 −5 function method (DFM) leads to the conclusion on the −6 −4 −2 0 2 4 6 0 5 10 15 absence of oscillations and the global stability of the only x x stationary point, what explains why these conjectures were Fig. 4. a. Self-excited and b. Hidden Chua attractor with put forward. similar shapes In the last century the investigations of Aizerman’s and Kalman’s conjectures on absolute stability have led to Until recently only self-excited attractors have been found the finding of hidden oscillations in automatic control in Chua circuits (see, e.g., Fig. 4 a.). Note that L. Chua systems with a unique stable stationary point and with a himself, in analyzing various cases of attractors existence nonlinearity, which belongs to the sector of linear stability in Chua’s circuit (Chua, 1992), does not admit the ex- (see, e.g., (Leonov et al., 2010a; Bragin et al., 2010; Leonov istence of hidden attractor (being discovered later) in his and Kuznetsov, 2011a; Kuznetsov et al., 2011b; Leonov circuits. Now it is shown that Chua’s circuit and its various and Kuznetsov, 2011b, 2013b) and surveys (Leonov et al., modifications (Kuznetsov et al., 2010, 2011a; Leonov et al., 2010b; Bragin et al., 2011; Leonov and Kuznetsov, 2013b)). 2011c, 2012b; Kuznetsov et al., 2013a) can exhibit hidden chaotic attractors (see, Fig. 4 b., Fig. 5 3 ) with posi- Discussions and recent developments on existence of tive largest Lyapunov exponent (Leonov and Kuznetsov, periodic solution and absolute stability theory, related 2007b) 4 . to Aizerman and Kalman conjectures, are presented, e.g., in (Kaszkurewicz and Bhaya, 2000; Lozano, 2000; 3 Applying more accurate analytical-numerical methods (Lozi and Vidyasagar, 2002; Ackermann and Blue, 2002; Rasvan, Ushiki, 1993), one might here distinguish a few close coexisting attractors. 2 In engineering practice for the analysis of the existence of periodic 4 While there are known the effects of the largest Lyapunov ex- solutions it is widely used classical harmonic linearization and ponent (LE) sign reversal for nonregular time-varying linearizations, describing function method (DFM). However this classical method is the computation of Lyapunov exponents for linearization of nonlinear not strictly mathematically justified and can lead to untrue results autonomous system along non stationary trajectories is widely used

5447 19th IFAC World Congress Cape Town, South Africa. August 24-29, 2014

K = 1.8

x(0) = 2.0848, y(0) = 0.0868, z(0) = −2.819 5

~ ~ ~ ~ x(0) = 0.01, y(0) = 0, z(0) = 0 x(t)

− 0

−5 Circuit 1 x(t) 0 50 100 150 200 250 300 unst A 4 Circuit 2 t M hidden 0.5

2 2 ~ y(t) ~

− 0 0

y(t) y(t) −0.5 0 50 100 150 200 250 300 −2 t

z(t) and z(t) z(t) 5 −4 ~

0.4 z(t) 0 0.2 5 − 0 −5 S 0 z(t) 0 50 100 150 200 250 300 1 ~ −0.2 ~ st y(t) and y(t) −0.4 −5 x(t) and x(t) t M1

st Fig. 6. Synchronization on self-excited attractor. M2 K = 1.8 x(0) = -3.7727, y(0) = -1.3511, z(0) = 4.6657 10 ~ z S ~ ~ ~ x(t) 2 x(0) = 0.01, y(0) = 0, z(0) = 0 − 0 −10 Circuit 1 x(t) 0 50 100 150 200 250 300 10 Circuit 2 t 2 ~

F 5 y(t) ~ 0 − 0 0 y y(t) −2 unst 0 50 100 150 200 250 300 M −5 t

1 and z(t) z(t) 10 −10 ~ 10 z(t) 0 5 10 − 0 −10

0 z(t) x ~ −5 ~ 0 50 100 150 200 250 300 y(t) and y(t) −10 −10 x(t) and x(t) t

Fig. 7. No synchronization on hidden attractor. et al., 2014; Sprott, 2014), see also (Graham and Tl, 1986; Fig. 5. Hidden chaotic attractor (Ahidden — green domain) Banerjee, 1997; Pisarchik et al., 2006; Feudel, 2008; Yang. in classical Chua circuit: locally stable zero equi- et al., 2010; Wei, 2011; Wang and Chen, 2012b,a; Wei, librium F0 attracts trajectories (black) from stable st 2012; Wei and Pehlivan, 2012; Liu et al., 2013; Abooee manifolds M1,2 of two saddle points S1,2; trajectories et al., 2013; Sprott et al., 2013; Galias and Tucker, 2013; unst (red) from unstable manifolds M1,2 tend to infin- Pisarchik, 2014). ity; α = 8.4562, β = 12.0732, γ = 0.0052, m0 = −0.1768, m1 = −1.1468. 4. ANALYTICAL-NUMERICAL PROCEDURE FOR HIDDEN OSCILLATIONS LOCALIZATION Nowadays Chua circuits and other electronic generators of chaotic oscillations are widely used in various chaotic An effective method for the numerical localization of hid- secure communication systems. The operation of such den attractors in multidimensional dynamical systems is systems is based on the synchronization chaotic signals of the method based on a homotopy and numerical con- two chaotic identical generators (transmitter and receiver) tinuation: it is necessary to constructed a sequence of for different initial data (Kapitaniak, 1992; Ogorzalek, similar systems such that for the first (starting) system 1997; Yang, 2004; Eisencraft et al., 2013). The control the initial data for numerical computation of oscillating signal, depending on the difference of signals of transmitter solution (starting oscillation) can be obtained analytically, and receiver, changes the state of receiver. The existence e.g, it is often possible to consider the starting system with of hidden oscillations and the improper choice of the self-excited starting oscillation. Then the transformation form of control signal may lead to inoperability of such of this starting oscillation is tracked numerically in passing systems. For example, consider the synchronization of two from one system to another. Chua system (1), linearly coupled through the second Further, it is demonstrated an example of effective equation by K(y − y˜), with initial data x(0), y(0), z(0) analytical-numerical approach for hidden oscillations lo- in a small neighborhood of the zero equilibrium point calization in the systems with scalar nonlinearity, which is for the first system andx ˜(0), y˜(0), z˜(0) on the attractor based on the continuation principle, the method of small for the second system. Fig. 6 and Fig. 7 show that the parameter and, a modification of the describing function synchronization is acquired for the classical double-scroll method (DFM) 5 . attractor (α = 9.3516, β = 14.7903, γ = 0.0161, m = 0 Consider a system with one scalar nonlinearity −1.1384 m1 = −0.7225) and may not be acquired for the dx hidden attractor. = Px + qψ(r∗x), x ∈ n. (2) dt R Recent examples of hidden attractors can be found in Here P is a constant (n × n)-matrix, q, r are constant n- (Jafari and Sprott, 2013; Molaie et al., 2013; Li and Sprott, dimensional vectors, ∗ is a transposition operation, ψ(σ) is 2014b,a; Lao et al., 2014; Li and Sprott, 2014a; Chaudhuri a continuous piecewise-differentiable scalar function, and and Prasad, 2014; Wei et al., 2014; Li et al., 2014; Wei ψ(0) = 0. for investigation of chaos (Leonov and Kuznetsov, 2007b; Kuznetsov 5 DFM is used here for determining an initial periodic solution for and Leonov, 2005, 2001; Kuznetsov et al., 2014), where the pos- continuation method. However, in many cases the initial periodic itiveness of the largest Lyapunov exponent is often considered as solution is a self-excited oscillation and may be obtained by the indication of chaotic behavior in the considered nonlinear system. standard computational procedure.

5448 19th IFAC World Congress Cape Town, South Africa. August 24-29, 2014

Define a coefficient of harmonic linearization k (suppose real numbers; A3 is an ((n − 2) × (n − 2))-matrix with that such k exists) in such a way that the matrix P0 = P+ all eigenvalues with negative real parts. Without loss of ∗ kqr has a pair of purely imaginary eigenvalues ±iω0 generality, it can be assumed that for the matrix A3 ∗ (ω0 > 0) and the rest eigenvalues have negative real parts there exists a positive number d > 0 such that y3(A3 + ∗ 2 n−2 . Rewrite system (2) as A3)y3 ≤ −2d|y3| , ∀ y3 ∈ R . dx = P x + qϕ(r∗x), (3) Introduce the describing function dt 0 Z 2π/ω0 where ϕ(σ) = ψ(σ) − kσ.  Φ(a) = ϕ cos(ω0t)a cos(ω0t)dt, (7) Introduce a finite sequence of the functions 0 and assume the existence of its derivative. ϕ0(σ), ϕ1(σ), . . . , ϕm(σ) such that the graphs of neighboring functions ϕj(σ) and Theorem 4.1. (Leonov, 2010; Bragin et al., 2011) If there ϕj+1(σ) slightly differ from one another, the initial func- is a positive a0 such that tion ϕ0(σ) is small, and the final function ϕm(σ) = ϕ(σ) dΦ(a) Φ(a ) = 0, b < 0 (8) (e.g., below it is considered ϕj(σ) = εjϕ(σ), εj = j/m). 0 1 da a=a Since the initial function ϕ0(σ) is small over its domain of 0 definition, the method of describing functions give mathe- then there is a periodic solution 0 ∗ matically correct conditions of the existence of a periodic x (0) = S(y1(0), y2(0), y3(0)) solution for system with the initial data y1(0) = a0 +O(ε), y2(0) = 0, y3(0) = dx = P x + qϕ0(r∗x) (4) On−2(ε). dt 0 see, e.g. (Leonov, 2010; Leonov et al., 2010c,a). This theorem describes the procedure of the search for sta- ble periodic solutions by the standard describing function Its application allows one to define a stable nontrivial method. periodic solution x0(t) (a starting oscillating attractor is denoted further by A0). Note that condition (8) cannot be satisfied in the case when the conditions of Aizerman’s and Kalman’s conjec- Two alternatives are possible. The first case: all the points tures are fulfilled (i.e. a nonlinearity belongs to the sector of A0 are in an attraction domain of the attractor A1, of linear stability). But it is possible to modify and justify which is an oscillating attractor of the system the describing function method for the special nonlineari- dx = P x + qϕj(r∗x) (5) ties satisfying the conditions of Aizerman’s and Kalman’s dt 0 conjectures Leonov and Kuznetsov (2011a); Bragin et al. with j = 1. The second case: in the passing from system (2011). (4) to system (5) with j = 1 it is observed a loss of stability (bifurcation) and A0 vanishes. In the first case the solution x1(t) can be found numerically by starting a trajectory 5. HIDDEN OSCILLATIONS IN AIRCRAFT of system (5) with j = 1 from the initial point x0(0). If CONTROL SYSTEMS numerical integration over a sufficiently large time interval [0,T ] shows that the solution x1(t) remains bounded and is The presence of control input saturation can dramatically not attracted by an equilibrium, then this solution reaches degrade the closed-loop system performance. Since the an attractor A1. In this case it is possible to proceed to feedback loop is broken when the actuator saturates, the system (5) with j = 2 and to perform a similar procedure unstable modes of the regulator may then drift to undesir- of computation of A2 by starting a trajectory of system able values. A terrifying illustration of this detrimental ef- (5) with j = 2 from the initial point x1(T ) and computing fect is given by the pilot-induced oscillations that entailed a trajectory x2(t). the YF-22 (Boeing) crash in 1992 and Gripen (SAAB) crash in 1993. Following this procedure, sequentially increasing j, and computing xj(t) (a trajectory of system (5) with the initial Consider the following equations (Andrievsky et al., 2013) j−1 data x (T )), one can either find a solution around Am of the aircraft short period angular motion along the (an attractor of system (5) with j = m, i.e. original system longitudinal axis, linearized about trim operating points (3)), or observe at a certain step j a bifurcation, where the αtrim, δe,trim, cf. (Reichert, 1992; Ferreres and Biannic, attractor vanishes. 2007; Biannic and Tarbouriech, 2009):  Let ϕ0(σ) = εϕ(σ) with ε being a small parameter. To α˙ = Zαα + q + Zδδe, 0 (9) define the initial data x (0) of the initial periodic solution, q˙ = Mαα + Mqq + Mδδe,. system (4) with the nonlinearity ϕ0(σ) is transformed by 6 Here α, δe are the deviations of the angle-of-attack and a linear nonsingular transformation x = Sy to the form the elevator deflection angle from a trim flying condition, 0 ∗ y˙1 = −ω0y2 + b1ϕ (y1 + c3y3), the variable q represents the body axis pitch rate, Mα, 0 ∗ M , M , Z , Z are the linearized model parameters for y˙2 = ω0y1 + b2ϕ (y1 + c3y3), (6) q δ α δ 0 ∗ the given flight conditions. Let the elevator deflection y˙ 3 = A3y3 + b3ϕ (y1 + c3y3). angle be symmetrically bounded about trim value δe,trim: Here y , y are scalars, y is (n − 2)-dimensional vector; ¯ 1 2 3 |δe| ≤ δe. Suppose that the linear dynamics of the elevator b3 and c3 are (n − 2)-dimensional vectors, b1 and b2 are servosystem between PID-controller output signal u(t) 6 ˜ Such a transformation exists for nondegenerate transfer functions. and unsaturated elevator deflection δe(t) along with the

5449 19th IFAC World Congress Cape Town, South Africa. August 24-29, 2014

ε=0.25 ε=0.5

1 1

=q 0 =q 0 3 3 x x

−1 −1 5 5 −3 0.05 −3 0.05 x 10 0 0 x 10 0 0 x =σ −5 −0.05x =α x =σ −5 −0.05x =α 2 1 2 1 ε=0.75 ε=1

1 1

=q 0 =q 0 3 3 x x

−1 −1 5 5 −3 0.05 −3 0.05 x 10 0 0 x 10 0 0 x =σ −5 −0.05x =α x =σ −5 −0.05x =α 2 1 2 1

Fig. 8. Multistep localization of hidden oscillation: εj = j/4. At the last step (i.e. j = m in (5)) there is stable zero equilibrium point coexist with stable oscillation (hidden oscillation). compensating device model is described by the following poles inside a truncated sector with a minimal degree of transfer function stability η = 5.6 (to ensure fulfillment of the settling time ˜ 2 2 δe k(T s + 2ξ2T2s + 1) specification) and a minimal damping ratio ξ = 0.3 as 2 −1 W (s) = = 2 2 , (10) follows: kP = 5.5, kq = 0.55 s, kI = 19 s . The H∞ gain u T1 s + 2ξ1T1s + 1 of the closed-loop system is found as H∞ = 1.13 and the where k denotes the servo static gain, T1, T1 are the frequency stability margin is 75 deg. time constants and ξ1, ξ2 stand for the damping ratios. Finally, the saturated actuator output signal (the elevator Consider the closed-loop aircraft control system behavior deflection) is as follows imposed by saturation of the elevator servo. The focus of our attention is the possibility of hidden oscillations in δ˜ (t) ¯ e the closed-loop system. Consider behavior analysis of the δe(t) = δe sat ¯ , (11) δe particular control system (9) – (12). where sat(·) denotes the saturation function. At the first step let us find matrices P, q, r in (2) for In the sequel the following parameter values are taken the considered case. After simple calculations one can find −1 −2 (Barbu et al., 1999): Zα = −1.0 s , Zδ ≈ 0, Mα = 15 s , from (9), (10), (12) the following matrices: −1 −2 ¯ Mq = 3.0 s , Mδ = −18 s , δe = 20 deg (≈ 0.35 rad),  Z 0 1 0 0    k = 10, T1 = 0.083 s, T2 = 0.057 s, ξ1 = 0.1, ξ2 = 0.4. α −Zδ  −1 0 0 0 0   0  It may be easily checked that for the given parameters  M 0 M 0 0    P= α q  , q= −Mδ  the aircraft is weathercock unstable; the eigenvalues s1,2 −1 −2  −kP kI −kq −2ξ1T1 −T1   0  of system (9) are taken as s1 = −6, s2 = 2. Let the 0 0 0 1 0 0 control goal be the tracking for the commanded angle-of-  ∗ ∗ 2 −2 2 −2 2 −2 attack α (t). The following classical PID controller may r = − kkP T2 T1 , kkI T2 T1 , −kkqT2 T1 , be applied for eliminating the static tracking error and 2 −1 −2 2 −2 −2 the achievement of the desired transient specification for k(2ξ2T2 − 2ξ1T2 T1 )T1 , k(1 − T2 T1 )T1 . the “nominal” (non-saturated) system: The nonlinearity ψ(·) in (2) has a form (11). u(t) = kI σI (t) + kP e(t) + kDq(t), t Z Numerically, for the given above parameter values, matri- ces P, q, r take the from: σI (t) = e(τ) dτ, σ(0) = 0, (12) 0  −1.0 0 1 0 0   0  ∗ where e(t) = α(t) − α (t) is a tracking error, kP , kq, kI  −1 0 0 0 0   0      are proportional, derivative and integral controller gains P= 15.0 0 −3.0 0 0  , q= 18.0  (respectively).  −5.56 19.1 −0.556 −2.41 −145   0  0 0 0 1 0 0 The gains kI , kP , kD are computed for the nominal ∗ (unsaturated) mode so as to place the nominal closed loop r = (−26.1 89.6 −2.61 54.5, 763) .

5450 19th IFAC World Congress Cape Town, South Africa. August 24-29, 2014

Application of the described above multistep localization Barbu, C., Reginatto, R., Teel, A.R., and Zaccarian, L. procedure allows one to find hidden oscillation (see Fig. 8) (1999). Anti-windup design for manual flight control. in the considered system. In Proc. American Control Conf. (ACC’99), volume 5, 3186–3190. AACC. 6. CONCLUSION Belousov, B.P. (1959). Collection of short papers on radiation medicine for 1958, chapter A periodic reaction Since one cannot guarantee revealing complex oscillations and its mechanism. Moscow: Med. Publ. [in Russian]. regime by linear analysis and standard simulation, rigorous Bernat, J. and Llibre, J. (1996). Counterexample to nonlinear analysis and special numerical methods should Kalman and Markus-Yamabe conjectures in dimension be used for investigation of nonlinear control systems. larger than 3. Dynamics of Continuous, Discrete and Impulsive Systems, 2(3), 337–379. ACKNOWLEDGMENT Biannic, J. and Tarbouriech, S. (2009). Optimization and implementation of dynamic anti-windup compensators This work was supported by the Russian Scientific Foun- with multiple saturations in flight control systems. Con- dation and Saint-Petersburg State University. trol Engineering Practice, 17, 703–713. Bilotta, E. and Pantano, P. (2008). A gallery of Chua REFERENCES attractors, volume Series A. 61. World Scientific. Boichenko, V.A., Leonov, G.A., and Reitmann, V. (2005). Abooee, A., Yaghini-Bonabi, H., and Jahed-Motlagh, M. Dimension theory for ordinary differential equations. (2013). Analysis and circuitry realization of a novel Teubner, Stuttgart. three-dimensional chaotic system. Communications in Bragin, V.O., Kuznetsov, N.V., and Leonov, G.A. (2010). Nonlinear Science and Numerical Simulation, 18, 1235– Algorithm for construction of counterexamples to Aiz- 1245. erman’s and Kalman’s conjecture. IFAC Proceed- Ackermann, J. and Blue, P. (2002). Robust Control: ings Volumes (IFAC-PapersOnline), 4(1), 24–28. doi: The Parameter Space Approach. Communications and 10.3182/20100826-3-TR-4016.00008. control engineering. Springer. Bragin, V.O., Vagaitsev, V.I., Kuznetsov, N.V., and Aizerman, M.A. (1949). On a problem concerning the Leonov, G.A. (2011). Algorithms for finding hidden stability in the large of dynamical systems. Uspekhi Mat. oscillations in nonlinear systems. The Aizerman and Nauk [in Russian], 4, 187–188. Kalman conjectures and Chua’s circuits. Journal of Alli-Oke, R., Carrasco, J., Heath, W., and Lanzon, A. Computer and Systems Sciences International, 50(4), (2012). A robust Kalman conjecture for first-order 511–543. doi:10.1134/S106423071104006X. plants. In Proc. IEEE Control and Decision Conference. Broer, H.W., Dumortier, F., van Strien, S.J., and Takens, doi:10.3182/20120620-3-DK-2025.00161. F. (1991). Structures in dynamics: finite dimensional Andrievsky, B.R., Kuznetsov, N.V., Leonov, G.A., and deterministic studies. North-Holland, Amsterdam. Pogromsky, A.Y. (2012). Convergence based anti- Brogliato, B., Lozano, R., Maschke, B., and Egeland, windup design method and its application to flight O. (2006). Dissipative Systems Analysis and Control: control. In International Congress on Ultra Mod- Theory and Applications. Springer. ern Telecommunications and Control Systems and Chaudhuri, U. and Prasad, A. (2014). Complicated basins Workshops, 212–218 (art. no. 6459667). IEEE. doi: and the phenomenon of amplitude death in coupled 10.1109/ICUMT.2012.6459667. hidden attractors. Physics Letters, Section A: General, Andrievsky, B.R., Kuznetsov, N.V., Leonov, G.A., and Atomic and Solid State Physics, 378(9), 713–718. Pogromsky, A.Y. (2013a). Hidden oscillations in aircraft Chavarriga, J. and Grau, M. (2003). Some open problems flight control system with input saturation. IFAC related to 16th Hilbert problem. Sci. Ser. A Math. Sci. Proceedings Volumes (IFAC-PapersOnline), 5(1), 75–79. (N.S.), 9, 1–26. doi:10.3182/20130703-3-FR-4039.00026. Chen, G. and Ueta, T. (1999). Yet another chaotic Andrievsky, B.R., Kuznetsov, N.V., Leonov, G.A., and attractor. International Journal of Bifurcation and Seledzhi, S.M. (2013b). Hidden oscillations in stabiliza- Chaos, 9(7), 1465–1466. tion system of flexible launcher with saturating actua- Chua, L.O., Komuro, M., and Matsumoto, T. (1986). The tors. IFAC Proceedings Volumes (IFAC-PapersOnline), double scroll family. IEEE Transactions on Circuits and 19(1), 37–41. doi:10.3182/20130902-5-DE-2040.00040. Systems, CAS-33(11), 1072–1118. Andronov, A.A., Vitt, A.A., and Khaikin, S.E. (1966). Chua, L. (1992). A zoo of strange attractors from the Theory of Oscillators. Pergamon, Oxford. canonical Chua’s circuits. Proceedings of the IEEE Anosov, D.V., Aranson, S.K., Arnold, V.I., Bronshtein, 35th Midwest Symposium on Circuits and Systems (Cat. I.U., Grines, V.Z., and Il’yashenko, Y.S. (1997). Or- No.92CH3099-9), 2, 916–926. dinary Differential Equations and Smooth Dynamical Cima, A., van den Essen, A., Gasull, A., Hubbers, E., and Systems. Springer, New York. Ma˜nosas,F. (1997). A polynomial counterexample to Awrejcewicz, J., Krysko, V., Papkova, I., and Krysko, the Markus-Yamabe conjecture. Advances in Mathe- A. (2012). Routes to chaos in continuous mechanical matics, 131(2), 453–457. systems. Part 1: Mathematical models and solution de Bruin, J., Doris, A., van de Wouw, N., Heemels, W., methods. Chaos, Solitons & Fractals, 45(6), 687 – 708. and Nijmeijer, H. (2009). Control of mechanical motion Banerjee, S. (1997). Coexisting attractors, chaotic saddles, systems with non-collocation of actuation and friction: and fractal basins in a power electronic circuit. IEEE A Popov criterion approach for input-to-state stability Transactions on Circuits and Systems I: Fundamental and set-valued nonlinearities. Automatica, 45(2), 405– Theory and Applications, 44(9), 847–849.

5451 19th IFAC World Congress Cape Town, South Africa. August 24-29, 2014

415. Krylov, A.N. (1936). The Vibration of Ships [in Russian]. Duffing, G. (1918). Erzwungene Schwingungen bei Ve- GRSL, Moscow. randerlicher Eigenfrequenz. F. Vieweg u. Sohn, Braun- Kuznetsov, N., Kuznetsova, O., Leonov, G., and Vagait- schweig. sev, V. (2013a). Informatics in Control, Automation Dumortier, F., Llibre, J., and Artes, J. (2006). Qualitative and Robotics, Lecture Notes in Electrical Engineering, Theory of Planar Differential Systems. Springer, New Volume 174, Part 4, chapter Analytical-numerical local- York. ization of hidden attractor in electrical Chua’s circuit, Eisencraft, M., Attux, R., and Suyama, R. (2013). Chaotic 149–158. Springer. doi:10.1007/978-3-642-31353-0 11. Signals in Digital Communications. Electrical engineer- Kuznetsov, N.V., Kuznetsova, O.A., and Leonov, G.A. ing & applied signal processing. CRC Press. (2013b). Visualization of four normal size limit cycles in Ferreres, G. and Biannic, J. (2007). Convex design of a two-dimensional polynomial quadratic system. Differ- robust antiwindup controller for an LFT model. IEEE ential equations and dynamical systems, 21(1-2), 29–34. Trans. Automat. Contr., 52(11), 2173–2177. doi:10.1007/s12591-012-0118-6. Feudel, U. (2008). Complex dynamics in multistable sys- Kuznetsov, N.V., Kuznetsova, O.A., Leonov, G.A., tems. International Journal of Bifurcation and Chaos, and Vagaytsev, V.I. (2011a). Hidden attractor in 18(6), 1607–1626. Chua’s circuits. ICINCO 2011 - Proceedings of the Fujii, K. (1977). Complexity-stability relationship of 8th International Conference on Informatics in Con- two-prey-one-predator species system model; local and trol, Automation and Robotics, 1, 279–283. doi: global stability. Journal of Theoretical Biology, 69(4), 10.5220/0003530702790283. 613–623. Kuznetsov, N.V. and Leonov, G.A. (2001). Counterex- Galias, Z. and Tucker, W. (2013). Numerical study of ample of Perron in the discrete case. Izv. RAEN, Diff. coexisting attractors for the hnon map. International Uravn., 5, 71. Journal of Bifurcation and Chaos, 23(7). Kuznetsov, N.V. and Leonov, G.A. (2005). On stability Gil, M. (2005). Explicit Stability Conditions for Continu- by the first approximation for discrete systems. In ous Systems: A Functional Analytic Approach. Lecture 2005 International Conference on Physics and Control, Notes in Control and Information Sciences. Springer. PhysCon 2005, volume Proceedings Volume 2005, 596– Grabowski, P. (2011). Absolute stability criteria for in- 599. IEEE. doi:10.1109/PHYCON.2005.1514053. finite dimensional discrete lur’e systems with applica- Kuznetsov, N.V. and Leonov, G.A. (2008). Lyapunov tion to loaded distortionless electric RLCG-transmission quantities, limit cycles and strange behavior of trajec- line. In Journal of Difference Equations and Applica- tories in two-dimensional quadratic systems. Journal of tions. doi:10.1080/10236198.2011.639366. Vibroengineering, 10(4), 460–467. Graham, R. and Tl, T. (1986). Nonequilibrium potential Kuznetsov, N.V., Leonov, G.A., and Seledzhi, for coexisting attractors. Physical Review A, 33(2), S.M. (2011b). Hidden oscillations in nonlinear 1322–1337. control systems. IFAC Proceedings Volumes Gubar’, N.A. (1961). Investigation of a piecewise linear (IFAC-PapersOnline), 18(1), 2506–2510. doi: dynamical system with three parameters. J. Appl. Math. 10.3182/20110828-6-IT-1002.03316. Mech., 25(6), 1011–1023. Kuznetsov, N.V., Leonov, G.A., and Vagaitsev, V.I. Haddad, W. and Chellaboina, V. (2011). Nonlinear Dy- (2010). Analytical-numerical method for attractor lo- namical Systems and Control: A Lyapunov-Based Ap- calization of generalized Chua’s system. IFAC Proceed- proach. Princeton University Press. ings Volumes (IFAC-PapersOnline), 4(1), 29–33. doi: Jafari, S. and Sprott, J. (2013). Simple chaotic flows with 10.3182/20100826-3-TR-4016.00009. a line equilibrium. Chaos, Solitons and Fractals, 57(0), Kuznetsov, N.V., Mokaev, T.N., and Vasilyev, P.A. (2014). 79 – 84. Numerical justification of Leonov conjecture on Lya- Kalman, R.E. (1957). Physical and mathematical mecha- punov dimension of Rossler attractor. Commun Non- nisms of instability in nonlinear automatic control sys- linear Sci Numer Simulat, 19, 1027–1034. tems. Transactions of ASME, 79(3), 553–566. Kuznetsov, N.V., Vagaytsev, V.I., Leonov, G.A., and Kapitaniak, T. (1992). Chaotic Oscillators: Theory and Seledzhi, S.M. (2011c). Localization of hidden attractors Applications. World Scientific. in smooth Chua’s systems. International Conference on Kapranov, M. (1956). Locking band for phase-locked loop. Applied and Computational Mathematics, 26–33. Radiofizika [in Russian], 2(12), 37–52. Lao, S.K., Shekofteh, Y., Jafari, S., and Sprott, J. (2014). Kaszkurewicz, E. and Bhaya, A. (2000). Matrix Diagonal Cost function based on gaussian mixture model for Stability in Systems and Computation. Springer. parameter estimation of a chaotic circuit with a hidden Kiseleva, M.A., Kuznetsov, N.V., Leonov, G.A., and Neit- attractor. International Journal of Bifurcation and taanm¨aki,P. (2012). Drilling systems failures and hid- Chaos, 24(1). den oscillations. In IEEE 4th International Conference Lauvdal, T., Murray, R., and Fossen, T. (1997). Stabiliza- on Nonlinear Science and Complexity, NSC 2012 - Pro- tion of integrator chains in the presence of magnitude ceedings, 109–112. doi:10.1109/NSC.2012.6304736. and rate saturations: a gain scheduling approach. In Kiseleva, M.A., Kuznetsov, N.V., Leonov, G.A., and Neit- Proc. IEEE Control and Decision Conference, volume 4, taanm¨aki,P. (2014). Discontinuity and Complexity in 4404–4005. Nonlinear Physical Systems, volume 6, chapter Drilling Leigh, J. (2004). Control Theory. IET. systems: stability and hidden oscillations. Springer. doi: Leonov, G.A. (2008). Strange attractors and classi- 10.1007/978-3-319-01411-1 15. cal stability theory. St.Petersburg University Press, St.Petersburg.

5452 19th IFAC World Congress Cape Town, South Africa. August 24-29, 2014

Leonov, G.A. (2010). Effective methods for periodic calculations, proofs, and experiments. Vestnik St. Pe- oscillations search in dynamical systems. App. math. tersburg University. Mathematics, 41(3), 216–250. doi: & mech., 74(1), 24–50. 10.3103/S1063454108030047. Leonov, G.A., Andrievskii, B.R., Kuznetsov, N.V., and Leonov, G.A., Kuznetsov, N.V., and Kudryashova, Pogromskii, A.Y. (2012a). Aircraft control with anti- E.V. (2011a). A direct method for calculat- windup compensation. Differential equations, 48(13), ing Lyapunov quantities of two-dimensional dynam- 1700–1720. doi:10.1134/S001226611213. ical systems. Proceedings of the Steklov Institute Leonov, G.A., Bragin, V.O., and Kuznetsov, N.V. (2010a). of Mathematics, 272 (Suppl. 1), S119–S127. doi: Algorithm for constructing counterexamples to the 10.1134/S008154381102009X. Kalman problem. Doklady Mathematics, 82(1), 540–542. Leonov, G.A., Kuznetsov, N.V., Kuznetsova, O.A., doi:10.1134/S1064562410040101. Seledzhi, S.M., and Vagaitsev, V.I. (2011b). Hidden os- Leonov, G.A., Bragin, V.O., and Kuznetsov, N.V. (2010b). cillations in dynamical systems. Transaction on Systems On problems of Aizerman and Kalman. Vestnik St. Pe- and Control, 6(2), 54–67. tersburg University. Mathematics, 43(3), 148–162. doi: Leonov, G.A., Kuznetsov, N.V., and Vagaitsev, V.I. 10.3103/S1063454110030052. (2011c). Localization of hidden Chua’s attrac- Leonov, G.A. and Kuznetsov, N.V. (2007a). Computation tors. Physics Letters A, 375(23), 2230–2233. doi: of the first lyapunov quantity for the second-order 10.1016/j.physleta.2011.04.037. dynamical system. IFAC Proceedings Volumes (IFAC- Leonov, G.A., Kuznetsov, N.V., and Vagaitsev, V.I. PapersOnline), 3, 87–89. doi:10.3182/20070829-3-RU- (2012b). Hidden attractor in smooth Chua systems. 4912.00014. Physica D: Nonlinear Phenomena, 241(18), 1482–1486. Leonov, G.A. and Kuznetsov, N.V. (2007b). Time-varying doi:10.1016/j.physd.2012.05.016. linearization and the Perron effects. International Jour- Leonov, G.A., Vagaitsev, V.I., and Kuznetsov, nal of Bifurcation and Chaos, 17(4), 1079–1107. doi: N.V. (2010c). Algorithm for localizing Chua 10.1142/S0218127407017732. attractors based on the harmonic linearization Leonov, G.A. and Kuznetsov, N.V. (2010). Limit cy- method. Doklady Mathematics, 82(1), 693–696. cles of quadratic systems with a perturbed weak fo- doi:10.1134/S1064562410040411. cus of order 3 and a saddle equilibrium at infin- Li, C. and Sprott, J. (2014a). Chaotic flows with a single ity. Doklady Mathematics, 82(2), 693–696. doi: nonquadratic term. Physics Letters, Section A: General, 10.1134/S1064562410050042. Atomic and Solid State Physics, 378(3), 178–183. Leonov, G.A. and Kuznetsov, N.V. (2011a). Algorithms Li, C. and Sprott, J. (2014b). Multistability in a butterfly for searching for hidden oscillations in the Aizerman and flow. International Journal of Bifurcation and Chaos, Kalman problems. Doklady Mathematics, 84(1), 475– 23(12). art. no. 1350199. 481. doi:10.1134/S1064562411040120. Li, J. (2003). Hilberts 16-th problem and bifurcations of Leonov, G.A. and Kuznetsov, N.V. (2011b). Analytical- planar polynomial vector fields. International Journal numerical methods for investigation of hidden oscilla- of Bifurcation and Chaos, 13(1), 47–106. tions in nonlinear control systems. IFAC Proceedings Li, Q., Zeng, H., and Yang, X.S. (2014). On hidden Volumes (IFAC-PapersOnline), 18(1), 2494–2505. doi: twin attractors and bifurcation in the Chua’s circuit. 10.3182/20110828-6-IT-1002.03315. Nonlinear Dynamics. doi:doi 10.1007/s11071-014-1290- Leonov, G.A. and Kuznetsov, N.V. (2012). IWCFTA2012 8. Keynote speech I - Hidden attractors in dynamical sys- Liao, X. and Yu, P. (2008). Absolute Stability of Nonlinear tems: From hidden oscillation in Hilbert-Kolmogorov, Control Systems. Mathematical Modelling: Theory and Aizerman and Kalman problems to hidden chaotic at- Applications, 25. Springer Science. tractor in Chua circuits. In Chaos-Fractals Theories Liu, Y., Wiercigroch, M., Ing, J., and Pavlovskaia, E. and Applications (IWCFTA), 2012 Fifth International (2013). Intermittent control of coexisting attrac- Workshop on, XV–XVII. doi:10.1109/IWCFTA.2012.8. tors. Philosophical Transactions of the Royal Society Leonov, G.A. and Kuznetsov, N.V. (2013a). Advances in A: Mathematical, Physical and Engineering Sciences, Intelligent Systems and Computing, volume 210 AISC, 371(1993). chapter Prediction of hidden oscillations existence in Llibre, J., Ponce, E., and Ros, J. (2011). Algebraic deter- nonlinear dynamical systems: analytics and simulation, mination of limit cycles in a family of three-dimensional 5–13. Springer. doi:10.1007/978-3-319-00542-3 3. piecewise linear differential systems. Nonlinear Analysis, Leonov, G.A. and Kuznetsov, N.V. (2013b). Hidden at- 74, 6712–6727. tractors in dynamical systems. From hidden oscilla- Lorenz, E.N. (1963). Deterministic nonperiodic flow. J. tions in Hilbert-Kolmogorov, Aizerman, and Kalman Atmos. Sci., 20(2), 130–141. problems to hidden chaotic attractors in Chua circuits. Lozano, R. (2000). Dissipative systems analysis and International Journal of Bifurcation and Chaos, 23(1). control: theory and applications. Communications and doi:10.1142/S0218127413300024. art. no. 1330002. control engineering. Springer. Leonov, G.A., Kuznetsov, N.V., Kiseleva, M.A., Solovyeva, Lozi, R. and Ushiki, S. (1993). The theory of confinors E.P., and Zaretskiy, A.M. (2014). Hidden oscillations in in chua’s circuit: accurate anatysis of bifurcations and mathematical model of drilling system actuated by in- attractors. International Journal of Bifurcation and duction motor with a wound rotor. Nonlinear Dynamics. chaos, 3(2), 333–361. doi:10.1007/s11071-014-1292-6. Lu, J. and Chen, G. (2002). A new chaotic attractor Leonov, G.A., Kuznetsov, N.V., and Kudryashova, E.V. coined. Int. J. Bifurcation and Chaos, 12, 1789–1812. (2008). Cycles of two-dimensional systems: Computer

5453 19th IFAC World Congress Cape Town, South Africa. August 24-29, 2014

Lynch, S. (2010). Dynamical Systems with Applications Tricomi, F. (1933). Integrazione di unequazione differen- Using MAPLE. Birkh¨auser. ziale presentatasi in elettrotechnica. Annali della R. Margaliota, M. and Yfoulis, C. (2006). Absolute stability Shcuola Normale Superiore di Pisa, 2(2), 1–20. of third-order systems: A numerical algorithm. Auto- Tuwankotta, J., Adi-Kusumo, F., and Saputra, K. (2013). matica, 42, 1705–1711. A three-dimensional singularly perturbed conservative Markus, L. and Yamabe, H. (1960). Global stability system with symmetry breaking. Journal of Physics A: criteria for differential systems. Osaka Math. J., 12, Mathematical and Theoretical, 46(30), 305101. 305–317. Ueda, Y., Akamatsu, N., and Hayashi, C. (1973). Com- Michel, A., Hou, L., and Liu, D. (2008). Stability of puter simulations and non-periodic oscillations. Trans. Dynamical Systems: Continuous, Discontinuous, and IEICE Japan, 56A(4), 218–255. Discrete Systems. Birkh¨auserBoston. van der Pol, B. (1926). On relaxation-oscillations. Philo- Milnor, J. (2006). Attractor. Scholarpedia, 1(11). doi: sophical Magazine and Journal of Science, 7(2), 978– doi:10.4249/scholarpedia.1815. 1815. 992. Molaie, M., Jafari, S., Sprott, J., and Golpayegani, S. Vidyasagar, M. (2002). Nonlinear Systems Analysis. (2013). Simple chaotic flows with one stable equilibrium. SIAM. International Journal of Bifurcation and Chaos, 23(11). Wang, J., Duan, Z., Yang, Y., and Huang, L. (2009). Nikravesh, S. (2013). Nonlinear Systems Stability Analy- Analysis and Control of Nonlinear Systems with Station- sis: Lyapunov-based Approach. CRC Press. ary Sets: Time-domain and Frequency-domain Methods. Ogorzalek, M. (1997). Chaos and Complexity in Nonlinear World Scientific. Electronic Circuits. Series on Nonlinear Science. World Wang, X. and Chen, G. (2012a). A chaotic system Scientific. with only one stable equilibrium. Communications in Pisarchik, A., Jaimes-Reetegui, R., Villalobos-Salazar, J., Nonlinear Science and Numerical Simulation, 17, 1264– Garcia-Lopez, J., and Boccaletti, S. (2006). Synchro- 1272. nization of chaotic systems with coexisting attractors. Wang, X. and Chen, G. (2012b). Constructing a chaotic Physical Review Letters, 96(24). system with any number of equilibria. Nonlinear Dy- Pisarchik, A.N., F.U. (2014). Control of multistability. namics. doi:DOI 10.1007/s11071-012-0669-7. Physics Reports. doi:10.1016/j.physrep.2014.02.007. Wei, Z. (2011). Dynamical behaviors of a chaotic system Poincar´e,H. (1881). M´emoiresur les courbes d´efiniespar with no equilibria. Physics Letters A, 376, 102–108. les ´equationsdiff´erentielles. Journal de Math´ematiques, Wei, Z. (2012). Complex dynamics of a new chaotic system 37, 375–422. without equilibria. 2012 Fifth International Workshop Rasvan, V. (2004). Unsolved Problems in Mathemati- on Chaos-fractals Theories and Applications, 79–82. cal Systems and Control Theory (Eds.: Blondel V.D., Wei, Z., Moroz, I., and Liu, A. (2014). Degenerate Hopf bi- Megretski A.), chapter Delay independent and delay furcations, hidden attractors and control in the extended dependent Aizerman, 212–220. Princeton University Sprott E system with only one stable equilibrium. Turk- Press. ish Journal of Mathematics. doi:10.3906/mat-1305-64. Rayleigh, J.W.S. (1877). The theory of sound. Macmillan, Wei, Z. and Pehlivan, I. (2012). Chaos, coexisting at- London. tractors, and circuit design of the generalized Sprott C Reichert, R. (1992). Dynamic scheduling of modern robust system with only two stable equilibria. Optoelectronics control autopilot design for missiles. IEEE Control Syst. and advanced materials – rapid communications, 6(7-8), Mag., 12(5), 35–42. 742–745. Reyn, J.W. (1994). A bibliography of the qualitative theory Yang., Q., Wei, Z., and Chen, G. (2010). An unusual 3d of quadratic systems of differential equations in the autonomous quadratic chaotic system with two stable plane. Report 94-02. Delft University of Technology, node-foci. International Journal of Bifurcation and 3rd edition. Chaos, 20(4), 1061–1083. Rossler, O.E. (1976). An equation for continuous chaos. Yang, T. (2004). A survey of chaotic secure communica- Physics Letters A, 57(5), 397–398. tion systems. International Journal of Computational Sprott, J. (1994). Some simple chaotic flows. Physical Cognition, 2(2), 81–130. Review E, 50(2), R647–R650. Zelinka, I., Chadli, M., Davendra, D., Senkerik, R., and Sprott, J. (2014). A dynamical system with a strange Jasek, R. (2013). An investigation on evolutionary attractor and invariant tori. Physics Letters, Section reconstruction of continuous chaotic systems. Mathe- A: General, Atomic and Solid State Physics. doi: matical and Computer Modelling, 57(1–2), 2 – 15. doi: 10.1016/j.physleta.2014.03.028. 10.1016/j.mcm.2011.06.034. Sprott, J., Wang, X., and Chen, G. (2013). Coexistence Zhang, F., Mu, C., Wang, L., Wang, X., and Yao, X. of point, periodic and strange attractors. International (2014). Estimations for ultimate boundary of a new Journal of Bifurcation and Chaos, 23(5). art. no. hyperchaotic system and its simulation. Nonlinear 1350093. Dynamics, 75(3), 529–537. Stoker, J.J. (1950). Nonlinear Vibrations in Mechanical and Electrical Systems. Interscience, N.Y: L. Strogatz, H. (1994). Nonlinear Dynamics and Chaos. With Applications to Physics, Biology, Chemistry, and Engineering. Westview Press. Timoshenko, S. (1928). Vibration Problems in Engineer- ing. Van Nostrand, N.Y.

5454