IMU: integrated monitoring unit of the SAVE diagnostic system
A new non-linear design method for active vehicle suspension systems
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
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
Improving software quality in a space application
Using petri nets for safety analysis of unmanned metro system
Design and planning in the development of safety-critical software with ADA
Quality measurement of mission critical systems
Distributed estimation, inferencing and multi-sensor data fusion for real time supervisory control
Aircraft maneuver optimization under fuel constraints - a real time algorithm
Software validation for a railway signalling system
Building reliable software for spacelab
An optimal control of container transportation system
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
Technical and operational results of a flexible mode control system for public transit
Some aspects of practice: Data processing in logistics