  In this paper, we introduce a new conservation-based approach to model
traffic dynamics, and apply the model predictive control (MPC) approach to
control the boundary traffic inflow and outflow, so that the traffic congestion
is reduced. We establish an interface between the Simulation of Urban Mobility
(SUMO) software and MATLAB to define a network of interconnected roads (NOIR)
as a directed graph, and present traffic congestion management as a network
control problem. By formally specifying the traffic feasibility conditions, and
using the linear temporal logic, we present the proposed MPC-based boundary
control problem as a quadratic programming with linear equality and inequality
constraints. The success of the proposed traffic boundary control is
demonstrated by simulation of traffic congestion control in Center City
Philadelphia.
