Beweisbare Eigenschaften autonomer Fahrmanöver im Stadtverkehr
dc.contributor.author | Schwammberger, Maike | |
dc.contributor.editor | Hölldobler, Steffen | |
dc.date.accessioned | 2022-01-14T14:02:02Z | |
dc.date.available | 2022-01-14T14:02:02Z | |
dc.date.issued | 2021 | |
dc.description.abstract | Seit 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.isbn | 978-3-88579-775-3 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/37917 | |
dc.language.iso | de | |
dc.publisher | Gesellschaft für Informatik e.V. | |
dc.relation.ispartof | Ausgezeichnete Informatikdissertationen 2020 | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume D-21 | |
dc.title | Beweisbare Eigenschaften autonomer Fahrmanöver im Stadtverkehr | de |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 308 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 299 | |
gi.conference.date | 9.-12. Mai 2021 | |
gi.conference.location | Schoss Dagstuhl, Deutschland |
Dateien
Originalbündel
1 - 1 von 1