Technical Lead for Hybrid Diagnosis Engine (HyDE) |
Description |
HyDE is general purpose model-based diagnostic engine for stochastic hybrid systems. In order to apply HyDE to a specific system only a diagnostic model and observation data from system sensors is required. HyDE has been applied to wide variety of NASA and other applications including Total Organic Carbon Analyzer on board International Space Station, Deep Space Habitat test bed at NASA Johnson Space Center, Electrical power system test bed at NASA Ames Research Center, Drilling application at Houghton Crater, FALCON SAT-6 electrical subsystem among others. Impact Technologies have create a commercial version of HyDE called ReasonerProX. |
Programming Languages/Tools Used |
- C++ - The HyDE core engine has been implemented in C++
- MATLAB - A MATLAB library for HyDE using MEX functions is available
- GME - HyDE models can be build using the free tool called Generic Modeling Environment (GME) created by Vanderbilt University
|
Collaborating Organizations |
QSS Group Inc.,University of California Santa Cruz, NASA Ames Research Center, Vanderbilt University, Penn State University |
Automated Mission Operations (AMO) for International Space Station Systems |
Description |
This software is now operational on the International Space Station and correctly identified a failure in the very first week of operation resulting in an astronaut calling it a "nice new app" Developed automated mission operation software for Total Organic Carbon Analyzer (TOCA) and Station Support Computer Systems (SSC) on board the International Space Station. The software monitors data from these systems and identifies any off nominal conditions and determines if crew action could be recommended. |
Programming Languages/Tools Used |
- C++/GME - HyDE application and models to diagnose failures in TOCA
- Python - Unit tests for HyDE application, and utlities to support web based user interfaces to display results from AMO software
|
Collaborating Organizations |
University of California Santa Cruz, NASA Ames Research Center, NASA Johnson Space Center |
Model-based Diagnosis and Quantum Computing |
Description |
Experiments with D-Wave quantum machine at NASA Ames Research Center on leveraging quantum computing to perform model-based diagnosis. Black box appoaches where the quantum machine answers queries in support of diagnosis reasoning and white box approaches where the diagnosis problem is directly encode in the quantum machine are being explored. |
Programming Languages/Tools Used |
- C++/GME - HyDE application and models
- MATLAB - Interface with Quantum Machine
|
Collaborating Organizations |
University of California Santa Cruz, NASA Ames Research Center |
Ground Operations Demonstrations Unit (GODU), Advanced Ground Systems Maintenance (AGSM), and Autonomous Cryogenic Loading Operations (ACLO) for cryogenic fuel loading automation |
Description |
Developed diagnostic application using HyDE technology to isolate multiple faults in the cryogenic fuel loading path as well as the supporting data acquisition and commanding hardware. Developed middleware communication architecture using Zeroc's ICE software for enabling communications between various applications that might distributed among different computers and computing platforms. |
Programming Languages/Tools Used |
- C++/GME - HyDE application and models
- MATLAB - Simulation of cryogenic testbed operations and symbol generator for HyDE application
- Zeroc ICE/C++/C#/Java/MATLAB - Communication infrastructure for message passing between various applications using a publish subscribe protocol
|
Collaborating Organizations |
University of California Santa Cruz, NASA Ames Research Center, NASA Kennedy Space Center |
K11 Rover Decision Making project
EDGE UAV decision making project
|
Description |
Supported development of Decision making system for K11 Rover Autonomous operations using diagnostic and prognostic information |
Programming Languages/Tools Used |
- C++/GME - HyDE diagnostic application and models
- iOS - iOS application to remotely control Rover operation
- Java for Android - Android application to use a phone as a sensor to provide GPS and magnetometer information
- LABVIEW - Control system for rover and data acquisition system
- MATLAB - A framework to run multiple reasoning algorithms (diagnosis, prognosis, decision making etc.) to all run either co-located on a single machine or distributed across a network of machines with complete transparency.
- Zeroc ICE/C++/C#/Java/MATLAB - Communication infrastructure for message passing between various applications using a publish subscribe protocol
- HTML/Javascript/Google Maps API - Generate routes between selected sets of waypoints
|
Collaborating Organizations |
University of California Santa Cruz, NASA Ames Research Center, NASA Langley Research Center |
Automated Mission Operations for Deep Space Habitat |
Description |
Developed Advanced Caution & Warning System for water transfer sub-system of a Deep Space Habitat Testbed
Developed simulation for water transfer system |
Programming Languages/Tools Used |
- C++/GME - HyDE Diagnostic application and models
- MATLAB - Simulation with fault injection capabilities for water transfer system
- Zeroc ICE/C++/C#/Java/MATLAB - Communication infrastructure for message passing between various applications using a publish subscribe protocol
- Java - Advanced Caution & Warning system
|
Collaborating Organizations |
University of California Santa Cruz, NASA Ames Research Center, NASA Johnson Space Center |
International Diagnostic Competition |
Description |
Supported creating and administration of international diagnostic competitions (DXC) |
Programming Languages/Tools Used |
- C++/GME - HyDE entry to diagnostic competition as well as ORACLE used in scoring
- C++/Java - Diagnostic framework for running and evaluating diagnostic applications
|
Collaborating Organizations |
University of California Santa Cruz, NASA Ames Research Center, Palo Alto Research Center, Delft University, University of Porto, University of Valladolid, University College Cork |
Diagnosis and Prognosis of Electromechanical Actuators |
Description |
Developed diagnostic application for isolating faults in electromechanical actuators, designed and implemented data acquisition software and hardware, designed and created control system for running diagnostic and prognostic experiments on electromechanical actuators |
Programming Languages/Tools Used |
- MATLAB - Diagnostic application
- MATLAB/LABVIEW - Control System and Data Acquisition System
|
Collaborating Organizations |
University of California Santa Cruz, NASA Ames Research Center |