Model Correlation for Mars Pathfinder Entry, Descent and Landing Simulation
PARAGON: An Paradigm for the Specification, Verification, and Testing of Real-Time Systems
Revolutionary Next Generation Satellite Communications Architectures and Systems
A New Microcontroller with Fuzzy Inference Instructions Simplifies Controller Designs
Requirements and Design for Space Tourist Transportation
ESL: A Language for Supporting Robust Plan Execution in Embedded Autonomous Agents
First Results on the Application of Fynesse Control Architecture
Electromagnetic Magnitude & Phase Measurements from Infrared Thermograms