Runtime Verification for Autonomous Spacecraft Software
Enabling Autonomous Rover Science Through Dynamic Planning and Scheduling
Technical Challenges in Meeting the Next Decade's Planetary Protection Requirements
Collaborative Risk Management for the Cassini-Huygens Probe Mission
An Interoperable Learning Architecture for the Modern Space Workforce
Distributed Mission Planning And Operations. Data Integration
Knowledge Centric Operations: Implications to Future Command and Control
Towards an Integrated Reasoner for Bearings Prognostics
Atypical Event and Typical Pattern Detection within Complex Systems
Condition-Based Monitoring of an Electro-Hydraulic System Using Open Software Architectures
Lifetime Control of Electromechanical Actuators
Model Checking Autonomous Planners: Even the Best Laid Plans Must be Verified
Designing Autolanding Neuro-Controller Using PID and Optimal Strategies
Augmentation of Military Satellites with High Altitude Balloons: A UHF Case Study
Power Device Packaging Technologies for Extreme Environments
An Improved Thermal Conductivity Polyurethane Composite for a Space Borne 20KV Power Supply
Dim-star Tracking for Stellar Interferometry
Sensor Data Fusion in a Simulated Sensor Environment
A Scalable Learning System for Video Recognition