Ody, Heinrich (2020) Monitoring of traffic manoeuvres with imprecise information. PhD, Universität Oldenburg.

[img]
Preview


Volltext (2268Kb)

Abstract

There is a trend in developing more and more autonomous driver assistance systems. Here, automation of formal spatio-temporal reasoning about traffic manoeuvres can help to analyse such systems. Multi-Lane Spatial Logic is a logic tailored towards formal reasoning about spatial aspects of motorways. For this logic we investigate means of automation, while paying special attention to imprecise information resulting from sensor readings. Additionally, we extend the logic Duration Calculus by introducing temporal discounting. We show that for a relevant fragment of our extension, model checking is decidable. We connect this to our work on traffic manoeuvres by using our extension to analyse the temporal quality of a hazard warning protocol for motorways.

["eprint_fieldname_title_plus" not defined]

Analyse von Verkehrsmanövern mit ungenauen Informationen

["eprint_fieldname_abstract_plus" not defined]

Fahrerassistenzsysteme werden immer autonomer und damit auch immer komplexer. Hier kann automatisiertes logisches Schließen für Verkehrsmanöver helfen, um solche Systeme zu analysieren. Multi-Lane Spatial Logic ist eine räumliche Logik, welche auf die Analyse von Verkehrsmanövern spezialisiert ist. Für diese Logik untersuchen wir Möglichkeiten der Automatisierung unter Berücksichtigung von ungenauen Sensordaten. Zusätzlich erweitern wir die Logik Duration Calculus mit der Möglichkeit temporale Präferenzen auszudrücken. Wir zeigen, dass Model Checking für ein relevantes Fragment der resultierenden Logik entscheidbar ist. Wir verbinden dies mit unserer Arbeit an Verkehrsmanövern, indem wir unsere Erweiterung verwenden, um ein Gefahrenwarnprotokoll für Autobahnen zu analysieren.

Item Type: Thesis (PhD)
Uncontrolled Keywords: Entscheidbarkeit, robuste Unentscheidbarkeit, räumliche Logik, temporale Logik, Verkehrssicherheit
Subjects: Generalities, computers, information > Computer science, internet
Divisions: School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited: 01 Dec 2020 14:13
Last Modified: 03 Dec 2020 11:36
URI: https://oops.uni-oldenburg.de/id/eprint/4730
URN: urn:nbn:de:gbv:715-oops-48112
DOI:
Nutzungslizenz:

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...