Martin Hilscher

Martin Hilscher
Carl von Ossietzky Universität Oldenburg · Department of Computing Science

Dipl-Inform.

About

7
Publications
921
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
170
Citations
Additional affiliations
May 2010 - present
Carl von Ossietzky Universität Oldenburg
Position
  • Research Assistant
April 2008 - March 2010
Carl von Ossietzky Universität Oldenburg
Position
  • Teching Assistant
Description
  • I co-taught Theoretical Computer Science 101, Petrinets, and Steganography.
March 2008 - March 2010
Carl von Ossietzky Universität Oldenburg
Position
  • Research Assistant
Education
October 2001 - March 2008
Carl von Ossietzky Universität Oldenburg
Field of study
  • Computer Science

Publications

Publications (7)
Article
The dynamic behavior of a car can be modeled as a hybrid system involving continuous state changes and discrete state transitions. We show that the control of safe (collision free) lane change maneuvers in multi-lane traffic on highways can be described by finite state machines extended with continuous variables coming from the environment. We use...
Conference Paper
Full-text available
The specification of Multi-lane Spatial Logic (MLSL) was introduced in [1, 2] for proving safety (collision freedom) on multi-lane motorways and country roads. We now consider an extension of MLSL to deal with urban traffic scenarios, thereby focusing on crossing manoeuvres at intersections. To this end, we modify the existing abstract model by int...
Conference Paper
Full-text available
The dynamic behavior of a car can be modeled as a hybrid system involving continuous state changes and discrete state transitions. However, we show that the control of safe (collision free) lane change maneuvers in multi-lane traffic on highways can be described by finite state machines extended with continuous variables coming from the environment...
Article
Full-text available
We extend the Multi-lane Spatial Logic MLSL, introduced in previous work for proving the safety (collision freedom) of traffic maneuvers on a multi-lane highway, by length measurement and dynamic modalities. We investigate the proof theory of this extension, called EMLSL. To this end, we prove the undecidability of EMLSL but nevertheless present a...
Conference Paper
Full-text available
We extend the Multi-lane Spatial Logic MLSL, introduced in previous work for proving the safety (collision freedom) of traffic maneuvers on a multi-lane highway, by length measurement and dynamic modalities. We investigate the proof theory of this extension, called EMLSL. To this end, we prove the undecidability of EMLSL but nevertheless present a...
Conference Paper
Full-text available
We adapt the Multi-lane Spatial Logic MLSL, introduced in [1] for proving the safety (collision freedom) of traffic manoeuvres on multi-lane motorways, where all cars drive in one direction, to the setting of country roads with two-way traffic. To this end, we need suitably refined sensor functions and length measurement in MLSL. Our main contribut...
Conference Paper
Full-text available
We present an approach to prove safety (collision freedom) of multi-lane motorway traffic with lane-change manoeuvres. This is ultimately a hybrid verification problem due to the continuous dynamics of the cars. We abstract from the dynamics by introducing a new spatial interval logic based on the view of each car. To guarantee safety, we present t...

Network

Cited By