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)
Load commutated inverters (LCI) cover a large variety of industry applications in a power range up to 100 MW. The paper discusses realized applications in power generation, oil and gas, marine drives, and metal industry. A new LCI family with a high grade of modularity allows covering all these applications with a minimum of different parts. The heart of(More)
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 standard(More)