Volume 2014, Issue 1 381567
Research Article
Open Access

Positive Switched System Approach to Traffic Signal Control for Oversaturated Intersection

Lin Du

Corresponding Author

Lin Du

School of Transportation and Logistics, Southwest Jiaotong University, Chengdu 610031, China swjtu.edu.cn

Search for more papers by this author
Yun Zhang

Yun Zhang

Mianyang Vocational and Technical College, Mianyang 621000, China

Search for more papers by this author
First published: 17 August 2014
Citations: 2
Academic Editor: Weiming Xiang

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 [13]. 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, 411] and references cited therein. Most of the signal control strategies are based on fixed-time signal control [1, 47]. 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, 813], 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 [1424] 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.

Details are in the caption following the image
Intersection with four approaches and two-phase signal.

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 ≤ xixi,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

()
where
()
Obviously, since the phases work in turns in the intersection system model, the switching signal σ(k) is defined as
()
which implies that the switching occurs at each instant k.

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

The purpose of our control is to relieve the oversaturated queue by the traffic signal. With the controllable green time gp, , we are going to design a state feedback controller in the form of
()
where Kp, , is the feedback gains needed to be determined. Substituting state feedback controller (8) into system model (5), the closed loop of intersection system is expressed as
()
where Ap = I + BpKp. Under the control of (8), our design objective is to render the system (9) nonaccumulative with flux supply rate.
At first, the lengths of queue xi(k), , are supposed to be nonnegative in the evolution according to the system dynamics given any initial xi(0) ≥ 0. Thus, to ensure the availability of designed state feedback controller, the positivity of x(k) has to be preserved during the time; that is,
()
Then, to make the system nonaccumulative, a particular copositive storage function indicating the total lengths of the movement stored in the system is introduced as
()
where . The flow of vehicles supplied to the system is the total arrivals in each phase described by
()
And the total of departures in Phase 1 is D1 = (s1 + s2)(g1L) = (s1 + s2)g1 − (s1 + s2)L and D2 = (s3 + s4)(g2L) = (s3 + s4)g2 − (s3 + s4)L is for Phase 2. Thus, the flow of vehicles extracted from the system is
()
where d1 = s1 + s2 and d2 = s3 + s4. The flux supply rate in each phase can be defined as
()
that is,
()
where and βp = dpL. To achieve a nonaccumulative system with storage function S(k) and supply rate θ(k), the following condition has to be satisfied:
()
which implies that the variation in the total queue length of the system is always less than or equal to the input flux minus the output flux. In this case the system with feedback controller (8) is nonaccumulative with respect to the flux supply rate θ(k).

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.

Consider the following switched positive system composed by P subsystems:
()
where is the state vector, Ap and Cp are constant matrices with appropriate dimensions, and the switching law among subsystems is considered arbitrary.

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

()
we have
()
Since system (17) is positive, we can obtain
()
Hence, Ap⪰0 and Cp⪰0, .

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, ∀pP, 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, ∀pP, such that the following condition holds:

()
then switched positive system (17) is dissipative with respect to a supply rate .

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:

()
which ensures ΔS(k)≤−ρS(k) + θ(k). As this has to be satisfied for arbitrary switching signals, it follows that (23) has to hold for any special configuration
()
and for all nonzero . Hence (23) means
()
Using the system model as x(k + 1) = Apx(k) + Cp, one has
()
From (21), it is easy to see that (26) is satisfied, which implies ΔS(k)≤−ρS(k) + θ(k) and the dissipativity of system (17).

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:

()
then switched positive system (17) is dissipative with respect to supply rate .

Proof. Let h = hp, in Theorem 5; Corollary 6 can be proved.

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⁡.

Considering the closed loop system (9), the first point concerned with positivity can be solved through Lemma 2 for the switched positive system; that is, Ap⪰0, , and Cp⪰0, , should be satisfied. Obviously Cp⪰0, ∀pP, is automatically satisfied for two-phase intersection system since sp > 0, and L > 0. Moreover, Ap⪰0 can be rewritten as
()
to preserve positivity of feedback closed loop system.
Then, the second point on dissipativity can be solved by Corollary 6 where the common vector is chosen as . Firstly, we have
()
Thus, it yields that eTCpβp ≤ 0, , is satisfied for intersection system.
Moreover, to ensure dissipativity, the following condition has to be satisfied:
()
where , d1 = s1 + s2, and d2 = s3 + s4.

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 − α)x2xmax⁡, so is a convex set with 16 vertices which are denoted as v1, v2, …, v16.

Furthermore, the constraint set on the green time can be expressed by set . Since is convex, we only need to check that the vertices v1, v2, …, v16 are included in control constraint Up; that is,
()

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

()
where vectors αp and vi are defined in (15) and (31), respectively, the green times chosen as gp(k) = Kpx(k), , can guarantee the nonaccumulative performance of the closed loop system (9).

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:

()
Here, it should be noted that since x(k) decrease along with the time to relieve the oversaturated queue, gp(k) will finally converge to gp,min⁡. Thus, gp,min⁡ can be often chosen as an appropriate time for undersaturated situations.

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.

Details are in the caption following the image
Evolution of queues within dissipative closed loop system.

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 .

In accordance with the modeling procedure for two-phase intersection, in each phase , the queue length of movements xi(k), , evolves according to
()
Similar to the derivation of two-phase intersection model, we have
()
Thus, the evolution of movement in phase is described as follows:
()
With a switching signal σ(k) among subsystems , define ηp(k) same as in (4). The above equations can be restated in state space form
()
where
()
The phases are working in turns in the intersection system model; the switching signal σ(k) is defined as
()
which implies that the switching occurs at each instant k.
With the aid of state feedback control as
()
the closed loop of intersection system is expressed as follows:
()
where Ap = I + BpKp.

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.

Positivity. Based on Lemma 2, it is easy to see that the following condition is required to ensure the positivity:
()
Dissipativity. Since the storage function is S(k) = eTx(k), where , and supply rate is
()
where and . Furthermore, by letting , βp = dpL, where , we get .
By , we can obtain eTCpβp ≤ 0, , for multiphase intersection. Then, on the basis of Corollary 6, given a scalar ρ ≥ 0, the following condition should be satisfied to ensure the dissipativity:
()
Control Constraint. Each movement xi belongs to , and define convex set as , where ; it is easy to see that there are N = n2 vertices of which are denoted as v1, v2, …, vN. From the constraint set on the green time by set , the following condition has to be satisfied:
()

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

()
where vectors αp and vi are defined in (44) and (45), respectively, the green times chosen as gp(k) = Kpx(k), , can guarantee the nonaccumulative performance of the closed loop system (41).

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.

    The full text of this article hosted at iucr.org is unavailable due to technical difficulties.