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
Functional specification of vital computer software for high-speed maglev systems
Improving software quality in a space application
Proving safety of a railway signalling system incorporating geographic data
Certification of digital systems in commercial avionics applications
Design and planning in the development of safety-critical software with ADA
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
Building reliable software for spacelab
Software validation for a railway signalling system
Verification of safety related programs for a maglev system
A disaggregate model of intercity freight transport demand
Technical and operational results of a flexible mode control system for public transit