Safe and stabilizing distributed multi-path cellular flows

We study the problem of distributed traffic control in the partitioned plane, where the movement of all entities (robots, vehicles, etc.) within each partition (cell) is coupled. Establishing liveness in such systems is challenging, but such analysis will be necessary to apply such distributed traffic control algorithms in applications like coordinating robot swarms and the intelligent highway system. We present a formal model of a distributed traffic control protocol that guarantees minimum separation between entities, even as some cells fail. Once new failures cease occurring, in the case of a single target, the protocol is guaranteed to self-stabilize and the entities with feasible paths to the target cell make progress towards it. For multiple targets, failures may cause deadlocks in the system, so we identify a class of non-deadlocking failures where all entities are able to make progress to their respective targets. The algorithm relies on two general principles: temporary blocking for maintenance of safety and local geographical routing for guaranteeing progress. Our assertional proofs may serve as a template for the analysis of other distributed traffic control protocols. We present simulation results that provide estimates of throughput as a function of entity velocity, safety separation, single-target path complexity, failure-recovery rates, and multi-target path complexity.

[1]  R. Verma,et al.  Semiautonomous Multivehicle Safety , 2011, IEEE Robotics & Automation Magazine.

[2]  Marco Dorigo,et al.  Path formation in a robot swarm , 2008, Swarm Intelligence.

[3]  André Platzer,et al.  Quantified differential invariants , 2011, HSCC '11.

[4]  Nancy A. Lynch,et al.  High-level modeling and analysis of TCAS , 1999, Proceedings 20th IEEE Real-Time Systems Symposium (Cat. No.99CB37054).

[5]  Jacob Beal,et al.  Infrastructure for engineered emergence on sensor/actuator networks , 2006, IEEE Intelligent Systems.

[6]  Peter Stone,et al.  Enforcing Liveness in Autonomous Traffic Management , 2011, AAAI.

[7]  André Platzer,et al.  Adaptive Cruise Control: Hybrid, Distributed, and Now Formally Verified , 2011, FM.

[8]  Ruggero Carli,et al.  Discrete Partitioning and Coverage Control for Gossiping Robots , 2010, IEEE Transactions on Robotics.

[9]  Ileana Streinu,et al.  Acute Triangulations of Polygons , 2005, Discret. Comput. Geom..

[10]  L. Coletti,et al.  MAC for ad-hoc inter-vehicle network: services and performance , 2003, 2003 IEEE 58th Vehicular Technology Conference. VTC 2003-Fall (IEEE Cat. No.03CH37484).

[11]  Yushan Chen,et al.  Formal Approach to the Deployment of Distributed Robotic Teams , 2012, IEEE Transactions on Robotics.

[12]  Lionel M. Ni,et al.  A survey of wormhole routing techniques in direct networks , 1993, Computer.

[13]  Nachum Shacham,et al.  Distributed algorithms for computing shortest pairs of disjoint paths , 1993, IEEE Trans. Inf. Theory.

[14]  Dirk Helbing,et al.  Jams, Waves, and Clusters , 1998, Science.

[15]  Baruch Awerbuch,et al.  A simple local-control approximation algorithm for multicommodity flow , 1993, Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science.

[16]  Kenneth M. Jones,et al.  Small Aircraft Transportation System, Higher Volume Operations Concept: Normal Operations , 2013 .

[17]  S. Shankar Sastry,et al.  Conflict resolution for air traffic management: a study in multiagent hybrid systems , 1998, IEEE Trans. Autom. Control..

[18]  Victor Carreño,et al.  Formal Analysis of the Operational Concept for the Small Aircraft Transportation System , 2006, RODIN Book.

[19]  Calin Belta,et al.  Controlling a Class of Nonlinear Systems on Rectangles , 2006, IEEE Transactions on Automatic Control.

[20]  C. Daganzo.  THE CELL TRANSMISSION MODEL.. , 1994 .

[21]  Jacob Beal,et al.  Composable continuous-space programs for robotic swarms , 2010, Neural Computing and Applications.

[22]  William Whittaker,et al.  Autonomous driving in urban environments: Boss and the Urban Challenge , 2008, J. Field Robotics.

[23]  Taylor T. Johnson,et al.  Safe Flocking in Spite of Actuator Faults using Directional Failure Detectors , 2011 .

[24]  Daniel M. Williams.  Point-to-Point! Validation of the Small Aircraft Transportation System Higher Volume Operations Concept , 2006 .

[25]  Taylor T. Johnson,et al.  A Small Model Theorem for Rectangular Hybrid Automata Networks , 2012, FMOODS/FORTE.

[26]  B. Kerner.  EXPERIMENTAL FEATURES OF SELF-ORGANIZATION IN TRAFFIC FLOW , 1998 .

[27]  Seif Haridi,et al.  Distributed Algorithms , 1992, Lecture Notes in Computer Science.

[28]  Nancy A. Lynch,et al.  Self-stabilizing robot formations over unreliable networks , 2009, TAAS.

[29]  Datta N. Godbole,et al.  Automated Highway Systems , 1996 .

[30]  Hadas Kress-Gazit,et al.  Temporal-Logic-Based Reactive Mission and Motion Planning , 2009, IEEE Transactions on Robotics.

[31]  Carlos F. Daganzo,et al.  THE CELL TRANSMISSION MODEL.. , 1993 .

[32]  Brenda S. Baker,et al.  Nonobtuse triangulation of polygons , 1988, Discret. Comput. Geom..

[33]  Sayan Mitra,et al.  Stability of Distributed Algorithms in the Face of Incessant Faults , 2009, SSS.

[34]  David Herrero Pérez,et al.  Decentralized coordination of autonomous AGVs in flexible manufacturing systems , 2008, IROS.

[35]  Marshall W. Bern,et al.  Linear-size nonobtuse triangulation of polygons , 1994, SCG '94.

[36]  Ajoy Kumar Datta,et al.  Snap-stabilization and PIF in tree networks , 2007, Distributed Computing.

[37]  Taylor T. Johnson,et al.  Parametrized Verification of Distributed Cyber-Physical Systems: An Aircraft Landing Protocol Case Study , 2012, 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems.

[38]  Reza Olfati-Saber,et al.  Flocking for multi-agent dynamic systems: algorithms and theory , 2006, IEEE Transactions on Automatic Control.

[39]  Leandros Tassiulas,et al.  Stability properties of constrained queueing systems and scheduling policies for maximum throughput in multihop radio networks , 1992 .

[40]  Franco Zambonelli,et al.  Distributed motion coordination with Co-Fields: a case study in urban traffic management , 2003, The Sixth International Symposium on Autonomous Decentralized Systems, 2003. ISADS 2003..

[41]  Edsger W. Dijkstra,et al.  Self-stabilizing systems in spite of distributed control , 1974, CACM.

[42]  Vijay K. Garg,et al.  Distributed predicate detection in a faulty environment , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[43]  Peter Stone,et al.  A Multiagent Approach to Autonomous Intersection Management , 2008, J. Artif. Intell. Res..

[44]  Thomas Prevot.  Exploring the Many Perspectives of Distributed Air Traffic Management: The Multi Aircraft Control System MACS , 2002 .

[45]  Sung-Ju Lee,et al.  Split multipath routing with maximally disjoint paths in ad hoc networks , 2001, ICC 2001. IEEE International Conference on Communications. Conference Record (Cat. No.01CH37240).

[46]  Francesco Bullo,et al.  Distributed Control of Robotic Networks , 2009 .

[47]  R.M. Murray,et al.  On the robustness of distributed algorithms , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[48]  Taylor T. Johnson,et al.  Safe and Stabilizing Distributed Cellular Flows , 2010, 2010 IEEE 30th International Conference on Distributed Computing Systems.

[49]  Anish Arora,et al.  Closure and Convergence: A Foundation of Fault-Tolerant Computing , 1993, IEEE Trans. Software Eng..

[50]  Bruce M. McMillin,et al.  Automated Highway Systems , 2010 .

[51]  Ajoy Kumar Datta,et al.  Self-Stabilizing k-out-of-ℓ exclusion on tree networks , 2008, 2009 IEEE International Symposium on Parallel & Distributed Processing.

[52]  Hrushikesha Mohanty,et al.  A Distributed Algorithm for Edge-Disjoint Path Problem , 1986, FSTTCS.

[53]  Ajoy Kumar Datta,et al.  Self-Stabilizing k-out-of-l exclusion on tree networks , 2009, IPDPS.

[54]  Calin Belta,et al.  Discrete abstractions for robot motion planning and control in polygonal environments , 2005, IEEE Transactions on Robotics.

[56]  Jayakanth Srinivasan,et al.  A Safety and Human-Centered Approach to Developing New Air Traffic Management Tools , 2001 .

[57]  Sebastian Thrun,et al.  Stanley: The robot that won the DARPA Grand Challenge , 2006, J. Field Robotics.

[58]  Franco Zambonelli,et al.  Spatial Computing: An Emerging Paradigm for Autonomic Computing and Communication , 2004, WAC.

[59]  Kostas E. Bekris,et al.  Network-guided multi-robot path planning in discrete representations , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[60]  Tamio Arai,et al.  Distributed Autonomous Robotic Systems 3 , 1998 .

[61]  Ranga Vemuri,et al.  An integrated multicomponent synthesis environment for MCMs , 1993, Computer.

[62]  Raffaello D'Andrea,et al.  Adaptive Highways on a Grid , 2009, ISRR.

[63]  Felix C. Freiling,et al.  (Im)Possibilities of Predicate Detection in Crash-Affected Systems , 2001, WSS.

[64]  J.B. de Sousa,et al.  A control architecture for integrated cooperative cruise control and collision warning systems , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[65]  J. K. Hedrick,et al.  Constant Spacing Strategies for Platooning in Automated Highway Systems , 1999 .

[66]  Nancy A. Lynch,et al.  A Virtual Node-Based Tracking Algorithm for Mobile Networks , 2007, 27th International Conference on Distributed Computing Systems (ICDCS '07).

[67]  Domitilla Del Vecchio,et al.  Efficient algorithms for collision avoidance at intersections , 2012, HSCC '12.

[68]  Marco Dorigo,et al.  From Fireflies to Fault-Tolerant Swarms of Robots , 2009, IEEE Transactions on Evolutionary Computation.

[69]  Taylor T. Johnson.  Fault-tolerant distributed cyber-physical systems: two case studies , 2010 .

[70]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[71]  Alexandre M. Bayen,et al.  Virtual trip lines for distributed privacy-preserving traffic monitoring , 2008, MobiSys '08.

[72]  Gaurav Bhatia,et al.  Vehicular Networks for Collision Avoidance at Intersections , 2011 .

[73]  Raja Sengupta,et al.  Cooperative Collision Warning: Enabling Crash Avoidance with Wireless Technology , 2005 .

[74]  Carlos F. Daganzo,et al.  THE CELL TRANSMISSION MODEL, PART II: NETWORK TRAFFIC , 1995 .

[75]  Mahesh K. Marina,et al.  On-demand multipath distance vector routing in ad hoc networks , 2001, Proceedings Ninth International Conference on Network Protocols. ICNP 2001.

[76]  C. Daganzo,et al.  Possible explanations of phase transitions in highway traffic , 1999 .

[77]  D. Herrero-Perez,et al.  Decentralized coordination of autonomous AGVs in flexible manufacturing systems , 2008, 2008 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[78]  Kyoungho An,et al.  Model-Driven Performance Analysis of Reconfigurable Conveyor Systems Used in Material Handling Applications , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

[79]  Shlomi Dolev,et al.  Self Stabilization , 2004, J. Aerosp. Comput. Inf. Commun..

[80]  Jeremy V. Pitt,et al.  Multiagent based information dissemination in vehicular ad hoc networks , 2009, Mob. Inf. Syst..

[81]  Raffaello D'Andrea,et al.  Coordinating Hundreds of Cooperative, Autonomous Vehicles in Warehouses , 2007, AI Mag..

[82]  Nancy A. Lynch,et al.  Brief announcement: virtual stationary automata for mobile networks , 2005, PODC '05.

[83]  Ajoy Kumar Datta,et al.  Self-stabilizing depth-first token circulation in arbitrary rooted networks , 2000, Distributed Computing.

[84]  Pravin Varaiya,et al.  Smart cars on smart roads: problems of control , 1991, IEEE Trans. Autom. Control..

[85]  Nancy Lynch,et al.  Safety Verification for Automated Platoon Maneuvers: A Case Study , 1997, HART.

[86]  Nancy A. Lynch,et al.  Virtual Stationary Automata for Mobile Networks , 2005 .

[87]  Vinny Cahill,et al.  Sensor networks for smart roads , 2006, Fourth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOMW'06).

[88]  Ajoy Kumar Datta,et al.  Group mutual exclusion in tree networks , 2002, Ninth International Conference on Parallel and Distributed Systems, 2002. Proceedings..

[89]  Jorge Cortes,et al.  Distributed Control of Robotic Networks: A Mathematical Approach to Motion Coordination Algorithms , 2009 .

[90]  Michael S. Nolan,et al.  Fundamentals of Air Traffic Control , 1990 .

[91]  Nitin H. Vaidya,et al.  A vehicle-to-vehicle communication protocol for cooperative collision warning , 2004, The First Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services, 2004. MOBIQUITOUS 2004..

[92]  Adam Jaroszewicz.  Small Aircraft Transportation System , 2009 .

[93]  Ajoy Kumar Datta,et al.  Self-Stabilizing Depth-First Token Passing on Rooted Networks , 1997, WDAG.

[94]  Peter Weiss.  Stop‐and‐go science: By better understanding traffic flow, researchers hope to keep down highway congestion , 1999 .

[95]  Andreas Kamagaew,et al.  Concept of Cellular Transport Systems in facility logistics , 2011, The 5th International Conference on Automation, Robotics and Applications.

[96]  Yushan Chen,et al.  A Formal Approach to Deployment of Robotic Teams in an Urban-Like Environment , 2010, DARS.

[97]  Giovanna Di Marzo Serugendo,et al.  A Decentralised Car Traffic Control System Simulation Using Local Message Propagation Optimised with a Genetic Algorithm , 2006, ESOA.

[98]  Calin Belta,et al.  A Fully Automated Framework for Control of Linear Systems from Temporal Logic Specifications , 2008, IEEE Transactions on Automatic Control.

[99]  Yushan Chen,et al.  Automatic Deployment of Robotic Teams , 2011, IEEE Robotics & Automation Magazine.

[100]  M. Egerstedt,et al.  Motion probes for fault detection and recovery in networked control systems , 2008, 2008 American Control Conference.

[101]  Nancy A. Lynch,et al.  Timed Virtual Stationary Automata for Mobile Networks , 2005, OPODIS.

[102]  Calin Belta,et al.  Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications , 2010, IEEE Transactions on Robotics.

[103]  Panganamala Ramana Kumar,et al.  Safety and Liveness in Intelligent Intersections , 2008, HSCC.

[104]  Jan H. van Schuppen,et al.  Reachability and control synthesis for piecewise-affine hybrid systems on simplices , 2006, IEEE Transactions on Automatic Control.