Abstract-Det är av yttersta vikt för automatiska kollision undvikande system att korrekt utvärdera risken för en aktuell situation och ständigt besluta, om och vilken typ av undanmanöver måste initieras. De flesta rörelseplaneringsalgoritmer finner sådan manöver genom att söka en deterministisk eller slumpmässig delmängd av tillståndsutrymmet eller inmatningsutrymmet. Dessa metoder kan utformas för att vara kompletta i den meningen att de konvergerar till en genomförbar lösning eftersom provtagningen görs tätare. De är dock inte lämpliga för att avgöra om det finns en lösning. I detta dokument presenterar vi en strategi som överskattar den tillgängliga uppsättningen av värdfordon som överväger hinder på arbetsplatsen. Således ger det en övre gräns för lösningen uppsättningen och det kan rapportera om ingen lösning finns. Dessutom kan den beräknade uppsättningen användas för att vägleda sökandet efter en underliggande planeringsalgoritm för att hitta en lösning eftersom varje bana för värdfordonet är säkerställd att inneslutas i denna uppsättning.
Denna över- approximation kan användas för att bestämma icke-existens av undanmanöver banor REF.
Determining the Nonexistence of Evasive Trajectories for Collision Avoidance Systems
{'venue': '2015 IEEE 18th International Conference on Intelligent Transportation Systems', 'journal': '2015 IEEE 18th International Conference on Intelligent Transportation Systems', 'mag_field_of_study': ['Engineering', 'Computer Science']}