Publications for All Years (655 out of 655)
Wireless Space Plug-and-Play Archtecture (SPA-Z)
Richard Alena, John Ossenfort, Thom Stone, Jarren Baldwin
Published at: Conference: IEEE Aerospace Conference 2014; Big Sky, MT
Date: 03/01/14
Richard Alena, John Ossenfort, Thom Stone, Jarren Baldwin
Published at: Conference: IEEE Aerospace Conference 2014; Big Sky, MT
Date: 03/01/14
Hererogeneous Spacecraft Networks: Wireless Network Technology Assessment
Richard Alena, Yosuke Nakamura, Nicolas Faber, David Mauro
Published at: Conference: IEEE Aerospace Conference 2014; Big Sky, MT
Date: 03/01/14
Richard Alena, Yosuke Nakamura, Nicolas Faber, David Mauro
Published at: Conference: IEEE Aerospace Conference 2014; Big Sky, MT
Date: 03/01/14
Application of Model-based Prognostics to a Pneumatic Valves Testbed
Matthew Daigle, Chetan Kulkarni, George Gorospe
Published at: Conference: 2013 IEEE Aerospace Conference; Big Sky, MT
Date: 03/01/14
Matthew Daigle, Chetan Kulkarni, George Gorospe
Published at: Conference: 2013 IEEE Aerospace Conference; Big Sky, MT
Date: 03/01/14
A Battery Health Monitoring Framework for Planetary Rovers
Matthew Daigle, Chetan Kulkarni
Published at: Conference: 2014 IEEE Aerospace Conference; Big Sky, MT
Date: 03/01/14
Matthew Daigle, Chetan Kulkarni
Published at: Conference: 2014 IEEE Aerospace Conference; Big Sky, MT
Date: 03/01/14
Current Pressure Transducer Application of Model-Based Prognostics using Steady State Conditions
Christopher Teubert, Matthew Daigle
Published at: Conference: 2014 IEEE Aerospace Conference; Big Sky, MT
Date: 02/28/14
Christopher Teubert, Matthew Daigle
Published at: Conference: 2014 IEEE Aerospace Conference; Big Sky, MT
Date: 02/28/14
Physics Based Model for Cryogenic Chilldown and Loading. Part I: Algorithm
Dmitry Luchinsky, Vadim Smelyanskiy, Barbara Brown
Published at: NASA STI Report Series: TP
Date: 02/27/14
Dmitry Luchinsky, Vadim Smelyanskiy, Barbara Brown
Published at: NASA STI Report Series: TP
Date: 02/27/14
Robust Adaptive Model Tracking for Distributed Parameter Control of Linear Infinite-Dimensional Systems in Hilbert Space
Mark Balas, Susan Frost
Published at: Journal Article: Acta Automatica Sinica
Date: 02/14/14
Mark Balas, Susan Frost
Published at: Journal Article: Acta Automatica Sinica
Date: 02/14/14
An Uncertainty Qantification Framework for Prognostics and Condition-Based Monitoring
Shankar Sankararaman, Kai Goebel
Published at: Conference: AIAA SciTech Conference; National Harbor, MD
Date: 01/13/14
Shankar Sankararaman, Kai Goebel
Published at: Conference: AIAA SciTech Conference; National Harbor, MD
Date: 01/13/14
Prognostics
Kai Goebel, George Vachtsevanos, Marcos Orchard
Published at: Book Chapter: IVHM - Technology
Date: 12/18/13
Kai Goebel, George Vachtsevanos, Marcos Orchard
Published at: Book Chapter: IVHM - Technology
Date: 12/18/13
A Semantic Basis for Proof Queries and Transformations
David Aspinall, Ewen Denney, Christoph Lueth
Published at: Conference: 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19); Stellenbosch, South Africa
Date: 12/15/13
David Aspinall, Ewen Denney, Christoph Lueth
Published at: Conference: 19th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-19); Stellenbosch, South Africa
Date: 12/15/13
Fully Utilizing a High-Speed Lunar Laser Communication Downlink in LADEE FSW
Douglas Forman, Craig Pires, Scott Christa
Published at: Conference: Flight Software Workshop 2013
Date: 12/10/13
Douglas Forman, Craig Pires, Scott Christa
Published at: Conference: Flight Software Workshop 2013
Date: 12/10/13
Automated Generation of Model Classes for Java PathFinder
Oksana Tkachuk, Matteo Ceccarello
Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Oksana Tkachuk, Matteo Ceccarello
Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Extending JPF to Verify Distributed Systems
Nastaran Shafiei, Peter Mehlitz
Published at: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Nastaran Shafiei, Peter Mehlitz
Published at: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Vector-Clock Based Partial Order Reduction for JPF
Neha Rungta, Eric Noonan, Eric Mercer
Published at: Conference: The Java PathFinder Workshop; Palo Alto CA
Date: 11/12/13
Neha Rungta, Eric Noonan, Eric Mercer
Published at: Conference: The Java PathFinder Workshop; Palo Alto CA
Date: 11/12/13
Invariant Discovery Guided By Symbolic Execution
Neha Rungta, Suzette Person
Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
Neha Rungta, Suzette Person
Published at: Conference: The Java PathFinder Workshop; Palo Alto, CA
Date: 11/12/13
- NASA Official: Sonie Lau
- Curator: ASANI Solutions