Matrix representation for fuzzy program and its application to traffic control
Proving safety of a railway signalling system incorporating geographic data
Certification of digital systems in commercial avionics applications
Using petri nets for safety analysis of unmanned metro system
Functional specification of vital computer software for high-speed maglev systems
Distributed estimation, inferencing and multi-sensor data fusion for real time supervisory control
Aircraft cruise performance optimization using chattering controls
JOVE - Jupiter Orbiting Vehicle for Exploration
Aircraft maneuver optimization under fuel constraints - a real time algorithm
Building reliable software for spacelab