Book chapter · Conference paper
No Need Knowing Numerous Neighbours: Towards a Realizable Interpretation of MLSL
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.
Language: | English |
---|---|
Publisher: | Springer |
Year: | 2015 |
Pages: | 152-171 |
Proceedings: | Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday |
Series: | Lecture Notes in Computer Science |
Journal subtitle: | Proceedings of the Symposium in Honor of Ernst-rüdiger Olderog on the Occasion of His 60th Birthday |
ISBN: | 3319235052 , 3319235060 , 9783319235059 and 9783319235066 |
ISSN: | 03029743 |
Types: | Book chapter and Conference paper |
DOI: | 10.1007/978-3-319-23506-6_11 |
ORCIDs: | Hansen, Michael Reichhardt |