Automatic instantiation for railway interlocking systems
Generation of counterexamples for Multi-Object Systems
Enhancing ACC stop&go with digital map information
10 kHz inductively coupled power transfer - concept and control
A formal approach for deriving collective from individual risk in railway systems
Real-time detection of pathological traffic situations via AIS
Multiple software product lines in automotive software development
Automated dispatching of train operations using discrete optimisation method
76.5 GHz radar sensor for safety relevant dynamic data acquisition in vehicles
Meeting hard real-time requirements in distributed systems
A distributed system architecture for scalable sensor data processing ATC systems
3D reconstruction using a mono camera system for automotive applications
Circuit protection considerations for automotive information busses
SunLine Transit Agency tests hythane in closed loop CNG engine
Integrated HVAC system for electric vehicle in cold weather operation
Analysis of fuel cell vehicle hybridization and implications for energy storage devices
ES-Sim: electric scooter simulator with integrated database and customized user interface
Automatic generation of high precision feature maps of road construction sites
Compact, resource-saving SCiB rechargeable battery technology for HEV and EV applications
Performance of a time-of-flight range camera for intelligent vehicle safety applications