Traffic Network Control Based on Hybrid Dynamical System Modeling and Mixed Integer Nonlinear Programming With Convexity Analysis

This paper presents a new framework for traffic flow control based on an integrated model description by means of a hybrid dynamical system. The geometrical information on the traffic network is characterized by a hybrid Petri net (HPN). Then, the algebraic behavior of the traffic flow is transformed into a mixed logical dynamical system (MLDS) form to introduce an optimization technique. These expressions involve both a continuous evolution of the traffic flow and an event-driven behavior of the traffic light. The HPN allows us to easily formulate the problem for a complicated and large-scale traffic network due to its graphical understanding. The MLDS enables us to optimize the control policy for a traffic light by means of its algebraic manipulability and use of the model predictive control framework. Since the behavior represented by the HPN can be directly transformed into the corresponding MLDS form, the seamless incorporation of two different modeling schemes provides a systematic design scenario for traffic flow control.

[1]  J. Hiriart-Urruty,et al.  Convex analysis and minimization algorithms , 1993 .

[2]  Eduardo F. Camacho,et al.  Model predictive control in the process industry , 1995 .

[3]  Alberto Bemporad,et al.  Control of systems integrating logic, dynamics, and constraints , 1999, Autom..

[4]  Evanghelos Zafiriou,et al.  Robust process control , 1987 .

[5]  R. Tyrrell Rockafellar,et al.  Convex Analysis , 1970, Princeton Landmarks in Mathematics and Physics.

[6]  Shigeru Okuma,et al.  Model Predictive Control of Traffic Flow Based on Hybrid System Modeling , 2005, IEICE Trans. Fundam. Electron. Commun. Comput. Sci..

[7]  R. Cleary Mathematical Models , 2009 .

[8]  Harold J Payne,et al.  MODELS OF FREEWAY TRAFFIC AND CONTROL. , 1971 .

[9]  Maciej Koutny,et al.  Petri Net Algebra , 2001, Monographs in Theoretical Computer Science An EATCS Series.

[10]  Eduardo Fernandez-Camacho,et al.  Model Predictive Control in the Process Industry , 1995 .

[11]  Alessandro Giua,et al.  First-order hybrid Petri nets: a model for optimization and control , 2000, IEEE Trans. Robotics Autom..

[12]  Santanu Chattopadhyay,et al.  Additive cellular automata : theory and applications , 1997 .

[13]  Hassane Alla,et al.  Discrete, continuous, and hybrid Petri Nets , 2004 .

[14]  Robert Herman,et al.  Kinetic theory of vehicular traffic , 1971 .

[15]  M Cremer,et al.  A fast simulation model for traffic flow on the basis of Boolean operations , 1986 .

[16]  M J Lighthill,et al.  On kinematic waves II. A theory of traffic flow on long crowded roads , 1955, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[17]  Eike Best,et al.  Overview of the results of the Esprit basic research action DEMON-design methods based on nets , 1991, Proceedings of the Fourth International Workshop on Petri Nets and Performance Models PNPM91.