Network model of traffic updates and its application to routing optimization
Matrix representation for fuzzy program and its application to traffic control
Using petri nets for safety analysis of unmanned metro system
Design and planning in the development of safety-critical software with ADA
Solar power satellite: an emerging global energy option
A solar photovoltaic system for marine ranch
Distributed estimation, inferencing and multi-sensor data fusion for real time supervisory control
Quality measurement of mission critical systems
Aircraft cruise performance optimization using chattering controls
Aircraft maneuver optimization under fuel constraints - a real time algorithm
Electromagnetic compatibility of marine computer systems
The application of fault tolerant techniques to a real time system
A control problem off the beaten path: The (optimal) automatic transmission for road vehicles
Building reliable software for spacelab
The two-stage, two-quadrant controller - a PWM rectifier
Software validation for a railway signalling system
Verification of safety related programs for a maglev system