Martin Hilscher

Learn More
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 two(More)
and has held that position since 2001. During his more than 17 years in the company, he has been responsible for the machinery dynamics of compressors and compressor trains of order related tasks. He has been active in correlating analytical results with field data in numerous troubleshooting and problem diagnosis situations. with the thesis, " Series(More)
  • 1