Abstract

We consider a class of first order linear hybrid systems with saturation. A system that belongs to this class can operate in several modes or phases; in each phase each state variable of the system exhibits a linear growth until a specified upper or lower saturation level is reached, and after that the state variable stays at that saturation level until the end of the phase. A typical example of such a system is a traffic signal controlled intersection. We develop methods to determine optimal switching time sequences for first order linear hybrid systems with saturation that minimize criteria such as average queue length, worst case queue length, average waiting time, and so on. First we show how the extended linear complementarity problem (ELCP), which is a mathematical programming problem, can be used to describe the set of system trajectories of a first order linear hybrid system with saturation. Optimization over the solution set of the ELCP then yields an optimal switching time sequence. Although this method yields globally optimal switching time sequences, it is not feasible in practice due to its computational complexity. Therefore, we also present some methods to compute suboptimal switching time sequences. Furthermore, we show that if there is no upper saturation, then for some objective functions the globally optimal switching time sequence can be computed very efficiently. We also discuss some approximations that lead to suboptimal switching time sequences that can be computed very efficiently. Finally, we use these results to design optimal switching time sequences for traffic signal controlled intersections.

MSC codes

  1. 93C10
  2. 49N99
  3. 90C33
  4. 90B22

Keywords

  1. hybrid systems
  2. control
  3. nonlinear optimization
  4. extended linear complementarity problem

Get full access to this article

View all available purchase options and get full access to this article.

References

1.
A. Pnueli, J. Sifakis, Special issue on hybrid systems, Elsevier Science Publishers B.V., 1995i–ii and 1–239, Theoret. Comput. Sci. 138 (1995), no. 1
2.
V. Blondel and J. Tsitsiklis, Complexity of stability and controllability of elementary hybrid systems, Automatica J. IFAC, 35 (1999), pp. 479–489.
3.
E. Camacho and C. Bordons, Model Predictive Control in the Process Industry, Springer‐Verlag, Berlin, 1995.
4.
D. Clarke, C. Mohtadi, and P. Tuffs, Generalized predictive control—Part I. The basic algorithm, Automatica J. IFAC, 23 (1987), pp. 137–148.
5.
R. Cottle, J. Pang, and R. Stone, The Linear Complementarity Problem, Academic Press, Boston, 1992.
6.
B. De Schutter, Optimal Control of a Class of Linear Hybrid Systems with Saturation: Addendum, Tech. Report bds:99‐03a, Control Laboratory, Faculty of Information Technology and Systems, Delft University of Technology, Delft, The Netherlands, 1999.
7.
Bart De Schutter, Bart De Moor, The extended linear complementarity problem, Math. Programming, 71 (1995), 289–325
8.
B. De Schutter and B. De Moor, Optimal traffic light control for a single intersection, European J. Control, 4 (1998), pp. 260–276.
9.
C. García, D. Prett, and M. Morari, Model predictive control: Theory and practice—A survey, Automatica J. IFAC, 25 (1989), pp. 335–348.
10.
N. Gartner, J. Little, and H. Gabbay, Simultaneous optimization of offsets, splits, and cycle time, Transportation Research Record, (1976), pp. 6–15.
11.
T. Henzinger and S. Sastry, eds., Hybrid Systems: Computation and Control, Lecture Notes in Comput. Sci. 1386, Springer‐Verlag, New York, 1998.
12.
A. Pnueli, J. Sifakis, Special issue on hybrid systems, Elsevier Science Publishers B.V., 1995i–ii and 1–239, Theoret. Comput. Sci. 138 (1995), no. 1
13.
P. Kachroo and K. Özbay, Solution to the user equilibrium dynamic traffic routing problem using feedback linearization, Transportation Research Part B, 32 (1998), pp. 343–360.
14.
A. May, Traffic Flow Fundamentals, Prentice‐Hall, Englewood Cliffs, NJ, 1990.
15.
E. Park, J. Lim, I. Suh, Z. Bien, Hierarchical optimal control of urban traffic networks, Internat. J. Control, 40 (1984), 813–829
16.
M. Singh, H. Tamura, Modelling and hierarchical optimization for oversaturated urban road traffic networks, Internat. J. Control, 20 (1974), 913–934
17.
F. Vaandrager and J. van Schuppen, eds., Hybrid Systems: Computation and Control, Lecture Notes in Comput. Sci. 1569, Springer, New York, 1999.
18.
H. Wong‐Toi, The synthesis of controllers for linear hybrid automata, in Proceedings of the 36th IEEE Conference on Decision and Control, San Diego, CA, 1997, pp. 4607–4612.

Information & Authors

Information

Published In

cover image SIAM Journal on Control and Optimization
SIAM Journal on Control and Optimization
Pages: 835 - 851
ISSN (online): 1095-7138

History

Published online: 26 July 2006

MSC codes

  1. 93C10
  2. 49N99
  3. 90C33
  4. 90B22

Keywords

  1. hybrid systems
  2. control
  3. nonlinear optimization
  4. extended linear complementarity problem

Authors

Affiliations

Metrics & Citations

Metrics

Citations

If you have the appropriate software installed, you can download article citation data to the citation manager of your choice. Simply select your manager software from the list below and click Download.

Cited By

View Options

View options

PDF

View PDF

Media

Figures

Other

Tables

Share

Share

Copy the content Link

Share with email

Email a colleague

Share on social media