Dynamic contracts for distributed temporal logic control of traffic networks

Contract-based design is a method to synthesize distributed control strategies for large-scale networks of dynamically coupled systems. We propose a framework for using dynamic contracts for controlling traffic networks from temporal logic specifications. Given a traffic network, we partition it into a number of smaller sub-networks and compute a collection of assume-guarantee contracts for their dynamical interconnections. A central supervisor chooses the best contracts optimally according to the current state of the system. We use model predictive control (MPC) to find control sequences optimally for each sub-network subject to its contract obligations to and promises from its neighboring sub-networks. Our method is correct-by-design. A case study on a mixed urban-freeway network is presented, where the objective is infinite-time congestion avoidance and temporal requirements on the traffic lights in the urban intersections.

[1]  Roberto Horowitz,et al.  Optimal freeway ramp metering using the asymmetric cell transmission model , 2006 .

[2]  Sophie Midenet,et al.  The real-time urban traffic control system CRONOS: Algorithm and experiments , 2006 .

[3]  Wang,et al.  Review of road traffic control strategies , 2003, Proceedings of the IEEE.

[4]  Lucas Barcelos de Oliveira,et al.  Distributed Optimization for Model Predictive Control of Linear-Dynamic Networks , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[5]  Petter Nilsson,et al.  Interdependence quantification for compositional control synthesis with an application in vehicle safety systems , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[6]  Calin Belta,et al.  Formal Synthesis of Distributed Optimal Traffic Control Policies , 2017, 2017 ACM/IEEE 8th International Conference on Cyber-Physical Systems (ICCPS).

[7]  Murat Arcak,et al.  Efficient finite abstraction of mixed monotone systems , 2015, HSCC.

[8]  Emilio Frazzoli,et al.  Capacity-Aware Backpressure Traffic Signal Control , 2013, IEEE Transactions on Control of Network Systems.

[9]  Y. Xi,et al.  Model Predictive Control for urban traffic networks via MILP , 2010, Proceedings of the 2010 American Control Conference.

[10]  Pravin Varaiya,et al.  CTMSIM — An interactive macroscopic freeway traffic simulator , 2008 .

[11]  Krishnendu Chatterjee,et al.  Assume-Guarantee Synthesis , 2007, TACAS.

[12]  Calin Belta,et al.  Safety control of monotone systems with bounded uncertainties , 2016, 2016 IEEE 55th Conference on Decision and Control (CDC).

[13]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[14]  Alberto L. Sangiovanni-Vincentelli,et al.  Model predictive control with signal temporal logic specifications , 2014, 53rd IEEE Conference on Decision and Control.

[15]  D. Mayne,et al.  Model predictive control of constrained piecewise affine discrete‐time systems , 2003 .

[16]  R D Bretherton,et al.  SCOOT-a Traffic Responsive Method of Coordinating Signals , 1981 .

[17]  Nikolas Geroliminis,et al.  Cooperative traffic control of a mixed network with two urban regions and a freeway , 2013 .

[18]  Sanjit A. Seshia,et al.  Compositional controller synthesis for vehicular traffic networks , 2015, 2015 54th IEEE Conference on Decision and Control (CDC).

[19]  Ron Koymans,et al.  Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.

[20]  Lucas Barcelos de Oliveira,et al.  Multi-agent Model Predictive Control of Signaling Split in Urban Traffic Networks ∗ , 2010 .

[21]  Dimitri P. Bertsekas,et al.  Dynamic Programming and Optimal Control, Two Volume Set , 1995 .

[22]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[23]  G. Como,et al.  Convexity and Robustness of Dynamic Network Traffic Assignment for Control of Freeway Networks , 2016 .

[24]  Danwei Wang,et al.  Distributed traffic signal control for maximum network throughput , 2012, 2012 15th International IEEE Conference on Intelligent Transportation Systems.

[25]  Sanjit A. Seshia,et al.  Directed Specifications and Assumption Mining for Monotone Dynamical Systems , 2016, HSCC.

[26]  Richard M. Murray,et al.  Optimal Control of Nonlinear Systems with Temporal Logic Specifications , 2016, ISRR.

[27]  Petter Nilsson,et al.  Synthesis of separable controlled invariant sets for modular local control design , 2015, 2016 American Control Conference (ACC).