Urban traffic control and path planning for vehicles in game theoretic framework
Software testing and IEC 61508 - project case study and further thoughts
Allocating railway platforms using a genetic algorithm
Internal model control-based adaptive attitude tracking
Measurement of a car driver's pulse interval while driving with one hand
Tracking control of automated guided vehicles
Towards a unified approach to safety and security in automotive systems
Dependable risk analysis for systems with E/E/PE components: Two case studies
Human factors safety assurance for changing ATM systems