Least Restrictive Supervisors for Intersection Collision Avoidance: A Scheduling Approach

We consider a cooperative conflict resolution problem that finds application, for example, in vehicle intersection crossing. We seek to determine minimally restrictive supervisors, which allow agents to choose all possible control actions that keep the system safe, that is, conflict free. This is achieved by determining the maximal controlled invariant set, and then by determining control actions that keep the system state inside this set. By exploiting the natural monotonicity of the agents dynamics along their paths, we translate this problem into an equivalent scheduling problem. This allows us to leverage existing results in the scheduling literature to obtain both exact and approximate solutions. The approximate algorithms have polynomial complexity and can handle large problems with guaranteed approximation bounds. We illustrate the application of the proposed algorithms through simulations in which vehicles crossing an intersection are overridden by the supervisor only when necessary to maintain safety.

[1]  S. Shankar Sastry,et al.  Semi-decidable Synthesis for Triangular Hybrid Systems , 2001, HSCC.

[2]  David Angeli,et al.  Monotone control systems , 2003, IEEE Trans. Autom. Control..

[3]  Jianghai Hu,et al.  Application of Reachability Analysis for Stochastic Hybrid Systems to Aircraft Conflict Prediction , 2008, IEEE Transactions on Automatic Control.

[4]  Jonas Sjöberg,et al.  Autonomous cooperative driving: A velocity-based negotiation approach for intersection crossing , 2013, 16th International IEEE Conference on Intelligent Transportation Systems (ITSC 2013).

[5]  John Lygeros,et al.  Synthesizing Controllers for Nonlinear Hybrid Systems , 1998, HSCC.

[6]  Domitilla Del Vecchio,et al.  Automated Vehicle-to-Vehicle Collision Avoidance at Intersections , 2011 .

[7]  Domitilla Del Vecchio,et al.  Cooperative Collision Avoidance at Intersections: Algorithms and Experiments , 2013, IEEE Transactions on Intelligent Transportation Systems.

[8]  Robert E. Tarjan,et al.  Scheduling Unit-Time Tasks with Arbitrary Release Times and Deadlines , 1981, SIAM J. Comput..

[9]  Domitilla Del Vecchio,et al.  Supervisory control for collision avoidance in vehicular networks with imperfect measurements , 2013, 52nd IEEE Conference on Decision and Control.

[10]  Jonathan P. How,et al.  Spacecraft trajectory planning with avoidance constraints using mixed-integer linear programming , 2002 .

[11]  David S. Johnson,et al.  Two-Processor Scheduling with Start-Times and Deadlines , 1977, SIAM J. Comput..

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

[13]  Antonio Bicchi,et al.  Conflict resolution problems for air traffic management systems solved with mixed integer programming , 2002, IEEE Trans. Intell. Transp. Syst..

[14]  Dean P. Chiang,et al.  Advanced Crash Avoidance Technologies Program – Final Report of the Honda-DRI Team Volume I: Executive Summary and Technical Report , 2011 .

[15]  Domitilla Del Vecchio,et al.  Supervisory control for intersection collision avoidance in the presence of uncontrolled vehicles , 2014, 2014 American Control Conference.

[16]  Domitilla Del Vecchio,et al.  Robust multi-agent collision avoidance through scheduling , 2013, 52nd IEEE Conference on Decision and Control.

[17]  Brian A. Davey,et al.  An Introduction to Lattices and Order , 1989 .

[18]  Jan Karel Lenstra,et al.  Complexity of machine scheduling problems , 1975 .

[19]  John Lygeros,et al.  A probabilistic approach to aircraft conflict detection , 2000, IEEE Trans. Intell. Transp. Syst..

[20]  Kyoung-Dae Kim.  Collision free autonomous ground traffic: A model predictive control approach , 2013, 2013 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[21]  Maria Prandini,et al.  Air traffic complexity in future Air Traffic Management systems , 2012 .

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

[23]  Matthias Althoff,et al.  Reachable set computation for uncertain time-varying linear systems , 2011, HSCC '11.

[24]  J. Lygeros,et al.  A game theoretic approach to controller design for hybrid systems , 2000, Proceedings of the IEEE.

[25]  Panganamala Ramana Kumar,et al.  Provable Systemwide Safety in Intelligent Intersections , 2011, IEEE Transactions on Vehicular Technology.

[26]  Domitilla Del Vecchio,et al.  Enforcing safety of cyberphysical systems using flatness and abstraction , 2011, SIGBED.

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

[28]  Alexandre M. Bayen,et al.  Computational techniques for the verification of hybrid systems , 2003, Proc. IEEE.

[29]  Mireille E. Broucke,et al.  On the least restrictive control for collision avoidance of two unicycles , 2006 .

[30]  Ness B. Shroff,et al.  Optimal Energy-Aware Epidemic Routing in DTNs , 2015, IEEE Trans. Autom. Control..

[31]  S. Shankar Sastry,et al.  Decidable Controller Synthesis for Classes of Linear Systems , 2000, HSCC.

[32]  John Lygeros,et al.  Controllers for reachability specifications for hybrid systems , 1999, Autom..

[33]  Ian M. Mitchell,et al.  Overapproximating Reachable Sets by Hamilton-Jacobi Projections , 2003, J. Sci. Comput..

[34]  R. K. Shyamasundar,et al.  Introduction to algorithms , 1996 .

[35]  D. Del Vecchio,et al.  Development of a Scaled Vehicle With Longitudinal Dynamics of an HMMWV for an ITS Testbed , 2008, IEEE/ASME Transactions on Mechatronics.

[36]  Michael Pinedo,et al.  Scheduling: Theory, Algorithms, and Systems , 1994 .

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

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

[39]  Domitilla Del Vecchio,et al.  Supervisory control for collision avoidance in vehicular networks using discrete event abstractions , 2013, 2013 American Control Conference.

[40]  William Singhose,et al.  Bounds on Controller Taskload Rates at an Intersection for Dense Traffic , 2011, Proceedings of the 2011 American Control Conference.

[41]  Manolis A. Christodoulou,et al.  Automatic commercial aircraft-collision avoidance in free flight: the three-dimensional problem , 2006, IEEE Transactions on Intelligent Transportation Systems.

[42]  Ian M. Mitchell,et al.  Safety verification of conflict resolution manoeuvres , 2001, IEEE Trans. Intell. Transp. Syst..

[43]  Paul D. Alexander,et al.  Cooperative Intelligent Transport Systems: 5.9-GHz Field Trials , 2011, Proceedings of the IEEE.

[44]  Alessandro Colombo,et al.  A mathematical framework for cooperative collision avoidance of human-driven vehicles at intersections , 2014, 2014 11th International Symposium on Wireless Communications Systems (ISWCS).

[45]  Hazem H. Refai,et al.  Intersection collision avoidance system using infrastructure communication , 2011, 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[46]  Eric Feron,et al.  Stability of intersecting aircraft flows using heading change maneuvers for conflict avoidance , 2002, Proceedings of the 2002 American Control Conference (IEEE Cat. No.CH37301).

[47]  Michael Maile,et al.  Cooperative Intersection Collision Avoidance System Limited to Stop Sign and Traffic Signal Violations , 2008 .

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

[49]  Antoine Girard,et al.  Efficient Computation of Reachable Sets of Linear Time-Invariant Systems with Inputs , 2006, HSCC.

[50]  Claire J. Tomlin,et al.  Maneuver design for multiple aircraft conflict resolution , 2000, Proceedings of the 2000 American Control Conference. ACC (IEEE Cat. No.00CH36334).