Efficient algorithms for collision avoidance at intersections

We consider the problem of synthesising the least restrictive controller for collision avoidance of multiple vehicles at an intersection. The largest set of states for which there exists a control that avoids collisions is known as the maximal controlled invariant set. Exploiting results from the scheduling literature we prove that, for a general model of vehicle dynamics at an intersection, the problem of checking membership in the maximal controlled invariant set is NP-hard. We then describe an algorithm that solves this problem approximately and with provable error bounds. The approximate solution is used to design a supervisor for collision avoidance whose complexity scales polynomially with the number of vehicles. The supervisor is based on a hybrid algorithm that employs a dynamic model of the vehicles and periodically solves a scheduling problem.

[1]  D. Luenberger.  Optimization by Vector Space Methods , 1968 .

[2]  Arthur E. Bryson,et al.  Applied Optimal Control , 1969 .

[3]  J. Meditch,et al.  Applied optimal control , 1972, IEEE Transactions on Automatic Control.

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

[5]  E.L. Lawler,et al.  Optimization and Approximation in Deterministic Sequencing and Scheduling: a Survey , 1977 .

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

[7]  Aleksej F. Filippov,et al.  Differential Equations with Discontinuous Righthand Sides , 1988, Mathematics and Its Applications.

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

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

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

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

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

[13]  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.

[14]  Domitilla Del Vecchio,et al.  Partial order techniques for vehicle collision avoidance: Application to an autonomous roundabout test-bed , 2009, 2009 IEEE International Conference on Robotics and Automation.

[15]  Ronald L. Rivest,et al.  Introduction to Algorithms, third edition , 2009 .

[16]  Domitilla Del Vecchio,et al.  Formal design of a provably safe robotic roundabout system , 2010, 2010 IEEE/RSJ International Conference on Intelligent Robots and Systems.

[17]  Domitilla Del Vecchio,et al.  Computational Tools for the Safety Control of a Class of Piecewise Continuous Systems with Imperfect Information on a Partial Order , 2011, SIAM J. Control. Optim..

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

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

[20]  Domitilla Del Vecchio,et al.  Supervisory control of differentially flat systems based on abstraction , 2011, IEEE Conference on Decision and Control and European Control Conference.

[21]  P. Olver.  Nonlinear Systems , 2013 .

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