Improving Spacecraft Health Monitoring with Automatic Anomaly Detection Techniques
Formal Framework and Models for Validation and Verification of Software-Intensive Aerospace Systems
MDAx: Agile Generation of Collaborative MDAO Workflows for Complex Systems
Towards Intelligent System Health Management using Runtime Monitoring
When Satellites Attack: Satellite-to-Satellite Cyber Attack, Defense and Resilience
Differential Algebra software library with automatic code generation for space embedded applications
ASSET: Astrodynamics Software and Science Enabling Toolkit
Visual Depth Mapping from Monocular Images using Recurrent Convolutional Neural Networks
Multi-Agent Motion Planning using Deep Learning for Space Applications
Cyber Attack Vulnerabilities Analysis for Unmanned Aerial Vehicles
Adaptive Architectures for Control of Uncertain Dynamical Systems with Actuator Dynamics
Improving Trust in Deep Neural Networks with Nearest Neighbors
Estimating Parameters and Discrepancy of Computer Models with Graphs and Neural Networks
Receding Horizon-based RRT* Algorithm for a UAV Real-time Path Planner