Logo des Repositoriums
 

Beweisbare Eigenschaften autonomer Fahrmanöver im Stadtverkehr

dc.contributor.authorSchwammberger, Maike
dc.contributor.editorHölldobler, Steffen
dc.date.accessioned2022-01-14T14:02:02Z
dc.date.available2022-01-14T14:02:02Z
dc.date.issued2021
dc.description.abstractSeit einigen Jahren erobern (teil-) autonome Fahrzeuge oder Fahrassistenzsysteme zunehmend die Märkte. Um Fehlfunktionen und Unfällen mit autonomen Fahrzeugen vorzubeugen, ist es von großer Bedeutung die korrekte Funktionsweise solcher Systeme sicherzustellen. In meiner Dissertation untersuche ich daher eine Formalisierung wünschenswerter und gesellschaftlich geforderter Eigenschaften autonomer Fahrmanöver im Stadtverkehr. Eine solche Eigenschaft ist beispielsweise die Sicherheit eines Abbiegemanövers an einer Kreuzung. Um diese Eigenschaften beweisbar zu machen, schlage ich eine Abstraktion realer Straßenverkehrssituationen vor, welche möglichst viele verschiedene Situationen abdecken kann. In diesem abstrakten Modell weise ich durch logische Schluss- folgerungen und mit Hilfe einer Implementierung die wünschenswerten Eigenschaften der von mir entwickelten Kreuzungs-Controller nach.de
dc.identifier.isbn978-3-88579-775-3
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/37917
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofAusgezeichnete Informatikdissertationen 2020
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume D-21
dc.titleBeweisbare Eigenschaften autonomer Fahrmanöver im Stadtverkehrde
dc.typeText/Conference Paper
gi.citation.endPage308
gi.citation.publisherPlaceBonn
gi.citation.startPage299
gi.conference.date9.-12. Mai 2021
gi.conference.locationSchoss Dagstuhl, Deutschland

Dateien

Originalbündel
1 - 1 von 1
Lade...
Vorschaubild
Name:
Schwammberger-Maike.pdf
Größe:
5.34 MB
Format:
Adobe Portable Document Format