1. Introduction
In engineering systems, input constraints arise due to the physical limitations on process equipment such as pumps or valves. Neglecting the input constraints in the control design may result in sub-par process performance or even process instability. Recall that for open-loop unstable equilibrium points, input constraints determine the shape and size of the set of states from where stabilization is possible—the null controllable region (NCR). Control designs that have the NCR as the stability region become a natural benchmark for effective control design.
Previous research has been devoted to handling input constraints using, for instance, anti-windup designs [
1], results on semi-global stability [
2] or polynomial based approaches [
3] that ensure local stability, Lyapunov-based approaches (see, e.g., [
4,
5,
6]), and model predictive controllers (MPC) (see [
7,
8,
9]), with efforts continuing for a specific class of linear systems [
10]. More recently, quadratic Lyapunov functions [
11] were developed for stabilizing linear systems subject to input saturation. However, designing a Lyapunov function for multiple input multiple output (MIMO) systems with constrained inputs that can achieve stability for the entirety of the NCR remains an open problem.
Typical existing MPC formulations are successful in achieving stability under input constraints for subsets of the null controllable region. However, when guaranteeing initial and successive feasibility of the optimization problem, the horizon, or number of future controls the MPC must evaluate, expands [
12,
13]. This leads to computationally complex optimization problems, and unwieldy ones if stability from the entire NCR is desired.
In previous work, there have been advances in the design of a predictive controller that can achieve closed-loop stability from all initial conditions, for linear systems with single inputs, without the need for large horizon values [
14]. The work presented in [
15] utilizes the boundary of the NCR to formulate a Lyapunov-based controller able to achieve stability for all initial conditions while handling input constraints for nonlinear systems. However, the methods presented in existing designs only address single-input systems. Generalizations to multi-input systems that enable stabilization from the entire NCR remain unaddressed.
Motivated by these considerations, this work considers a MIMO linear system and presents a controller design that enables stabilization from the entire NCR. A constrained control Lyapunov function (CCLF) is proposed such that its level sets correspond to the boundary of the NCR with decreasing input constraints and a controller is designed to force the system to lower level sets of the NCR. It is shown that this controller can achieve stability for all initial conditions within the NCR.
The rest of the manuscript is organized as follows. In
Section 2, we present the linear system description and review existing methods to construct the NCR. In
Section 3, we propose a CCLF and MPC formulation to achieve stability from the entire NCR. In
Section 4, simulation results are presented comparing the proposed CCLF to another Lyapunov function candidate. Finally, in
Section 5, we present concluding remarks.
3. Proposed Control Design
Consider the set
where
(thus,
can be understood as the boundary of the null controllable with the input bound on the individual subsystems being
) and consequently
with the closure of the set
denoted by
. We propose a constrained control Lyapunov function (CCLF) as follows:
To illustrate the proposed control design, we consider a linear system of the form of Equation (
2) with
and
. The NCR is computed using the Minkowski sum of the single input system’s NCR’s—as defined by Equation (
4). MATLAB’s boundary function is used to extract the boundary of the multi-input systems NCR. The boundary is then multiplied by values ranging from 0 to 1 (increasing by increments of 0.005). The results are stored in MATLAB’s scatteredInterpolant function; this vector serves as the numerical approximation for
, and the level sets can be seen in
Figure 1.
Theorem 1. For the dynamical system of Equation (2), with the CCLF defined by Equation (7) Proof. The proof of the theorem follows from construction of
in Equation (
6). Noting that the NCR of the Muli-input system is the Minkowski sum of the NCR for the single input systems,
iff
. Existence of
follows from the definition of the NCR. □
Remark 1. Theorem 1 formalizes two properties—one simply re-invokes the existing result that the Minkowski sum of the NCRs of the individual subsystems is the NCR of the multi-input system. The other, more pertinent result, is to establish a mapping from the level sets of the NCR of the multi-input system to the level sets of the individual subsystems. Note that the mapping from the level sets of the individual subsystems to the level sets of the multi-input system is many to one. In other words, two level sets from the individual subsystems map to a unique level set for the multi-input system, but one level set from the multi-input system maps to multiple possible combinations of level sets of the individual subsystems. Our particular choice of the level sets of the NCR, as defined by Theorem 1 as the level sets of the CCLF for the multi-input NCR, has important implications for the control design presented next.
The predictive controller that guarantees stabilization from all initial states within the
NCR takes the form:
where Equation (
9) is the time evolution of the process, and
is the CCLF defined in Equation (
7),
q is a positive scalar and
R is a positive semi-definite symmetric matrix of weightings which penalize the rate of change in inputs. The MPC calculations are done using a dummy state
which is initialized at the current value of the process state. The basic idea of the control design is to force the trajectory of the states to lower level sets, as defined by
V, while still adhering to the imposed input constraints. Note that the above is a representative continuous time formulation of the MPC with the feasibility and stability properties characterized in Theorem 2. The simulation example presented later uses a discrete implementation and thus Equation (
10) is implemented as
.
Theorem 2. Consider the MIMO System described by Equation (2) under the MPC formulation in Equations (8)–(11). For any , the optimization problem is feasible for all times and . Proof. The proof of the theorem follows from construction for a single input system as shown in Theorem 2 in [
14] but with one critical adjustment as detailed below:
For single input systems it has been established in [
14] that
, i.e.,
there are
in
for which
. This occurs for all points given by
where
—additionally when
is co-linear with
. With the assumption that the multi-input system is defined by independent inputs (i.e, all
are linearly independent), the set
. Thus, in contrast to [
14], the constraint of Equation (10) is feasible for all
,
follows. □
Remark 2. The present manuscript uses the individual NCRs to construct the NCR of the multi-input system, and then directly uses the boundary of the ‘level sets’ of this NCR to define the CCLF. For single input systems, the NCR and the associated level sets have a direct relationship with the bound on the manipulated input. Thus, for the single-input system, is the value of input constraint for which x resides on the boundary of the NCR of the single-input system with the bound . For multiple-input systems, the interpretation is that is the value of input constraint for all the subsystems , for which resides on the boundary of the NCR for each of the single-input systems with the bound and. This choice of the definition for the CCLF is fairly simple and intuitive, but, as it turns out, also non-unique (see Remark 3). This, in turn, results in a non-unique solution to the optimization problem as well, but yet, results in the stabilization for the closed-loop system. This non-uniqueness is not due to the formulation of the CCLF, but rather fundamental to the problem at hand (see Remark 4 for further explanation)
Remark 3. Another possible way to define a CCLF for the multiple-input system and design the controller would be to work with the individual subsystems. Thus, for the current state, the state would be projected onto each individual subsystem to find s.t., . Using each of the , the level set of the Lyapunov function for the individual subsystems could be calculated, and the CCLF, for instance, could be defined as the sum of the CCLFs for the individual subsystem. While such a line of thinking would follow from a direct generalization of the NCR design for single-input systems, the implementation would be computationally expensive, and not alleviate the non-uniqueness issue since a state could be projected into the individual subsystems in non-unique fashion, i.e., different combinations of could correspond to the same state of the system. This non-uniqueness may result in jumpy control actions as new projections are evaluated at subsequent time points and due to the single-input system’s originally non-smooth input profiles [14]. Remark 4. By the very nature of the problem, smaller ‘level sets’ of the multi-input NCR correspond to non-unique combinations of the individual NCRs of the individual subsystems, hence multiple solutions exist that enable . This is simply due to the linear nature of the simple dynamics, and not due to particular choice of the NCR. The ability to guarantee and invoke the fact that is achievable (not invoked in [14]), means that it can be imposed as a constraint in the optimization problem to take care of stability, leaving the objective function available as a tuning parameter to achieve a smooth control action, as is demonstrated in the simulation example. 4. Simulation Results
Five simulation trials arre performed under the MPC formulation described by Equations (
8)–(
11). First, a quadratic Lyapunov function
is set with
,
and
. To show the stability properties of the controller under
, two simulations are run from the initial conditions
and
respectively. The proposed controller design using
is then simulated three times. To replicate the behavior of the control design in [
14],with no rate of change input penalty, the controller is run with
and
. To demonstrate the input smoothing properties of the proposed design, the second trial is shown with
and
. Finally, the third trial is run with
and
, from an initial condition of
to show the stability properties of the proposed controller from additional points. The simulation example is solved using a discretization time of
and a prediction horizon of N = 1. The optimization problem is solved using the MATLAB function FMINCON.
From an initial condition of
, the predictive controller is implemented with
to stabilize the system. As shown by the light red line in
Figure 2, closed-loop stability is achieved. Moving further away from the origin to an initial condition of
, the controller fails to achieve stability under
. The red lines in
Figure 3a,b and
Figure 4a,b show the state trajectories and input profiles of this outcome.
Under the proposed predictive controller and
with
and
, closed-loop stability is achieved for the initial condition
. However, without the rate of change input penalty, the controller selects inputs which constantly vary, resulting in a chatty input profile, as can be seen in
Figure 4a by the light blue line. Under the same initial conditions but with
and
(invoking the rate of change input penalty), the controller still achieves closed-loop stability but has a smoother input profile with fewer sporadic changes in
, as shown in
Figure 4a,b (dark blue). A third initial conditional is simulated to illustrate the stability of the proposed controller with
, with the input and state profiles shown by the black lines in
Figure 3a,b and
Figure 4a–d.
Remark 5. The choice of q and R in this approach is made by manually tuning the controller. Note that the choice of q and R will not result in infeasibility of the optimization problem but can be used to alter the state trajectories and input profiles of the closed-loop system.
Remark 6. In practical applications, the proposed approach could be utilized in several ways. For instance, in deployments where a nonlinear model is available, but the controller is designed on the basis of the linearization, the proposed MPC would be applicable. In other instances, when building an empirical model from plant data, the resultant model sometimes ends up being unstable, invoking the utility of the proposed MPC. In other applications [17,18], where the MPC application is limited due to the computational complexity, the ability of the proposed MPC to achieve stability with a short horizon could be useful.