Steering control for car cornering by means of learning using neural network and genetic algorithm
Prediction of journey characteristics for the intelligent control of hybrid electric vehicle
IMU: integrated monitoring unit of the SAVE diagnostic system
Improving software quality in a space application
Design and planning in the development of safety-critical software with ADA
Proving safety of a railway signalling system incorporating geographic data
Certification of digital systems in commercial avionics applications
Functional specification of vital computer software for high-speed maglev systems
Distributed estimation, inferencing and multi-sensor data fusion for real time supervisory control
Quality measurement of mission critical systems
Aircraft maneuver optimization under fuel constraints - a real time algorithm
Software validation for a railway signalling system
Building reliable software for spacelab
Some aspects of practice: Data processing in logistics
Design of a man-machine interface for process control on the bridge of a ship
Optimal trajectory control of vehicles in a guided automatic urban taxi system AXAR