Publications for All Years (417 out of 417)
Hierarchical Safety Cases
Ewen Denney, Ganeshmadhav Pai, Iain Whiteside
Published at: Conference: 5th NASA Formal Methods Symposium; NASA Ames Research Center, Moffett Field, CA
Date: 05/14/13
Ewen Denney, Ganeshmadhav Pai, Iain Whiteside
Published at: Conference: 5th NASA Formal Methods Symposium; NASA Ames Research Center, Moffett Field, CA
Date: 05/14/13
Uncertanity Quanitification in Remaining Useful Life of Aerospace Components using State Space Models and Inverse FORM
Shankar Sankararaman, Kai Goebel
Published at: Conference: AIAA Non-Deterministic Approaches Conference; Boston, MA
Date: 04/08/13
Shankar Sankararaman, Kai Goebel
Published at: Conference: AIAA Non-Deterministic Approaches Conference; Boston, MA
Date: 04/08/13
Failure Consequence Assessment System (FCAS) Experiment Summary and Lesson Learned
Lilijana Spirkovska, Gordon Aaseng, Vijayakumar Baskaran, Silvano Colombano, John Ossenfort
Published at: NASA STI Report Series: TM ~ 216507
Date: 03/30/13
Lilijana Spirkovska, Gordon Aaseng, Vijayakumar Baskaran, Silvano Colombano, John Ossenfort
Published at: NASA STI Report Series: TM ~ 216507
Date: 03/30/13
Embedding Temporal Constraints For Coordinated Execution In Habitat Automation
Paul Morris, Mark Schwabacher, Michael Dalal, Charles Fry
Published at: Conference: 2013 International Workshop on Planning & Scheduling for Space: Moffett Field, CA
Date: 03/25/13
Paul Morris, Mark Schwabacher, Michael Dalal, Charles Fry
Published at: Conference: 2013 International Workshop on Planning & Scheduling for Space: Moffett Field, CA
Date: 03/25/13
Advanced Caution and Warning System, Final Report -- 2011
Lilijana Spirkovska, Gordon Aaseng, David Iverson, Robert McCann, Peter Robinson
Published at: NASA STI Report Series: TM ~ 216510
Date: 03/15/13
Lilijana Spirkovska, Gordon Aaseng, David Iverson, Robert McCann, Peter Robinson
Published at: NASA STI Report Series: TM ~ 216510
Date: 03/15/13
Advanced Caution and Warning System, Final Report -- 2010
Lilijana Spirkovska, Peter Robinson, Sotirios Liolios, Charles Lee, John Ossenfort
Published at: NASA STI Report Series: TM ~ 216509
Date: 03/15/13
Lilijana Spirkovska, Peter Robinson, Sotirios Liolios, Charles Lee, John Ossenfort
Published at: NASA STI Report Series: TM ~ 216509
Date: 03/15/13
Analytical Algorithms to Quantify the Uncertainty in Remaining Useful Life Prediction
Shankar Sankararaman, Matthew Daigle, Abhinav Saxena, Kai Goebel
Published at: Conference: IEEE Aerospace Conference, Big Sky, MT
Date: 03/01/13
Shankar Sankararaman, Matthew Daigle, Abhinav Saxena, Kai Goebel
Published at: Conference: IEEE Aerospace Conference, Big Sky, MT
Date: 03/01/13
A Structural Model Decomposition Framework for Systems Health Management
Indranil Roychoudhury, Matthew Daigle, Anibal Bregon, Belarmino Puildo
Published at: Conference: IEEE Aerospace Conference, Big Sky, MT
Date: 03/01/13
Indranil Roychoudhury, Matthew Daigle, Anibal Bregon, Belarmino Puildo
Published at: Conference: IEEE Aerospace Conference, Big Sky, MT
Date: 03/01/13
Model-Based Diagnosis and Prognosis of a Water Recycling System
Indranil Roychoudhury, Vasyl Hafiychuk, Kai Goebel
Published at: Conference: IEEE Aerospace Conference, Big Sky, MT
Date: 03/01/13
Indranil Roychoudhury, Vasyl Hafiychuk, Kai Goebel
Published at: Conference: IEEE Aerospace Conference, Big Sky, MT
Date: 03/01/13
Hierachical Safety Cases
Ewen Denney, Iain Whiteside
Published at: NASA STI Report Series: TM ~ 216481
Date: 02/14/13
Ewen Denney, Iain Whiteside
Published at: NASA STI Report Series: TM ~ 216481
Date: 02/14/13
Novel Attitude control Challenges for an Earth-Observing CubeSat
Matthew Sorgenfrei, Matthew Nehrenz
Published at: Conference: IAA Symposium on Small Spacecraft for Earth Observation; Berlin Germany
Date: 01/31/13
Matthew Sorgenfrei, Matthew Nehrenz
Published at: Conference: IAA Symposium on Small Spacecraft for Earth Observation; Berlin Germany
Date: 01/31/13
Validation and Verification of LADEE Models and Software
Karen Gundy-Burlet
Published at: Conference: AIAA 51st Aerospace Sciences Meeting; Grapevine, TX
Date: 01/07/13
Karen Gundy-Burlet
Published at: Conference: AIAA 51st Aerospace Sciences Meeting; Grapevine, TX
Date: 01/07/13
Disturbance Accommodating Adaptive Control with Application to Wind Turbines
Susan Frost
Published at: Oral or Visual Presentation: IEEE Computational Intelligence Society, Santa Clara Valley Chapter; Moffett Field, CA
Date: 12/05/12
Susan Frost
Published at: Oral or Visual Presentation: IEEE Computational Intelligence Society, Santa Clara Valley Chapter; Moffett Field, CA
Date: 12/05/12
Computing and Visualizing the Impact of Change with Java PathFinder Extensions
Eric Mercer, Suzette Person, Neha Rungta
Published at: Conference: JPF Workshop at FSE-20; Cary NC
Date: 11/09/12
Eric Mercer, Suzette Person, Neha Rungta
Published at: Conference: JPF Workshop at FSE-20; Cary NC
Date: 11/09/12
Abstract Pathfinder
Artem Khyzha, Pavel Parizek, Corina Pasareanu
Published at: Conference: JPF Workshop at FSE-20; Cary NC
Date: 11/09/12
Artem Khyzha, Pavel Parizek, Corina Pasareanu
Published at: Conference: JPF Workshop at FSE-20; Cary NC
Date: 11/09/12
- NASA Official: Michael Shafto
- Curator: ASANI Solutions