Abstract

There is an increasing interest in using fractional calculus applied to control theory generalizing classical control strategies as the PID controller and developing new ones with the intention of taking advantage of characteristics supplied by this mathematical tool for the controller definition. In this work, the fractional generalization of the successful and spread control strategy known as model predictive control is applied to drive autonomously a gasoline-propelled vehicle at low speeds. The vehicle is a Citroën C3 Pluriel that was modified to act over the throttle and brake pedals. Its highly nonlinear dynamics are an excellent test bed for applying beneficial characteristics of fractional predictive formulation to compensate unmodeled dynamics and external disturbances.

1. Introduction

Fractional calculus can be defined as a generalization of derivatives and integrals to noninteger orders, allowing calculations such as deriving a function to real or complex order [1, 2]. Although this branch of mathematical analysis began 300 years ago when Liebniz and L’Hôpital discussed the possibility that could be a fraction for th derivative , it was really developed at the beginning of the 19th century by Liouville, Riemann, Letnikov, and other mathematicians [3].

Fractional-order operators are commonly represented by that stands for -th-order derivative. Negative values of correspond to fractional-order integrals: . These operators can be evaluated using two general fractional definitions, Riemann-Liouville (RL) and Grünwald-Letnikov (GL). Both definitions, continuous and discrete, are equivalent for a wide class of functions which appear in real physical and engineering applications [1]. In this work, discrete domain will be exclusively considered. Hence, in the following the GL definition (1) will be used to implement fractional operators: where is the fractional order of the derivative or integral, is the differential increment—close to zero—, and varies from 0 to ∞ due to the infinite memory of fractional operators.

In order to describe the dynamical behaviour of systems, the Laplace transform is often used. Expression (2) gives the Laplace transform of the GL definition under zero initial conditions. Nevertheless, the discretization of (2) does not lead to a transfer function with a limited number of coefficients in [4]. Thus, the so-called short memory principle [1] is applied, which means taking into account the behaviour only in the recent past that corresponds to a -term truncated series, paying a penalty in the form of some inaccuracy [5]: Nowadays, this mathematical tool is more and more used in control theory to enhance the system performance. Typical fractional-order controllers include the CRONE control [6] and the PIλDμ controller [7, 8]. Advanced control system strategies have also been generalized: fractional optimal control [911], fractional fuzzy adaptive control [12], fractional nonlinear control [13], fractional iterative learning control [14], and fractional predictive control, the latter known as fractional-order generalized predictive control (FGPC), which was initially proposed in [15].

Model predictive control (MPC) is an advanced process control methodology in which a dynamical model of the plant is used to predict and optimize the future behaviour of the process over a time interval [1618]. At each present time t, MPC generates a set of future control signals based on the prediction of future process outputs within the time window defined by (minimum costing horizon), (maximum costing horizon), and (control horizon). (With this notation, stands for the value of at time predicted at time t.) However, only the first element of the control sequence is applied to the system input. When the next measurement becomes available (present time equal to ), the previous procedure is repeated to find new predicted future process outputs and calculate the corresponding system input with prediction time windows moving forward; for this reason this kind of control is also known as receding horizon control (RHC). Figure 1 depicts the analogy between predictive control and a car driver who calculates the car manoeuvre following a receding horizon strategy [16].

MPC has become an industrial standard that has been widely adopted during the last 30 years. With over 2000 industrial installations, this control method is currently the most implemented for process plants [19]. It was originally developed to meet the specialized control needs of petroleum refineries [20, 21]. MPC technology can now be found in a wide variety of application areas such as chemicals [22, 23], solar power plants [24], agriculture [25], or clinical anaesthesia supply [26]. Recent developments related to MPC can be found in [27, 28].

Generalized predictive control (GPC) [29, 30] is one of the most representative MPC formulations. Its fractional-order counterpart, FGPC, uses a real-order fractional cost function to combine the characteristics of fractional calculus and predictive control into a versatile control strategy [3133].

On the other hand, driver-assistance systems have been a topic of active research during the last decades. They are intended to reduce traffic accidents and traffic congestions [3437]. Open-loop cruise control (CC) systems are a well-known class of driver-assistance systems, based on controlling the throttle pedal, that reduces driver workload and improve vehicle safety [38].

Nowadays, the tedious task of driving in traffic jams represents an unresolved issue in the automotive sector [39] because commercial vehicles exhibit highly nonlinear dynamics due to the behaviour of the vehicle engine at very low speed. Therefore, it constitutes one of the most important control challenges of the automotive sector [40]. Recently, approaches to resolve this problem have been studied both using experimental scaled-down vehicles [41] and using commercial vehicles [42, 43].

In this paper, an application of FGPC to the velocity control of a mass-produced car at very low speeds is described. The goal is to highlight the beneficial characteristics of FGPC to compensate unmodeled dynamics and external disturbances using the proposed tuning method. These characteristics were shown up in [32], where the lateral control of an autonomous vehicle is carried out by FGPC in the presence of sensor noise and the effect of the communication network.

The remainder of this paper is organized as follows: Section 2 summarizes the fundamentals of fractional predictive control methodology. Section 3 includes the description of the experimental vehicle, presents the design and tuning of the fractional predictive control, and shows the results of the experimental trial, including a comparison with integer-order GPC controllers. Finally, Section 4 draws the main conclusions of this work.

2. Controller Formulation

The GPC control law is obtained by minimizing, possibly subject to a set of constraints, the cost function: where is the reference, is the output, is the control signal, and are nonnegative weighting elements, is the increment operator, and it is assumed that remains constant from time instant [29, 30]. For the sake of simplicity in the notation is omitted, since all expressions are referred to the present time .

Outputs are predicted making use of a CARIMA model to describe the system dynamics: where and are the numerator and denominator of the model transfer function, respectively, represents uncorrelated zero-mean white noise, and is a (pre)filter to improve the system robustness rejecting disturbance and noise [44, 45].

Using model (4), the future system outputs are predicted as , where —forced response—is the part of the future output that depends on the future control actions (with , and the matrix of the step response coefficients of the model), and —free response—is the part of the future output that does not depend on (i.e., the evolution of the process exclusively due to its present state) [29].

When no constraints are defined, the minimization of (3) leads to a linear time invariant (LTI) control law that can be precomputed in advance.

FGPC generalizes the GPC cost function (3) making use of the so-called fractional-order definite integration operator [15, 46, 47] (see the appendix): where is the error. This cost function has been discretized with sampling period and evaluated using .

The FGPC cost function has an equivalent matrix form: where and are infinite-dimensional square real weighting matrices which depend, by construction, on and , respectively: with , , , and , for all ; with , , , and , for all .

In absence of constraints, the minimization of this cost function leads to a LTI control law similar to the one of GPC whose equivalent closed-loop schema is shown in Figure 2. See [46, 48] and the references therein for details.

and are the controller polynomials obtained from the model polynomials and , and the controller parameters , , , and , and stand for disturbance. From schema, it is easy to obtain The value of polynomials and is obtained using the expressions (10). Φ and are two polynomials obtained from the resolution of two Diophantine equations. See [1618] for more details: In GPC the weighting sequences and are controller parameters defined by the user. However, in FGPC these sequences are obtained from the optimization process itself and depend on the fractional integration orders (7) and (8) as well as the controller horizons.

Tuning GPC and FGPC means setting the horizon parameters (, , ) together with the weighting sequences and for GPC, and and for FGPC, respectively. This task is critical because closed-loop stability depends on this choice. In GPC some thumb rules are usually accepted [29]. In FGPC, these thumb rules are also adequate for choosing the horizons [15, 46].

A FGPC-tuning method was proposed in [49]. Based on optimization, the objective is the system to fulfil phase margin, sensitivity functions, and some other robustness specifications. (This tuning method has already been used to tune fractional-order PIλDμ controllers successfully [5052].) In order to keep the dimension of the optimization problem low, it is assumed that the horizon parameters (, , ) are given (for instance, following the thumb-rules previously announced), and only the two unknown parameters, the fractional orders α and β, are used in the optimization process. Thus, the function FMINCON of the MATLAB optimization toolbox [53] can be used to solve the corresponding optimization problem.

3. Experimental Application

In this section, we present a practical application of FGPC. We describe its design, tuning, and practical performance on the longitudinal speed control of a commercial vehicle.

3.1. Experimental Vehicle

The vehicle used for the experimental phase is a convertible Citroën C3 Pluriel (Figure 3) which is equipped with automatic driving capabilities by means of hardware modifications to permit autonomous actions on the accelerator and brake pedals. These modifications let the controller’s outputs steer the vehicle’s actuators.

The car’s throttle is handled by an analog signal that represents the pressure on the pedal, generated by an analog card. The action over the throttle pedal is transformed into two analogue values—one of them twice the other—between 0 and 5 V. A switch has been installed on the dashboard to commute between automatic throttle control and original throttle circuit.

The brake’s automation has been done taking into account that its action is critical. In case of a failure of any of the autonomous systems, the vehicle can be stopped by human driver intervention. So an electrohydraulic braking system is mounted in parallel with the original one, permitting to coexist the two braking system independently. More details about throttle and brake automation can be found in [54, 55].

Concerning the on-board sensor systems, a real-time kinematic-differential global positioning system (RTK-DGPS) that gives vehicle position with a 1 centimeter precision and an inertial unit (IMU) to improve the positioning when GPS signal fails are used to obtain the vehicle’s true position. The car’s actual speed and acceleration are obtained from a differential hall effect sensor and a piezoelectric sensor, respectively. These values are acquired via controller area network bus (CAN) and provide the necessary information to the control algorithm, which is running in real-time in the on-board control unit (OCU), generating the control actions to govern the actuators.

For the purpose of this work, the gearbox is always in first gear forcing the car to move at low speed. The sampling interval was fixed by the parameters of GPS at 200 ms. Therefore, the frequency of actions on the pedals is set to 5 Hz. Using these settings, the OCU can approximately perform an action every metre at a maximum speed of 20 km/h.

3.2. Identification of the Longitudinal Dynamics

Due to the gasoline-propelled vehicle dynamics at very low speeds are highly nonlinear, and finding an exact dynamical model for the vehicle is not an easy task. Nevertheless, as we have seen previously, fractional predictive controller needs a CARIMA model of the plant to make the predictions. Therefore, an identification process has to be carried out despite inevitable uncertainties and circuit perturbations.

Since the vehicle always remains in first gear, restricting its speed at less than 20 km/h and acting a high engine brake force, the identification process is only fulfilled for the throttle pedal. Taking the brake pedal effect into account leads us to a hybrid control strategy that is not the purpose of this paper.

The experimental vehicle response is shown in Figure 4 (solid line), where the vehicle has been subjected to several speed changes by means of successive throttle pedal actuations. (In Figure 4, the action of the brake pedal is also depicted but is not taken into consideration in the identification process; it has been used for the purpose of returning to the initial speed, 0 km/h.)

The model of the vehicle is obtained by means of an identification process using the MATLAB Identification Toolbox [56], considering a normalized input—in the interval (0, 1)—for the throttle pedal and the sampling time of GPS fixed at 200 ms: The time-domain model validation is depicted in Figure 4. It is observable that model (11) captures the vehicle dynamics reasonably good (dash line) in comparison with the experimental data (solid line), despite environment and circuit perturbations.

3.3. Controller Design

This section describes the controller design for the longitudinal speed control of the vehicle described previously. Transfer function (11) constitutes the starting point in the controller tuning, where beneficial characteristics of fractional predictive formulation will be used to compensate unmodeled dynamics and external disturbances.

Other practical requirements have to be taken into account during the design process. The car response has to be smooth to guarantee that its acceleration is less than ±2 m/s2, the maximum acceptable acceleration for standing passengers [57]. Control action is normalized and has to be in the interval , where negative values are not allowed as they mean brake actions.

Firstly, the horizons are chosen to capture the loop dominant dynamics. We have taken a time window of 2 seconds ahead defined by and , which is appropriated in a heavy traffic scene (low speed). A wider time window supposes an increment of that would lead to a system with an excessively slow response. On the other hand, we have also considered the control horizon , which represents an agreement between system response speed and comfort of the vehicle’s occupants. It is well-known that larger values of produce tighter control actions [16] that could even make the system unstable.

Moreover, we have used a prefilter (z−1) to improve the system robustness against the model-process mismatch and the disturbance rejection. In [44] a guideline is given: where is recommended to be close to the dominant pole of (11).

Thus, the chosen prefilter has the following expression: Once the controller horizons and the prefilter are chosen, the objective of the optimization process is finding the pair (α, β) that fulfils some specified robustness criteria. In our case, we shall impose the following.(i)Maximize the phase margin (no specification is set on the gain margin).(ii)Sensitivity function for .(iii)Complementary sensitivity function for .(Phase margin maximization guarantees smooth system output and robustness; sensitivity functions constraints give good noise and disturbance rejection.)

In order to initialize the optimization algorithm an initial seed (, ) is needed. Figures 5 and 6 depict the closed loop magnitude and phase margins, respectively, in the interval . We select = −2.1 and = 0.3 for their corresponding good gain and phase margins.

The optimization process has been carried out in an interval of 20−30 seconds using a PC computer with Intel Core 2 Duo T9300 2.5 GHz running MATLAB 2007a. The solution to the optimization problem is and , for which the weighting sequences Γ and Λ are given in (14), with a phase margin of 76.76° (and a gain margin of 15.51 dB). The controller sensitivity functions meet the design specifications, as it is depicted in Figure 7:

3.4. Experimental Results

The experimental trial was accomplished at the Centre for Automation and Robotics (CAR; joint research centre by the Spanish Consejo Superior de Investigaciones Científicas and the Universidad Politécnica de Madrid) private driving circuit using the Citroën C3 Pluriel described previously. The circuit has been designed with scientific purposes and represents an inner-city area with straight-road segments, bends, and so on. Figure 8 shows an aerial sight.

To validate the proposed controller, various target speed changes were set each 25 seconds, trying to keep the speed error close to zero. Moreover, the automatic gearbox was always in first gear, avoiding any effect of gear changes and forcing the car to move at low speed. Figure 9 depicts the responses of the vehicle, both actual—real time—(dot line) and simulated (dash-dot line). The FGPC controller accomplished all practical requirements which were set previously. The vehicle response is stable, smooth, and reasonably good in comparison with its simulation. It is important to remark that the positive reference changes are faster than the negative one. This is mainly due to the fact that the braking manoeuvre has to be achieved by the engine brake force, and it is affected by the slope of the circuit.

With respect to the comfort of the vehicle’s occupants, it is observable that vehicle acceleration always remains (in absolute value) below the maximum acceptable acceleration requirement, 2 m/s2. It is due to the soft action over the throttle vehicle actuator, satisfying the comfort driving requisites.

For comparison purposes, we have also tested the performance of several GPCs which were tuned using the same horizons (, , and ) and prefilter (13) as FGPC.

In practice, in GPC it is commonly assumed that the weighting sequences are constant, that is, and . Under this assumption, it has not been possible to find a GPC controller that fulfils the robustness criteria using and equivalent optimization method. (The set of dynamics that can be found with constant weights is much smaller than in the case of FGPC. Furthermore, trying to optimize a GPC controller in the general case (, ) would lead to an optimization problem with an extremely high dimension. On the other hand, in the case of FGPC one has to optimize only two parameters, α and β, and this automatically leads to nonconstant weighting sequences; recall that GPC and FGPC controllers share a common LTI expression, as was pointed out in Section 2 [49].)

For this reason, we have tuned several GPC controllers with different constant weighting sequences γ and λ. Specifically, and (as the variation of γ does not affect the system dynamics considerably).

Using these settings, we have obtained two GPC controllers that in practice turned out to be unstable although they were stable in simulation. These controllers correspond to and (labelled Experimental GPC 1 and Experimental GPC 2 in Figure 10, resp.). Thus, they were not able to compensate unmodeled dynamics and circuit perturbations.

On the other hand, GPC controllers for and (labelled Experimental GPC 3 and Experimental GPC 4 in Figure 11, resp.) were stable in practice. It is well-known that higher values of λ give rise to smooth control actions, increasing the closed loop system robustness [16]. However, an excessively high value of λ could make the system response too slow. It would mean, in practice, that our car could not stop in time, and it would probably crash into the front car.

To quantify these results, we shall compare the principal control quality indicators for the stable realizations (GPC 3, GPC 4, and FGPC) speed error (reference speed—experimental speed), softness of the control action, and acceleration. The last ones require to calculate the fast fourier transform (FFT) to estimate them.

It is well known that FFT (15) is an efficient algorithm to compute the discrete fourier transform (DFT), , where is the control action or acceleration value at time and the length of these signals. FFT yields the signal sharpness by means of a frequency spectrum analysis of the sampled signal.

In order to get a good indicator of the overall control action and acceleration signals with robustness to outliers, we have used the median of sequence . The following widely used statistics parameters have been used to evaluate the speed error:(i) mean: (ii) standard deviation: (iii) root mean square error: where is the speed error at time . Moreover, we have also used the median .

All of these control quality indicators are reflected in Table 1.

One observes (see Figures 9 and 11) that the speed changes of GPC 4 and FGPC are slower than the response of GPC 3, so they need more time to reach the steady state after speed changes. This is reflected in Table 1 where, in terms of speed error, all statistics parameters of GPC 3 are better than the GPC 4 and FGPC ones. However, it presents very poor values in the control action and acceleration indicators due to the very large fluctuations of these signals, as we can see graphically in Figure 11. This undesirable behaviour compromises seriously the comfort of standing passengers, bordering on the maximum acceptable acceleration, 2 m/s2. Furthermore, it could injurey the throttle actuator due to its continuous and aggressive fluctuations in the control action.

The FGPC controller shows the best behaviour in the steady state without overshoot and presenting the best values in terms of the softness of the control action and acceleration, due to the precise parameters tuning carried out by the optimization method. FGPC takes advantage of its diversity of responses (varying the fractional orders α and β) to meet the design specifications and to improve the system robustness against the model-process mismatch.

4. Conclusions

The longitudinal control of a gasoline-propelled vehicle at low speeds (common situation in traffic jams) constitutes one of the most important topics in the automotive sector due to the highly nonlinear dynamics that the vehicle presents in this situation.

In this paper, the fractional predictive control strategy, FGPC, has been used to solve this problem. Taking advantage of its beneficial characteristics and its tuning method to compensate un-modeled dynamics, a FGPC controller has been designed which has achieved closed loop stability following the changes in the velocity reference. Moreover, practical requirements to guarantee standing passengers comfort have been also achieved by means of the appropriate parameters choice carried out by the optimization-based tuning, in spite of inevitable uncertainties and circuit perturbations.

Finally, the comparison between the fractional predictive control strategy, FGPC, and its integer-order counterpart, GPC, has shown that the task of finding the correct setting for the weighting sequences and is crucial. In FGPC, the fractional orders α and β allow us to find them keeping the dimension of the optimization problem low, since only two parameters have been optimized.

Appendix

Fractional-Order Definite Integral Operator

The fractional-order definite integral of function f(x) within interval [a, b] has the following expression [47]: Using the GL definition (1) assuming that , the fractional-order definite integrator operator has the following discretized expression with a sampling period Δt: where with , , , and , for all .

Conflicts of Interest

The authors report no actual or potential conflict of interests in relation to this manuscript.

Acknowledgments

The authors wish to acknowledge the economical support of the Spanish Distance Education University (UNED), under Project reference PROY29 (Proyectos Investigación 2012), and the AUTOPIA Program of the Center for Automation and Robotics UPM-CSIC.