Journal of Control Science and Engineering
Volume 2018 (2018), Article ID 3298286, 21 pages
https://doi.org/10.1155/2018/3298286

Research Article

Approximate Prediction-Based Control Method for Nonlinear Oscillatory Systems with Applications to Chaotic Systems

Thiago P. Chagas,¹ Pierre-Alexandre Bliman,2,3 and Karl H. Kienitz⁴

¹Universidade Estadual de Santa Cruz (UESC), 45662-900 Ilhéus, BA, Brazil
²Lab. J.-L. Lions UMR CNRS, Inria, UPMC University Paris 06, Sorbonne Universités, 7598 Paris, France
³Fundação Getúlio Vargas, Rio de Janeiro, RJ, Brazil
⁴Instituto Tecnológico de Aeronáutica (ITA), 12228-900 São José dos Campos, SP, Brazil

Correspondence should be addressed to Thiago P. Chagas; thchagas@gmail.com

Received 22 October 2017; Revised 15 December 2017; Accepted 19 December 2017; Published 1 March 2018

Academic Editor: Sundarapandian Vaidyanathan

Copyright © 2018 Thiago P. Chagas et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

The approximate Prediction-Based Control method (aPBC) is the continuous-time version of the well-known Prediction-Based Chaos Control method applied to stabilize periodic orbits of nonlinear dynamical systems. The method is based on estimating future states of the free system response of continuous-time systems using the solution from the Runge-Kutta implicit method in real time. Some aspects of aPBC are evaluated in the present work, particularly its robustness to low future states estimation precision is exemplified.

1. Introduction

Oscillatory systems are typical in many problems of engineering, biological sciences, physics, economy, and other areas [1–7]. In general, oscillations shall be damped in order to reduce amplitude or stopped avoiding damage, reducing costs, increasing precision, and others [1–4]. These oscillations are mainly divided into periodic and aperiodic. Chaotic aperiodic oscillations are related to unpredictability, disorder, and instability while periodic oscillations are associated with order [8, 9].

Chaotic sets are composed of an infinite number of unstable periodic orbits (UPOs) [10, 11] and the stabilization of one of these orbits leads to periodic oscillation, possibly, reducing amplitude. Different chaos control methods have been developed aiming at stabilizing these orbits with low control effort using the main characteristics of chaos [9].

One classical chaos control method is the Delayed Feedback Control (DFC) proposed by Pyragas (1992) [12]. This is a state-feedback method whose control signal is computed through the difference between delayed and current time measured system states. DFC was initially proposed for continuous-time and has many applications on discrete-time systems [13]. Nevertheless, DFC has a well-known limitation proofed for discrete-time systems, the odd-number limitation [14–17], which means that DFC cannot stabilize orbits with an odd number of Floquet multipliers larger than . This limitation is questioned in literature for continuous-time systems with counter example [18–20].

Different modifications on DFC have been proposed to overcome the odd-number limitation [13] and one of the most interesting modifications is the Prediction-Based Control (PBC) [21] developed for discrete-time systems. Instead of the delayed state, it uses the future state one period of the target UPO ahead computed along the trajectories of the free system response as reference for the control signal. Developments of PBC are proposed always for discrete-time systems; for example, in [22] a method is proposed for tuning control gain without previous knowledge about the target period- UPO that leads to fast convergence rate of trajectories to the stabilized periodic orbit; in [23] it is proved that period- UPOs can be stabilized by a pulsed control signal reducing the required control effort for stabilization; and in [24] equilibrium points (or period- UPOs) are stabilized in the presence of multiplicative or additive noise.

The literature provides some results on a PBC-like strategy applied to continuous-time systems. In [25] it is proposed to use the system Jacobian matrix at each point of the trajectory, instead of system future states, for stabilization of equilibrium points. The results showed that this strategy does not lead, necessarily, to stabilization of free system equilibrium points or UPOs and control effort does not vanish in steady state, two main advantages of chaos control proposed by Ott et al. [26]. In [27], the strategy proposed in [25] is incremented using Neural Networks also for stabilization of equilibrium points.

In fact, PBC has a practical limitation for continuous-time systems if it is applied as proposed for discrete-time systems [21], the need of future state values in real time. In [28], we proposed the approximate Prediction-Based Control (aPBC) with a methodology based on the implicit Runge-Kutta method and state estimation applied to predict future states for the free system in real time based on system model. The authors claim that aPBC is the continuous-time applicable version of PBC because it uses prediction and stabilizes free system UPOs, ideally, vanishing steady state control effort. On the contrary, predicting future states has some drawbacks because the proposed future state prediction scheme requires an increase in the closed-loop system order and consequently computational power for numerical integration. Moreover, it is also subjected to prediction model and real system mismatch and integration method precision for application.

Continuing the aPBC development and study, one of the main questions that remained in [28] is about the robustness of the method for low future state estimation precision. The forced van der Pol (vdP) oscillator (nonautonomous) and Rössler system (autonomous) are used in the present work for numerical examples on the aPBC robustness and trade-off between estimation accuracy and computational cost. We present a methodology and performance indexes that aid finding this trade-off and show results evidencing that it is possible to find a lower bound for precision. Besides that, this work presents an UPO of the forced van der Pol oscillator with one of the Floquet multipliers larger than that is stabilized by the aPBC and could not be stabilized by the DFC with constant control gain following the procedures proposed in [18–20]. The optimization procedure proposed in [29] was also applied to the DFC without success. This is evidence that the aPBC maintain the advantage of discrete-time PBC of not being sensitive to the odd-number limitation.

The paper is divided as follows. The aPBC is reviewed in Section 3, generalizing its proposition. In Section 4, aPBC application is presented using orthogonal collocation method [30, 31] as implicit Runge-Kutta method. In Section 5, the forced van der Pol (vdP) oscillator and Rössler system and their chaotic behavior are presented. Both systems are used for numerical examples on the aPBC robustness and trade-off between estimation accuracy and computational cost in Section 6. The example of an UPO of the forced vdP oscillator that could not be stabilized by DFC and is stabilized by aPBC is shown in Section 6.1.4.

2. Problem Statement

Consider the following continuous-time dynamical system:

where ,  ,  ,  , and is a -periodic function with respect to time ; that is, by definition

Moreover, we assume the existence of a -periodic solution to the free system (1), which is the system obtained by setting ,  . In other words,

We assume that this periodic solution is unstable and can be stabilized by the continuous-time version of the PBC with feedback law defined as

where is the control signal, is the control gain, is the value at time of the state of (1) with and ,  . In other words, is the value at time of the state along the trajectory departing from at time of the free system ().

For an appropriate control gain ,   is a stable solution of the closed-loop system

and control signal ideally verifies

The general formulation of the continuous-time PBC method can be written as partial differential equation where the solution of system (5) with control signal (4) is the solution of the PDE (7a) and (7b). Consider

The function is such that and .

Condition (6) ensures zero control effort when the trajectory is on the unstable periodic solution of the free system. However, applying in real systems is based on the exact prediction and real-time computation of future states . Due to these practical constrains, alternatively, we are also interested in stabilizing an orbit close to the UPO of (1) resulting in a low control effort. This task is solved using the aPBC reviewed in the sequel.

3. Principles of the Approximate Prediction-Based Control Method (aPBC)

Computing the future state of the prediction term requires solving the free system ODE at each time , from time to . This cannot be done exactly in real time and its solution is the basis of the aPBC. This task is divided into two steps, the first one consists in approximating the solution of by an implicit Runge-Kutta (R-K) ODE integration method, and the second is expressing the solution of the R-K method as a state observer that can be integrated by any explicit method in real time.

3.1. Approximation of the Prediction Term: 1st Step

The first step consists in approximating the solution of (7b) by an implicit R-K ODE integration method [32], in order to estimate the prediction term, that is, the terminal value,

In order to estimate given by (9), the state transition map of the free system is first approximated by the operator defined by

where and are weights chosen according to the implicit method used [32]. The approximation of ,  , is calculated at the discretization points ,  . shall be chosen accordingly such that the sums in (10a) and (10b) lead to an adequate approximation of the integral in (9) for the given .

For simplicity, (10b) is written in the vector form

where

and is defined by

In order to compute through (10a), it is necessary to solve the algebraic system of (11) with unknown .

Writing

and closing (5) by

yield the differential algebraic equation (DAE)

The real-time solution of the DAE (16a) and (16b) requires the computation of , its algebraic term, at each time . We therefore introduce an observer equation in the sequel, to transform the controlled system into a system of ODEs.

3.2. Approximation of the Prediction Term: 2nd Step

We now approximate (16b) by solving the -dimensional ODE (17) whose solution is an estimation of . The initial value is intended to be (precisely) computed off-line to provide good tracking quality for .

The scalar gain is chosen positive in order that of (17) tends asymptotically towards the solution of (16b) when and typically in such a way that the estimator dynamics are faster than the controlled system dynamics. If the evolution of may indeed be chosen in order to fulfill (17), convergence does occur.

From (17), we obtain

where and is the partial derivative with respect to the th variable. is the identity matrix and is the column vector of dimension with all elements equal to . is the Kronecker product.

By determining from (18) we get

Clearly, solving (19) in order to obtain (17) requires invertibility of the first factor.

We then define ,

From (16a), (16b), (17), and (20) and denoting as the components of , the control law yields the following closed-loop system of ODEs:

The solution of (21) is an approximation of the solution of the PDE given in (7a) and (7b) and therefore only an approximate stabilization of the initial orbit is expected or rather the stabilization to an orbit close to the initial one.

The ODE (21) has two types of state components, corresponding to the controlled system dynamics and to the dynamical state controller. Once stands for a set of unmeasured state variable components, (17) can be interpreted as a state observer. Notice that this estimator introduces dynamical feedback whose state has a dimension equal to the number of points of the R-K method adopted multiplied by the dimension of the initial system to be controlled ().

4. aPBC Application Issues

Two aspects of the aPBC shall be considered for application. One is the choice of an implicit R-K method to solve (10a) and (10b) and the other is the control gain tuning for stabilization. Here, we use the orthogonal collocation method with Lagrange polynomials and a constant control gain computed through the closed-loop monodromy matrix described in the sequel.

4.1. Orthogonal Collocation Method with Lagrange Polynomials

The implicit R-K method given in (10a) and (10b) is a general formulation used for the integration of differential equations whose application depends on the choice of a specific implementation. Herein, using the results in [28], we apply the orthogonal collocation [30–32] as implicit R-K method.

Collocation methods amount to approximate the prediction term by , where is defined on the whole interval by

where ,  , is a column vector. The functions are the Lagrange polynomials

attached to the choice of the points .

The link with the implicit R-K method is as follows.

Theorem 1 (adapted from Theorem in [32]). The collocation method (22) with Lagrange polynomials is equivalent to the -stage implicit Runge-Kutta method (10a) and (10b) with coefficients

It is possible to choose the collocation points in order to fulfill the orthogonality relations:

Note that, for each ,   as (with , the Kronecker delta symbol). A characteristic of the orthogonal collocation method is that each is an approximation of the state that differs from in (10a) and (10b), which are the derivatives.

Equation (21) is obtained applying the substitutions provided by (22) and Theorem 1 with interpolating times obtained by solving (25).

4.2. Closed-Loop Monodromy Matrix

The aPBC was developed for the general control gain of system (21). However, methods to choose the time and state dependent control gain have not yet been studied. Moreover, the control gain is tuned for the PBC method and applied to the aPBC, justified by the precision of the estimation of future states [28]. For simplicity, a constant control gain is applied that depends upon the ability of computing the closed-loop monodromy matrix of . The computation of this matrix requires the integration of the closed-loop system and its variational equation (26) along a trajectory in the vicinity of (linearised dynamics around the periodic orbit) [33, Appendix B]. To integrate this trajectory, the initial condition is chosen close to . Integrating (26) over a period yields the corresponding closed-loop monodromy matrix .

where

is the free system monodromy matrix.

Using (26) and (27), we compute the closed-loop monodromy matrix of given gain . The Floquet multipliers are computed to measure the local stability of the controlled orbit for the chosen .

In practice, we fix , compute the monodromy matrix by integrating (26) with an explicit R-K method, and is computed by integrating the free system over a period at each step of the integration of (26). After that, we obtain the corresponding Floquet multipliers of the closed-loop system.

5. Case Studies

Two continuous-time systems are used as case study for the aPBC—the forced van der Pol oscillator and Rössler system. In this section we provide a brief analysis about them evidencing their chaotic behavior through bifurcation diagrams and chaotic attractors.

5.1. Forced van der Pol Oscillator

The forced van der Pol (vdP) oscillator is described by the nonlinear state space model (28):

where and . In the present work we set and and provide bifurcation diagrams by attractor Poincaré map (Figure 1(a)) and largest nonzero Lyapunov exponent (, Figure 1(b)) for evidencing the route to chaos. Poincaré section is defined as usual for nonautonomous systems using time, and in this case

where is the modulo operation or the remainder of the integer division of by .

(a)

(b)

Figure 1: Bifurcation diagram of forced van der Pol oscillator for and using (a) Poincaré map and (b) largest nonzero Lyapunov exponent.

Form Figure 1 it is possible to note that increasing we have a series of period-doubling bifurcations leading to two chaotic attractors that are merged by a merging crises bifurcation. Lyapunov exponents are computed for each evidencing the bifurcations and chaotic attractors. This work follows [29] and adopts with chaotic attractor in continuous-time and Poincaré map shown in Figure 2.

Figure 2: Forced van der Pol chaotic attractor in continuous-time (CA) and Poincaré map (CA-PM) for , , and .

5.2. Rössler System

The Rössler system is described by the nonlinear state space model

where and . Here, and the route to chaos through period-doubling bifurcations for is presented by attractors Poincaré map (Figure 3(a)) and largest Lyapunov exponent (, Figure 3(b)) bifurcation diagrams. This work follows [34] and adopts with chaotic attractor in continuous-time and Poincaré map shown in Figure 4. Poincaré section is defined for the Rössler system in

(a)

(b)

Figure 3: Bifurcation diagram of Rössler system for using (a) Poincaré map and (b) largest Lyapunov exponent.

Figure 4: Rössler system chaotic attractor in continuous-time (CA) and Poincaré map (CA-PM) for and .

6. Numerical Results

Numerical results are presented providing illustrative examples about the aPBC characteristics. We use the forced van der Pol oscillator as case study to show an UPO that cannot be stabilized by the DFC method due to the odd-number limitation and is stabilized using the aPBC. Using the same dynamical system, the robustness of the aPBC is evaluated for low-precision future states estimation. The aPBC is applied to the autonomous Rössler system and its robustness is also evaluated. For all the cases, the values , , and that characterize the aPBC are tuned prior to application.

6.1. Applying aPBC to the Forced van der Pol Oscillator

In this section, we provide numerical results on the approximated Prediction-Based Control (aPBC) applied to the forced van der Pol (vdP) oscillator according to (32), where is defined in (28).

The state transition map in (4) is approximated by an implicit R-K method using the operator in the ,  , discretization points. The implicit R-K method is solved using estimator (17) resulting in the aPBC (21).

Herein, we apply the aPBC using the orthogonal collocation method (see Section 4.1), obtaining , and estimator (17) that leads to . The control signal of the closed-loop control method (21) applied to system (32) is

with the constant control gain

is defined with the same dimension of the free system, but only the first component of the control signal vector is different from zero. This choice of matrix makes only the first state variable influence on feedback and simplifies its tuning; however, better results can be obtained for a full matrix .

The control signal is designed by approximating the feedback term, leading to the closed-loop system (21). The solution of the latter depends on the choice of three parameters: the control gain , the observer gain , and the number of discretization points for the orthogonal collocation method . The values and are directly related to the estimation quality and these two parameters will be tuned first.

6.1.1. Tuning the aPBC Parameters and

In order to evaluate the future state estimation, whose characteristics are related to the parameters and , we first set . The system is integrated for and the points , , are collected for different values of and . One then assesses the convergence by comparison with the solution obtained with and , by computing

The superscript on indicates the value of and used in the estimation and the subscript refers to the state variable of the -dimensional vector .

Figure 5(a) shows for different values of using initial condition ,  , and state variable . Note that the collocation parameters and are previously computed for each tested. The computation of for large requires intense off-line computational burden and reduces the number of values tested. These values are computed once for all and are independent of . The values of lead to integration instability and are not computed.

(a)

(b)

Figure 5: Relative error of the free system response estimated future value using different (a) and (b) for the forced vdP oscillator.

Repeating the same process, we evaluate for different values of ; see Figure 5(b). Increasing and results in larger computation effort and trade-off between estimation quality and computation effort should be considered.

Due to the error level shown in Figure 5 for and , we adopt these values in the sequel. Figure 6 shows and (beware of the time shift here). In this case, it is expected that and the proximity of both time-series in Figure 6 allows the use of instead of . Once the computational cost of the aPBC comes from processing the set of ODEs used for prediction with reasonable error tolerance, is also a reference for a good trade-off between future state estimation and computation cost.

Figure 6: Current time and shifted future time trajectories of the forced vdP oscillator for , , and .

6.1.2. Target Unstable Periodic Orbits

Two UPOs are chosen as target UPO (TUPO) to be stabilized by the aPBC. TUPO1 was used in [29] for the application of an optimal DFC and in [28] for comparison between aPBC and optimal DFC. Herein, it is used to exemplify the effect of low-precision future state estimation through a small number of collocation points . TUPO2 is used to exemplify aPBC stabilizing an orbit subjected to the odd-number limitation when applying DFC.

Figure 7 shows the state space of the target periodic orbits, in continuous-time (line) and Poincaré map (), embedded in the chaotic attractor. One point of the orbits with adequate precision for open-loop simulations and their Floquet multipliers are presented in Table 1. Period- (where period- means one cycle of the forced term or a one-point Poincaré map for the nonautonomous system) orbits of the forced van der Pol oscillator with leads to .

Table 1: Floquet multipliers and one Poincaré map point for of the two target periodic orbits of the vdP oscillator.

TUPO1
TUPO2

−1.872    −0.048

(a)

(b)

Figure 7: Target UPOs (TUPO1 and TUPO2) embedded in the chaotic attractor (CA) of the forced vdP oscillator. The points for the target UPOs and the chaotic attractor in the Poincaré map (PM) are represented by asterisk and gray bullet, respectively.

6.1.3. Stabilizing TUPO1 through aPBC for Low-Precision Future State Estimation

In Section 6.1.1, the values of and that result in a good estimation of future states according to value have been obtained. Results for these and and a comparison with DFC are shown in [28]. In the present section, the aPBC is applied to stabilize TUPO1 using exemplifying the robustness of the method to the use of low-precision future state estimates, aiming at possible experimental applications.

Before applying aPBC to TUPO1, a control gain that leads to closed-loop stabilization shall be found.

Tuning of . We use (26), with , to obtain a value that stabilizes the orbit of (7a) and (7b). Note that, once the estimation with and is precise, a stabilizing for (7a) and (7b) yields stability for a slightly perturbed cycle of (32) with the control signal (33) [28].

Figure 8 shows the magnitude of the two Floquet multipliers for different values of . Stability is achieved when . We choose , which results in . All the Floquet multipliers in this case are real numbers.

Figure 8: Magnitude of the two Floquet multipliers for different values of for the TUPO1 controlled by the aPBC.

Applying the aPBC for a Low . Figure 5(a) shows an increase of when decreasing for . This value refers to the free system and now we are then interested in characteristics of the closed-loop system, particularly the value of steady state error and control effort as a function of .

Steady state error index is the distance (Euclidean norm) between predicted state and current state for an entire cycle in the close vicinity of target UPO. Steady state control effort index is the measure of total external signal (norm-) necessary to keep the trajectory in close vicinity around one cycle of the target periodic orbit.

Figure 9(a) shows when stabilizing the TUPO1 by applying the aPBC for different values of with and . Figure 9(b) shows the same for .

(a)

(b)

Figure 9: Indexes (a) and (b) when applying aPBC to TUPO1 for different with and . Bottom dashed line are the values of (a) and (b) computed with and used as reference.

It can be observed in Figure 9 that even for a reduction in the number of collocation points, stability of (an orbit close to) TUPO1 is achieved for . TUPO1 stabilized with the aPBC for and and are shown in Figures 10 and 11, respectively. Figures 10(e) and 11(e) show the initial value for the predicted states , , and . It is observed that is relatively close to .

(a)

(b)

(c)

(d)

(e)

Figure 10: aPBC applied with , , and . (a) Trajectory in state space; (b) time-series of the control signal; ((c) and (d)) time-series of the actual and predicted state variables; (e) time-series of and the initial value of the predicted states .

(a)

(b)

(c)

(d)

(e)

Figure 11: aPBC applied with , , and . (a) Trajectory in state space; (b) time-series of the control signal; ((c) and (d)) time-series of the actual and predicted state variables; (e) time-series of and the initial value of the predicted states .

The high values observed in Figure 9 for are explained in Figure 12. It exemplifies a situation wherein a stable orbit different from TUPO1 is achieved due to the reduced . High amplitude periodic control signal in Figure 12(b) indicates that this stabilized orbit is not an orbit of the original free system. Figure 12(e) shows that leads to almost unrelated to and consequently is a high amplitude control signal. According to Figure 12(a), a trajectory with initial condition on TUPO1 (Poincaré point) diverges from it showing that it is not stable in this case.

(a)

(b)

(c)

(d)

(e)

Figure 12: aPBC applied with , , and . (a) Trajectory in state space; (b) time-series of the control signal; ((c) and (d)) time-series of the actual and predicted state variables; (e) time-series of and the initial value of the predicted states .

It is noticed from the time-series of trajectories in Figures 10(c), 10(d), 11(c), and 11(d) that in certain torsions of the trajectory of the system controlled by the aPBC there is an oscillation on . This oscillation is generated because small leads to instability on the predicted state and it reflects in time-series of control signals in Figures 10(b) and 11(b) and on the values of and in Figure 9.

Another consequence on reducing is the loss of stability of , exemplified in Figure 13 and occurring even after changing the error tolerances of the explicit R-K integrator (the simulations present in this work were performed using the MATLAB® integration routine ode45 and, in this specific case, the routines ode113 and ode15s were also tried, all of them resulting in interruption of the numerical integration). One of the reasons for this loss of stability is that is the parameter that rules the implicit R-K integration error and Figure 13(d) shows that slightly diverges from at time and, contrasting to example of Figure 12, the trajectories of the new system do not converge to a stable periodic orbit.

(a)

(b)

(c)

(d)

Figure 13: Time-series of a trajectory when applying the aPBC with and (a) and ; (b) and ; (c) and ; (d) time-series of and the initial value of the predicted states .

6.1.4. Stabilizing TUPO2 through aPBC: An Odd-Number Limitation Example

One of the main purposes when developing PBC for discrete-time systems is the odd-number limitation subjected by the DFC [14, 21]. Herein, we show a case where the continuous-time DFC with a constant control gain is subjected to the odd-number limitation and aPBC is not. TUPO2 has an odd number of real Floquet multipliers larger than (see Table 1) and is used for a numerical example.

Applying the DFC. The DFC with control signal

, is applied to system (32) with the goal of stabilizing TUPO2. The procedure of finding for DFC follows [29].

A scalar control gain is used with defined in (34) resulting in the root locus chart of Figure 14. This chart contains the free system orbit Floquet multipliers marked with : in black solid line, the fourth largest magnitude (the closed-loop system is infinite-dimensional when applying DFC; see [29] for details) closed-loop Floquet multipliers of the orbit for positive and, in dark gray, the largest closed-loop Floquet Multiplier of the orbit for negative . Arrows indicate increasing . It is possible to conclude that for any there is a Floquet multiplier with magnitude larger than and the orbit is not stabilizable. In addition, all the Floquet multipliers of the orbit tend to when increasing DFC positive scalar gain . The same chart was done for the other three possible scalars with equivalent (omitted) results.

Figure 14: Root locus chart for the Floquet multipliers of the TUPO2 using the DFC. In black, the four largest magnitude Floquet multipliers for positive control gain . In dark gray, the largest magnitude Floquet multiplier for negative control gain . The Floquet multipliers of the free system orbit are represented by () and the unit circle by dashed line in black.

Following [29], a matrix gain was tried with values obtained by an optimization process using the MATLAB routines fminsearch and fmincon [35–38]. This optimization aims at finding a minimum for the largest magnitude Floquet multiplier through changing matrix . A scan process varying all the values of the matrix gain was also tried. The final trial used a matrix gain composed of a rotational matrix (formed by sines and cosines) multiplied by a real scalar gain equivalent to the gain used in [18–20], varying both the rotation angle and the gain. After performing the three methodologies, a matrix control gain that stabilizes TUPO2 was not found.

Applying aPBC and Stabilizing TUPO2. Figure 15 shows the magnitude of the Floquet multipliers as a function of the control gain for the TUPO2 by applying the aPBC. It was noticed that the aPBC stabilizes orbits with an odd number of real Floquet multipliers larger than . One detail is relevant here; the stabilization is achieved only for negative values of the gain and positive values of make the largest magnitude Floquet multiplier increase.

Figure 15: Magnitude of the Floquet multipliers for different values of for the TUPO2 controlled by the aPBC.

TUPO2 stabilized by the aPBC with and initial condition is shown in state space in Figure 16(a). Time-series of the control signal is presented in Figure 16(b) with as indicating stabilization.

(a)

(b)

Figure 16: TUPO2 of forced vdP oscillator stabilized using aPBC with and . (a) State space trajectory and (b) time-series of the control effort.

6.2. Applying aPBC to the Rössler System

In this section, we provide numerical results on approximated Prediction-Based Control (aPBC) for the Rössler system using control scheme (21) applied to system (30) according to (32). The goals are (i) to show that the method is applicable to autonomous systems without any modification and (ii) to compare the effect of different numbers of collocation points on stabilization.

aPBC is applied following the same procedure shown in Section 6.1 with control signal defined in (33). Herein, we use the constant control gain

This choice of matrix makes only the third state variable influence on feedback and simplifies its tuning.

6.2.1. Tuning the aPBC Parameters and

The procedure shown in Section 6.1.1 is repeated here to characterize the performance of the estimator for different values of the parameters and for . We used initial condition to compute in (35). The results are shown in Figure 17 for different values of (a) with () and (b) with ().

(a)

(b)

Figure 17: Relative error of the free system response estimated future value using different (a) and (b) for the Rössler system.

In this case values lead to numerical integration instability, except when , and are not computed. Herein we notice that less collocation points are necessary to obtain estimation quality equivalent to the one obtained for the vdP oscillator (see Figure 5). It can be seen that for the vdP there is , while for the Rössler system there is . Values for large of the chosen trajectory of the Rössler system also stabilize to a value much smaller than for the vdP oscillator.

Figure 18 shows and (beware of the time shift here) for the Rössler system, which can be compared with Figure 6. Notice that (the period of the TUPO4) for the Rössler system while for vdP oscillator, but the reduction on is much more related to the behavior of the trajectories than the period itself, because collocation points are computed for a normalized time between and .

Figure 18: Current time and shifted future time trajectories of the Rössler system for , , and .

6.2.2. Target Unstable Periodic Orbit

Asenjo et al. [34] present one UPO of the chaotic attractor for and . We apply the Newton-Raphson method with Poincaré section (31) to refine the position and period of the orbit and call it TUPO4 (Figure 19). One point of TUPO4 and its period with adequate precision for open-loop simulations and Floquet multipliers are presented in Table 2.

Table 2: Poincaré map point , period , and Floquet multipliers of a periodic orbit (TUPO4) of the Rössler system.

TUPO4

5.8439698764

Figure 19: TUPO4 of Rössler system in continuous-time (line) and Poincaré map point () for and .

6.2.3. Stabilizing TUPO4 through aPBC

This section is dedicated to the stabilization of TUPO4 using aPBC for different values . From Figure 17, values and are indicated for an accurate estimation of future states and aPBC will be initially applied for these values. Results for low are also presented, evidencing the robustness of the controller for low-precision future states estimation in autonomous systems.

The control gain of (38) shall be tuned for TUPO4 prior to the application.

Tuning of . Figure 20 shows the magnitude of the three Floquet multipliers for different values of according to the procedure presented in Section 6.1.3. The value is characteristic of autonomous system trajectories and stability is achieved when, for the other Floquet multipliers, . Choosing results in (and ). All Floquet multipliers in this case are real numbers.

Figure 20: Magnitude of the Floquet multipliers for different values of for the TUPO4 controlled by the aPBC.

Applying the aPBC for Different Values of . In this section, we evaluate the characteristics of aPBC for different values applied to the stabilization of TUPO4. Herein, we use ,  , and .

Figure 17(a) shows an increase of observed when decreasing for . Figure 21 shows and for different values of with and . Values of were not computed because of instability, the same as observed in Section 6.1.3.

(a)

(b)

Figure 21: Indexes (a) and (b) when applying aPBC to TUPO4 for different with and . The bottom dashed lines are the values of (a) and (b) computed with and used as reference.

Herein, we observe that leads to a precise estimation once there is a convergence of to the value computed using and (dashed line). Comparing Figure 21 with Figure 9, a great reduction on and is observed for the control method applied to the Rössler system, which is in accordance with what was observed for . In fact, between and leads to a value of equivalent to the value obtained for for the vdP oscillator. Considering , this reduction is more significant, with leading to a value of close to the value obtained for for the vdP. This result is important for practical aspects because it shows that, for certain systems, the augmented state of the closed-loop system controlled with the aPBC can be reduced significantly (in comparison with the initial results shown for the vdP oscillator).

Figure 21 shows that stability of TUPO4 is achieved for . The TUPO4 stabilized by the aPBC for , , and is shown in Figures 22, 23, and 24, respectively, using . Deviation of from is observed in Figure 24(d), which reflects the numerical integration instabilities for . We verify that stabilization is not achieved for , which leads to the high values of and observed in Figure 21.

(a)

(b)

(c)

(d)

(e)

(f)

Figure 22: aPBC applied to the Rössler system with , , and . (a) Trajectory in state space; (b) time-series of the control signal; ((c), (d), and (e)) time-series of the actual and predicted state variables; (f) time-series of and the initial value of the predicted states .

(a)

(b)

(c)

(d)

(e)

(f)

Figure 23: aPBC applied to the Rössler system with , , and . (a) Trajectory in state space; (b) time-series of the control signal; ((c), (d), and (e)) time-series of the actual and predicted state variables; (f) time-series of and the initial value of the predicted states .

(a)

(b)

(c)

(d)

(e)

(f)

Figure 24: aPBC applied to the Rössler system with , , and . (a) Trajectory in state space; (b) time-series of the control signal; ((c), (d), and (e)) time-series of the actual and predicted state variables; (f) time-series of and the initial value of the predicted states .

7. Conclusions

Approximate Prediction-Based Control (aPBC), which is the continuous-time version of Prediction-Based Control (PBC), was reviewed in this work and some of its characteristics were analyzed through numerical simulations. It was shown that continuous-time application of PBC requires future state values and aPBC is based on a methodology for estimating them in real-time.

The main drawback in aPBC is that estimation of future states requires extending the order of the closed-loop system by the number of implicit Runge-Kutta solution points, herein the orthogonal collocation points, times the number of state variables. Applications require real-time explicit integration of these extended equations and reducing them implies reducing the computational cost while reducing estimation precision. Both exemplified cases have shown that there is a lower bound on the number of collocation points to achieve stability, to both target UPO and numerical integration. While comparing examples, it was noticed that the number of collocation points depends upon the trajectory torsions in state space. Future studies should be carried out in order to reduce the number of implicit Runge-Kutta solution points through different orthogonal polynomials or different implementation methods.

Another interesting example is an UPO of a continuous-time system that could not be stabilized by DFC with constant control gain because of the odd-number limitation. The same orbit is stabilized by aPBC with a negative scalar constant gain without any modification on the method. Then, the main justification for the application of PBC in comparison to DFC in discrete-time is also valid for continuous-time.

The method proposed for estimation of open-loop future states of nonlinear systems applied to aPBC may be generalized for other applications. As example, model-based predictive control [39] applied to nonlinear systems requires open-loop future state values to optimize control gain at each time step and this routine may be fastened by using the proposed scheme.

Conflicts of Interest

The authors declare that they have no conflicts of interest regarding the publication of this paper.

Acknowledgments

This project has been funded by CAPES-COFECUB (Project Ma 624/09), FAPESP (grant 2011/17610-0), and Université Paris-Sud, Orsay.

References

A. Mesquita, E. L. Rempel, and K. H. Kienitz, “Bifurcation analysis of attitude control systems with switching-constrained actuators,” Nonlinear Dynamics, vol. 51, no. 1-2, pp. 207–216, 2008.

Y. C. Fung, An Introduction to the Theory of Aeroelasticity, Dover Publications, 2002.

V. P. Zhuravlev and D. M. Klimov, “Theory of the shimmy phenomenon,” Mechanics of Solids, vol. 45, no. 3, pp. 324–330, 2010.

L. F. R. Turci, E. E. N. Macau, and T. Yoneyama, “Efficient chaotic based satellite power supply subsystem,” Chaos, Solitons & Fractals, vol. 42, no. 1, pp. 396–407, 2009.

D. T. Schmitt and P. C. Ivanov, “Fractal scale-invariant and nonlinear properties of cardiac dynamics remain stable with advanced age: a new mechanistic picture of cardiac control in healthy elderly,” American Journal of Physiology-Regulatory, Integrative and Comparative Physiology, vol. 293, no. 5, pp. R1923–R1937, 2007.

G. F. Fussmann, S. P. Ellner, K. W. Shertzer, and J. Hairston N.G., “Crossing the hopf bifurcation in a live predator-prey system,” Science, vol. 290, no. 5495, pp. 1358–1360, 2000.

A. C.-L. Chian, E. L. Rempel, and C. Rogers, “Complex economic dynamics: chaotic saddle, crisis and intermittency,” Chaos, Solitons & Fractals, vol. 29, no. 5, pp. 1194–1218, 2006.

R. L. Devaney, A First Course In Chaotic Dynamical Systems, Avalon Publishing, 1992.

M. A. F. Sanjuán and C. Grebogi, Recent Progress in Controlling Chaos, World Scientific Publishing Company, 2010.

P. Cvitanović, “Invariant measurement of strange sets in terms of cycles,” Physical Review Letters, vol. 61, no. 24, pp. 2729–2732, 1988.

V. Franceschini, C. Giberti, and Z. M. Zheng, “Characterization of the Lorenz attractor by unstable periodic orbits,” Nonlinearity, vol. 6, no. 2, pp. 251–258, 1993.

K. Pyragas, “Continuous control of chaos by self-controlling feedback,” Physics Letters A, vol. 170, no. 6, pp. 421–428, 1992.

K. Pyragas, “Delayed feedback control of chaos,” Philosophical Transactions of the Royal Society A: Mathematical, Physical & Engineering Sciences, vol. 364, no. 1846, pp. 2309–2334, 2006.

T. Ushio, “Limitation of delayed feedback control in nonlinear discrete-time systems,” IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol. 43, no. 9, pp. 815-816, 1996.

S. Yamamoto, T. Hino, and T. Ushio, “Dynamic delayed feedback controllers for chaotic discrete-time systems,” IEEE Transactions on Circuits and Systems I: Fundamental Theory and Applications, vol. 48, no. 6, pp. 785–789, 2001.

S. Yamamoto, T. Hino, and T. Ushio, “Delayed feedback control with a minimal-order observer for stabilization of chaotic discrete-time systems,” International Journal of Bifurcation and Chaos, vol. 12, no. 5, pp. 1047–1055, 2002.

J. Zhu and Y.-P. Tian, “Necessary and sufficient conditions for stabilizability of discrete-time systems via delayed feedback control,” Physics Letters A, vol. 343, no. 1-3, pp. 95–107, 2005.

B. Fiedler, V. Flunkert, M. Georgi, P. Hövel, and E. Schöll, “Refuting the odd-number limitation of time-delayed feedback control,” Physical Review Letters, vol. 98, no. 11, Article ID 114101, 2007.

W. Just, B. Fiedler, M. Georgi, V. Flunkert, P. Hövel, and E. Schöll, “Beyond the odd number limitation: A bifurcation analysis of time-delayed feedback control,” Physical Review E: Statistical, Nonlinear, and Soft Matter Physics, vol. 76, no. 2, Article ID 026210, 2007.

B. Fiedler, V. Flunkert, P. Hövel, and E. Schöll, “Beyond the odd number limitation of time-delayed feedback control of periodic orbits,” The European Physical Journal Special Topics, vol. 191, no. 1, pp. 53–70, 2011.

T. Ushio and S. Yamamoto, “Prediction-based control of chaos,” Physics Letters A, vol. 264, no. 1, pp. 30–35, 1999.

T. P. Chagas, P.-A. Bliman, and K. H. Kienitz, “New feedback laws for stabilization of unstable periodic orbits,” IFAC Proceedings Volumes, vol. 43, no. 14, pp. 1005–1010, 2010.

M. P. F. de Córdoba and E. Liz, “Prediction-based control of chaos and a dynamic Parrondo’s paradox,” Physics Letters A, vol. 377, no. 10-11, pp. 778–782, 2013.

E. Braverman, C. Kelly, and A. Rodkina, “Stabilisation of difference equations with noisy prediction-based control,” Physica D: Nonlinear Phenomena, vol. 326, pp. 21–31, 2016.

A. Boukabou, A. Chebbah, and N. Mansouri, “Predictive control of continuous chaotic systems,” International Journal of Bifurcation and Chaos, vol. 18, no. 2, pp. 587–592, 2008.

E. Ott, C. Grebogi, and J. A. Yorke, “Controlling chaos,” Physical Review Letters, vol. 64, no. 11, pp. 1196–1199, 1990.

M. A. Khelifa and A. Boukabou, “Design of an intelligent prediction-based neural network controller for multi-scroll chaotic systems,” Applied Intelligence, vol. 45, no. 3, pp. 793–807, 2016.

T. P. Chagas, P.-A. Bliman, and K. H. Kienitz, “A new method for stabilizing unstable periodic orbits of continuous-time systems. Application to control of chaos,” in Proceedings of the 51st IEEE Conference on Decision and Control (CDC '12), pp. 2146–2151, Maui, Hawaii, USA, December 2012.

T. P. Chagas, B. A. Toledo, E. L. Rempel, A. C. Chian, and J. A. Valdivia, “Optimal feedback control of the forced van der Pol system,” Chaos, Solitons & Fractals, vol. 45, no. 9-10, pp. 1147–1156, 2012.

B. A. Finlayson, The Method of Weighted Residuals and Variational Principles, with Application in Fluid Mechanics, Heat And Mass Transfer, vol. 87 of Mathematics in Science and Engineering, Academic Press, 1972.

J. Viladsen and M. L. Michelsen, Solution of Differential Equation Models by Polynomial Approximation, Prentice Hall, 1978.

E. Hairer, S. P. Norsett, and G. Wanner, Solving Ordinary Differential Equation I: Nonstiff Problems, Springer-Verlag, 2008.

T. S. Parker and L. O. Chua, Practical Numerical Algorithms for Chaotic Systems, Springer, 1989.

F. Asenjo, B. A. Toledo, V. Muoz, J. Rogan, and J. A. Valdivia, “Optimal control in a noisy system,” Chaos: An Interdisciplinary Journal of Nonlinear Science, vol. 18, no. 3, Article ID 033106, 2008.

S. P. Han, “A globally convergent method for nonlinear programming,” Journal of Optimization Theory and Applications, vol. 22, no. 3, pp. 297–309, 1977.

O. L. Mangasarian, R. R. Meyer, and S. M. Robinson, Nonlinear Programming 3: Proceedings of The Special Interest Group on Mathematical Programming Symposium, vol. 3, Academic Press, 1978.

P. E. Gill, W. Murray, and M. H. Wright, Practical Optimization, Academic Press, 1981.

M. J. Powell, A Fast Algorithm for Nonlinearly Constrained Optimization Calculations, vol. 630 of Lecture Notes in Mathematics, Springer, 1978.

E. F. Camacho and C. B. Alba, Model Predictive Control, Advanced Textbooks in Control and Signal Processing, Springer-Verlag, 2nd edition, 2007.