No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL

Martin Fränzle, Michael Reichhardt Hansen, Heinrich Ody

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

The Multi-Lane Spatial Logic MLSL introduced by Hilscher et al. in [4] is a two-dimensional spatial logic geared towards modelling and analysis of traffic situations, where the two dimensions are interpreted as the lanes of a road and the distance travelled down that road, respectively. The intended use of MLSL is for capturing (and reasoning about) guards and invariants in decision-making schemes for highly automated driving [12]. Unfortunately, the logic turns out to be undecidable [7,8,11], rendering implementability and thus the actual use of such guard conditions in real-time decision making questionable in general. We here show that under a reasonable model of technical observation of the traffic situation, the actual decidability and implementability issues take a much more pleasing form: given that an actual autonomous car can only sample state information of a finite set of environmental cars in real-time, we show that it is decidable whether truth of an arbitrary MLSL formula can be safely determined on a given sample size. For such feasible formulas, we furthermore state a procedure for determining their truth values based on such a sample.
Original languageEnglish
Title of host publicationCorrect System Design : Proceedings of the Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday
EditorsRoland Meyer, Heike Wehrheim, André Platzer
PublisherSpringer
Publication date2015
Pages152-171
ISBN (Print)978-3-319-23505
ISBN (Electronic)978-3-319-23506-6
DOIs
Publication statusPublished - 2015
EventSymposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday - Oldenburg, Germany
Duration: 8 Sep 20159 Sep 2015

Conference

ConferenceSymposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday
CountryGermany
CityOldenburg
Period08/09/201509/09/2015
SeriesLecture Notes in Computer Science
Volume9360
ISSN0302-9743

Keywords

  • Highly automated driving
  • Real-time decision making
  • Spatial logic
  • Decidability

Fingerprint Dive into the research topics of 'No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL'. Together they form a unique fingerprint.

Cite this