elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Ensuring Drivability of Planned Motions from Simple Models Using Formal Methods

Schürmann, Bastian and Heß, Daniel and Eilbrecht, Jan and Stursberg, Olaf and Köster, Frank and Althoff, Matthias (2017) Ensuring Drivability of Planned Motions from Simple Models Using Formal Methods. ITSC 2017, 16.-19.10.2017, Yokohama, Japan. (Submitted)

WarningThere is a more recent version of this item available.

[img] PDF
1MB

Abstract

Motion planning of automated vehicles requires dynamical models to ensure that obtained trajectories are drivable. An often overlooked aspect is that usually simplified models are used for motion planning, which do not always sufficiently conform to the real behavior of vehicles. Thus, collision avoidance and drivability is not necessarily ensured. We address this problem by modeling vehicles as differential inclusions composed from simple dynamics plus set-based uncertainty; conformance testing is used to determine the required uncertainty. To quickly provide the set of solutions of these uncertain models, we provide pre-computed reachable sets (i.e. union of all possible solutions) for pre-selected motion primitives. The reachable sets of vehicles are obtained by a novel combination of optimization techniques and reachability analysis – they enable us to guarantee safety by checking their mutual non-intersection for consecutive time intervals. The benefits of our approach are demonstrated by numerical experiments.

Item URL in elib:https://elib.dlr.de/111510/
Document Type:Conference or Workshop Item (Other)
Title:Ensuring Drivability of Planned Motions from Simple Models Using Formal Methods
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Schürmann, Bastianbastian.schuermann (at) tum.deUNSPECIFIED
Heß, DanielDaniel.Hess (at) dlr.deUNSPECIFIED
Eilbrecht, Janjan.eilbrecht (at) uni-kassel.deUNSPECIFIED
Stursberg, Olafstursberg (at) uni-kassel.deUNSPECIFIED
Köster, Frankfrank.koester (at) dlr.deUNSPECIFIED
Althoff, Matthiasalthoff (at) tum.deUNSPECIFIED
Date:2017
Refereed publication:Yes
Open Access:No
In DOAJ:No
In SCOPUS:No
In ISI Web of Science:No
Status:Submitted
Keywords:Automated Driving, Conformance Testing, Reachability Analysis, Formal Verification
Event Title:ITSC 2017
Event Location:Yokohama, Japan
Event Type:international Conference
Event Dates:16.-19.10.2017
Organizer:ieee
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Transport
HGF - Program Themes:Terrestrial Vehicles
DLR - Research area:Transport
DLR - Program:V BF - Bodengebundene Fahrzeuge
DLR - Research theme (Project):V - Fahrzeugintelligenz
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems
Deposited By: Heß, Daniel
Deposited On:10 Apr 2017 14:43
Last Modified:31 Dec 2017 03:00

Available Versions of this Item

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.