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