A distributed protocol for motion coordination in free-range vehicular systems

This work extends our research on motion coordination of free-range vehicular systems based on concepts and results borrowed from resource allocation systems (RAS) theory, to vehicular systems with limited communication range among the vehicles. Similar to the earlier work, the employed model assumes the tessellation of the motion plane into cells, which are allocated to the traveling vehicles in a controlled manner that ensures collision-free and live motion. On the other hand, the limited communication range of the vehicles implies that full synchronization of their access to the considered cells is not possible any more, and yields new challenges for the deployed supervisory control policies. To enable the development of supervisory policies capable of providing the necessary partial synchronization of the cell allocation, we modify the structure of the adopted tessellation by allowing the concurrent occupation of a cell by up to two vehicles at a time, instead of only one, that was assumed earlier. This modification renders polynomially computable the relevant maximally permissive cell allocation policy, and it enables the implementation of this policy in the form of a distributed protocol that is feasible in the context of the communication constraints that are considered in this work.

[1]  Antonio Bicchi,et al.  Decentralized Cooperative Policy for Conflict Resolution in Multivehicle Systems , 2007, IEEE Transactions on Robotics.

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

[3]  Ieee Robotics,et al.  IEEE robotics & automation magazine , 1994 .

[4]  Norman M. Abramson,et al.  THE ALOHA SYSTEM: another alternative for computer communications , 1899, AFIPS '70 (Fall).

[5]  Antonio Bicchi,et al.  On optimal cooperative conflict resolution for air traffic management systems , 2000, IEEE Trans. Intell. Transp. Syst..

[6]  John Lygeros,et al.  Verified hybrid controllers for automated vehicles , 1998, IEEE Trans. Autom. Control..

[7]  James K. Kuchar,et al.  A review of conflict detection and resolution modeling methods , 2000, IEEE Trans. Intell. Transp. Syst..

[8]  Michael R. M. Jenkin,et al.  Inertial Sensors, GPS, and Odometry , 2008, Springer Handbook of Robotics.

[9]  Pascal Morin,et al.  Motion Control of Wheeled Mobile Robots , 2008, Springer Handbook of Robotics.

[10]  Kostas J. Kyriakopoulos,et al.  Nonholonomic navigation and control of cooperating mobile manipulators , 2003, IEEE Trans. Robotics Autom..

[11]  Spyros A. Reveliotis,et al.  On the Complexity of Maximally Permissive Deadlock Avoidance in Multi-Vehicle Traffic Systems , 2010, IEEE Transactions on Automatic Control.

[12]  Edsger W. Dijkstra,et al.  Cooperating sequential processes , 2002 .

[13]  Xin-She Yang,et al.  Introduction to Algorithms , 2021, Nature-Inspired Optimization Algorithms.

[14]  Dimos V. Dimarogonas,et al.  A feedback stabilization and collision avoidance scheme for multiple independent non-point agents, , 2006, Autom..

[15]  Erol A. Peköz,et al.  A Second Course in Probability , 2007 .

[16]  Steven M. LaValle,et al.  Optimal motion planning for multiple robots having independent goals , 1998, IEEE Trans. Robotics Autom..

[17]  C. Tomlin,et al.  Decentralized optimization, with application to multiple aircraft coordination , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[18]  George Coulouris,et al.  Distributed systems - concepts and design , 1988 .

[19]  Spyros A. Reveliotis,et al.  Conflict Resolution in Free-Ranging Multivehicle Systems: A Resource Allocation Paradigm , 2011, IEEE Transactions on Robotics.

[20]  Elzbieta Roszkowska,et al.  A Distributed Protocol for Motion Coordination in Free-Range Vehicular Systems , 2011 .

[21]  Haoxun Chen,et al.  Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources , 1996 .

[22]  Spyros Reveliotis Real-time management of resource allocation systems : a discrete event systems approach , 2004 .

[23]  Howie Choset,et al.  Flow-Through Policies for Hybrid Controller Synthesis Applied to Fully Actuated Systems , 2009, IEEE Transactions on Robotics.

[24]  Mark Lawley,et al.  Polynomial-complexity deadlock avoidance policies for sequential resource allocation systems , 1997, IEEE Trans. Autom. Control..

[25]  Steven M. LaValle,et al.  Optimal motion planning for multiple robots having independent goals , 1996, Proceedings of IEEE International Conference on Robotics and Automation.

[26]  Jan M. Maciejowski,et al.  Predictive control : with constraints , 2002 .

[27]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

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

[29]  Spyros A. Reveliotis,et al.  Conflict resolution in multi-vehicle systems: A resource allocation paradigm , 2008, 2008 IEEE International Conference on Automation Science and Engineering.

[30]  Thomas H. Cormen,et al.  Introduction to algorithms [2nd ed.] , 2001 .