Positive Switched System Approach to Traffic Signal Control for Oversaturated Intersection
Abstract
The online traffic signalization for intersection is addressed. A new model for intersection called positive switched system is presented. Then, based on the dissipativity analysis results for positive switched system, an online state-feedback control strategy for traffic signal in two-phase intersection section is proposed. A numerical example is provided to illustrate the effectiveness of our theoretical findings. Finally, in order to extend to more general cases, multiphase intersection is considered, and general dissipativity-based control is presented.
1. Introduction
Traffic signal control is a long-lasting research problem in urban transportation network system [1–3]. The effectiveness of a traffic signal system can reduce the incidence of delays, stops, fuel consumption, emission of pollutants, and accidents. Moreover, due to the rapid growth of traffic congestion, an effective traffic signalization plays an important role of relieving the oversaturated situation such as related articles [1, 4–11] and references cited therein. Most of the signal control strategies are based on fixed-time signal control [1, 4–7]. However, since the fixed-time strategies are based on historical data rather than real-time data, they are only applicable in undersaturated traffic conditions. In a few recent papers, some online signalization methods have been proposed [2, 8–13], which are more adaptive to the real-time traffic conditions. As for oversaturated condition, some significant results have been reported. For example, in [9], an optimal traffic light switching scheme was presented. Generally, it resorts to a minimization problem over a set of an extended linear complementarity problem, which is not an easy task when switching cycles is large. And concerned with recent notable result [10], a dissipative idea is applied into traffic signal design problem; a state feedback controller based on dissipativity-based control is derived. This dissipative approach provides a new insight on traffic signalization problem and intersection system. In our paper, we follow the dissipative idea and further exploit the positivity and switched properties of intersection system, which leads to a positive switched system approach into the dissipativity-based control framework. The particular class of hybrid system called positive switched system is used to model the intersection system.
Switched system can be efficiently used to model many practical systems which are inherently multimodel in the sense that several dynamical systems are required to describe their behavior. For more details of the recent results on the basic problems in stability and stabilization for switched systems, the reader is referred to survey papers [14–24] and the references cited therein. Moreover, positive switched system refers to the variables of system which are always confined to the positive orthant. Due to the obvious switched and positive characteristic of intersection system with traffic signal, the positive switched system is an appropriate model for it, but as far as we know, there exists no result based on the model of positive switched system. Thus, in our paper, we first set up a positive switched system model for two-phase intersection system, which is shown to be able to be modeled as a positive switched system with two subsystems. Then, a dissipativity-based control strategy is proposed by solving a set of linear programming (LP) problem which can be efficiently solved with aid of existing software toolbox. Then, an extension from two-phase intersection to multiphase intersection system is presented to meet more general cases.
The rest of this paper is organized as follows. In Section 2 the system model and problem formulation are introduced; dissipativity analysis for positive switched system is proposed in Section 3. The dissipativity-based control solution for two-phase intersection is given in Section 4. In Section 5 the results are extended to multiphase cases. Conclusions are given in Section 6.
Notations. The notations used in this paper are fairly standard. The superscript “T” stands for matrix transposition, denotes the n dimensional Euclidean space, and represents the set of nonnegative integers. In addition, in symmetric block matrices, we use * as an ellipsis for the terms that are introduced by symmetry. The notation A≻0 (A⪰0) means all the elements aij > 0 (aij ≥ 0), where aij denotes the element in the (i, j) position of A.
2. System Description and Problem Formulation
2.1. System Description and Modeling
The urban transportation system is composed of a network of intersections. Generally, an intersection is operated by a traffic signal that decides the movements of vehicles to pass the intersections or to stop to generate the queues. The movement may include vehicles going straight, turning left, turning right, or a combination of them.
In order to show our control idea clearly, we first consider the single intersection with four approaches and the traffic signal which has two phases, which are illustrated by Figure 1.

It is noted that the movements 1 and 2 are supposed to have same characteristics, and same consideration holds for movements 3 and 4.
Considering the transportation status at the time of the traffic signal turning from one phase to another, and denoting the time instant as k, , we are going to model the intersection system described in Figure 1; several useful definitions are introduced as follows.
Green Time gp(k). It is the time for the movements for the successively activated phase p, , which is the control input signal required to be determined at each instant k for the intersection. It is assumed that there exists a gp,max such that 0 ≤ gp(k) ≤ gp,max.
Lost Time L. Lost time is defined as a period that is not used effectively in each phase by incoming traffic flow through an intersection, such as the start-up delay. Lost time is generally considered constant.
Effective Green Time . It is the time actually available for movement for phase p. Obviously, we can obtain , .
Input Flow Rate qi. It is the input flow rate for movement i, .
Saturation Flow Rate si. It is the saturation flow rate for the movement i, , which is defined as the maximum number of vehicles being able to use the intersection without interruption during the effective green time.
The Number of Arrivals Ai,T. It is the number of vehicles joining the movement i during the time T. It can be figured out as Ai,T = qiT.
The Number of Departures Di,T. It is the number of vehicles departing from the movement i during the time T, which can be calculated by Di,T = siT.
Queue Length xi(k). It is the queue length of movement i, , at time instant k. It is assumed that the value of queue length xi (number of vehicles) can be measured in real time, which can be obtained when video detection systems are utilized; otherwise, the local occupancy measurements oi, collected in real time by traditional detector loops, can be transformed into (approximate) numbers of vehicles via suitable nonlinear functions xi = fi(oi) such as in [3].
Moreover, since the congestion situation is not considered in our model, the queue lengths are always beneath their capacities, which is denoted by xi,max, . Thus, queue length xi belongs to the region of admissible states as Xi = {x∣0 ≤ xi ≤ xi,max}.
Based on the above definitions, we are now in the position to model the intersection system. Since there are two phases, it is natural that there are two dynamics for Phases 1 and 2, respectively.
Phase 1. The queue length xi(k) evolves according to . For movements 1 and 2 which have same characteristics, it is obtained that , i = 1,2, and , i = 1,2; we have the following equation in Phase 1:
And for movements 3 and 4, since the movement is stopped which implies , i = 3,4, and , i = 3,4, it is obtained that
Phase 2. Following the same guideline in Phase 1, the following evolution equations can be derived:
Among the two subsystems concerned with two phases, there is a switching signal σ(k) determining which subsystem is activated at each instant k. Define
Augmenting the dynamics in Phases 1 and 2, the above equations can be restated as a switched system composed of two subsystems in state space form
The most reported model is considered to have a fixed cycle (one repetition of the basic series of signal phases combinations at a junction), which has to be prespecified appropriately, and an inappropriate choice of cycle could lead to a bad control performance. On the other hand, there is no cycle time constraint in our switched system model, or no cycle time has to be designed previously; only controllable green time needs to be considered.
2.2. Control Problem Formulation
3. Dissipativity Analysis for Positive Switched System
In this section, we will investigate the dissipativity of switched positive system, which plays the key role in solving the control problem for intersection system.
Definition 1. System (1) is said to be positive if and only if, for any initial condition x(0)⪰0, the corresponding trajectory x(k)⪰0 holds for all .
Lemma 2. System (1) is positive if and only if Ap⪰0 and Cp⪰0, .
Proof. The sufficient part is obvious. We consider the necessity. Denote
Definition 3. System (1) with supply rate , where αp are vectors with appropriate dimensions and βp are scalars, is said to be dissipative (strictly dissipative) if there exists a nonnegative function with S(0) = 0, called the storage function such that ΔS(k) ≤ θ(k) (ΔS(k) < θ(k)).
Remark 4. In strictly dissipative case, ΔS(k) < θ(k) can be expressed as ΔS(k)≤−ρS(k) + θ(k), where ρ > 0 provides a degree of freedom in choosing the quantity that we wish to dissipate. And if we enforce ρ = 0, it becomes the dissipative case. Hence, in the rest of paper, we consider the general dissipative performance satisfying ΔS(k)≤−ρS(k) + θ(k), where ρ ≥ 0.
For switched positive system, the switched copositive function , where hp⪰0, ∀p ∈ P, can serve as a storage function. Then, the following theorem can be derived for the dissipativity of switched positive system (17) with respect to the particular supply rate .
Theorem 5. Consider switched positive system (17), given a scalar ρ ≥ 0. If there exists a set of vectors hp⪰0, ∀p ∈ P, such that the following condition holds:
Proof. Given a set of vectors hp⪰0, , the following switched copositive function is constructed:
By the definition of dissipativity and supply rate , we have to demonstrate the following inequality:
Theorem 5 provides us with a switched copositive function method in search for a set of vectors hp, . If we particularly choose a common vector h = hp, , the following corollary can be obtained.
Corollary 6. Consider switched positive system (17), given a scalar ρ ≥ 0. If there exists a vector h⪰0 such that the following condition holds:
Remark 7. It is obvious to see that conditions in Theorem 5 are less conservative than Corollary 6 due to the explicit fact that a common storage function yields more conservative results than multiple storage function. But, in order to meet the actual intersection system, a common storage function S(k) = eTx(k), where , is particularly chosen to describe the total lengths of the movement stored in the system; thus Corollary 6 will be used to solve the control problem for intersection system.
4. Control Solution for Two-Phase Intersection
Now, based on the formulated control problem and analysis results in previous section, considering the two-phase intersection system, the feedback controller (8) has to be designed in which the state feedback gains Kp, , are the feedback gains needed to be determined. As what is discussed, to achieve a nonaccumulative closed loop with an available feedback controller, the design objective can be summarized as the following three points should be satisfied.
(1) Positivity. To ensure the availability of the feedback control in actual applications, we have that x(k)⪰0 holds for all and any x(0)⪰0, that is, preserving the positivity of closed loop.
(2) Dissipativity. Given the storage function S(k) = eTx(k), where , the closed loop should be dissipative with respect to supply rate , where αp and βp are defined in (15), which makes the intersection system nonaccumulative.
(3) Control Constraint. The constraint on the green time has to be satisfied to avoid unacceptable stop time for drivers in other approaches. By 0 ≤ gp(k) ≤ gp,max and gp(k) = up(k) = Kpx(k), the following constraint must be satisfied 0 ≤ Kpx(k) ≤ gp,max.
At last, the constraint on the feedback is considered. Note that queue length xi belongs to the region of admissible states as ; we denote set , where . Given any and 0 ≤ α ≤ 1, we have 0⪯αx1 + (1 − α)x2⪯xmax, so is a convex set with 16 vertices which are denoted as v1, v2, …, v16.
Summarizing above discussion, a solution for nonaccumulative feedback control is presented as follows.
Proposition 8. Consider the two-phase intersection system (5), given a scalar ρ ≥ 0. If there exist two feedback gains K1 and K2 such that
Remark 9. In actual applications, a lower boundary for the effective green time has to be selected as gp,min, thus the operation of the controller for each k is considered in the following form:
Remark 10. Proposition 8 is an LP problem, which can be numerically solved by the LP optimal toolbox.
Example 11. Consider a two-phase intersection as s1 = 0.4 veh/s, s2 = 0.6 veh/s, s3 = 0.7 veh/s, and s4 = 0.6 veh/s, q1 = 0.2 veh/s, q2 = 0.1 veh/s, q3 = 0.15 veh/s, and q4 = 0.25 veh/s, and gp,max = 100 s, gp,min = 50 s. Given an initial oversaturated queue , the simulation results are shown in Figure 2.

From the simulation results in Figure 2, we see that the oversaturated situation can be relieved by state feedback control, and we see that, after k = 30, the intersection runs in an undersaturated situation.
5. Extension to Multiphase Intersection
In this section, the results in previous section based on dissipativity and positivity of positive switched system will be generalized to multiphase intersection. At first, the system model for multiphase intersection will be presented as follows.
It is assumed that there exist P phases for the intersection with n movements. Hereby, the following sets are defined. For each phase , concerned with movements, we define , the activated movement set , and unactivated movement set ; similarly we have and .
Furthermore, following philosophy of positive and dissipative control for intersection in previous section, the positivity, dissipativity, and control constraint are guaranteed by the following steps.
Summarizing the above steps, the nonaccumulative feedback control solution multiphase intersection is presented as follows.
Proposition 12. Consider the P-phase intersection system (37), given a scalar ρ ≥ 0. If there exist p feedback gains Kp, , such that
6. Conclusions
By modeling the intersection into positive switched system, a dissipativity-based control strategy is proposed for online traffic signalization in this paper. Through fulfilling the positivity, dissipativity, and control constraint, an LP problem based design method is presented. A numerical example is provided to illustrate our results, and, furthermore, the two-phase intersection results are extended to multiphase intersection. The positive switched system approach provides us with a new insight on modeling intersection; introducing other advanced control schemes from positive switched system to intersection system is our future work.
Conflict of Interests
The authors declare that there is no conflict of interests regarding the publication of this paper.