Abstract-The verifiering av undanmanövrar för autonoma fordon körning med konstant hastighet beaktas. Modelleringsosäkerheter, osäkra mätningar och störningar kan orsaka betydande avvikelser från en från början planerad undanmanöver. Av detta följer att manövern, som är säker under perfekta förhållanden, kan bli osäker. I detta arbete, den möjliga uppsättning avvikelser beräknas med metoder från räckvidd analys, som gör det möjligt att verifiera undanmanövrar under beaktande av nämnda osäkerheter. Eftersom det föreslagna tillvägagångssättet har en kort svarstid kan det tillämpas för beslut om säkerhet i realtid. Metoderna presenteras för ett numeriskt exempel där två autonoma bilar planerar en samordnad undanmanöver för att förhindra kollision med en felvägsförare.
REF Reachability analys.
Safety verification of autonomous vehicles for coordinated evasive maneuvers
{'venue': '2010 IEEE Intelligent Vehicles Symposium', 'journal': '2010 IEEE Intelligent Vehicles Symposium', 'mag_field_of_study': ['Engineering', 'Computer Science']}