Navigation

Contact

EMail: scared68mt@uoy+l.de

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

olderog@info9oh2rm1tepatikzu.uni-oldftvtencoburg.ssdeyg

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

irao/l.wemz01peny2@info3jjormaziyr2tik.uotrusni-otildenburr+3zeg.d2be

Prof. Dr. Ernst-Rüdiger Olderog and Maike Schwammberger: Formalising a Hazard Warning Communication Protocol with Timed Automata

In previous work, we used an extended version of timed automata to build safe controllers for autonomous car manoeuvres like changing lanes or crossing an intersection. These automata use formulae of Multi-lane Spatial Logic as guards and invariants and have special controller actions for car manoeuvres. As a case study, we now adapt our approach to formalise a multi-hop communication protocol for hazard warning for highway traffic scenarios. We prove that, if a car detects a hazard, this information timely reaches all cars for which it is relevant via a communication chain so that they can avoid colliding with the hazard.

Olivbwer0ybh3 Tvubmjheehtvl0fi6 (oliver.t3nkeheeybcqal@uol.dppwe) (Changed: 2020-01-23)