NASA Logo, National Aeronautics and Space Administration
Intelligent Systems Division Banner

Publications for All Years (565 out of 565)

Using Markov Models of Fault Growth Physics and Environmental Stresses to Optimize Control Actions
Brian Bole, Kai Goebel, George Vachtsevanos
Published at: Conference: AIAA Infotech@Aerospace 2012; Garden Grove, CA
Date: 06/21/12
Certification of Safety-Critical Software Under DO-178C and DO-278A
Steven Jacklin
Published at: Conference: AIAA Infotech @ Aerospace, Garden Grove, CA
Date: 06/19/12
A Discussion on Uncertainty Representation and Interpretation in Model-based Prognostics Algorithms based on Kalman Filter Estimation Applied to Prognostics of Electronics Components
Jose Celaya-Galvan, Abhinav Saxena, Kai Goebel
Published at: Conference: AIAA Infotech @ Aerospace, Garden Grove, CA
Date: 06/19/12
A Briefing on Metrics and Risks for Autonomous Decision-Making in Aerospace Applications
Susan Frost, Kai Goebel, Jose Celaya-Galvan
Published at: Conference: AIAA Infotech @ Aerospace, Garden Grove, CA
Date: 06/19/12
Certification of COTS Software for NASA Human Rated Flight Systems
Andre Goforth
Published at: Conference: Info Tech 2012; Garden Grove, CA
Date: 06/18/12
Evaluating the Impact of Unrestricted Operation of Unmanned Aircraft Systems in the National Airspace Systems in the National Airspace System
Abhinav Saxena, Indranil Roychoudhury, Christian Neukom, Gregory Pisanich, Alex Huang
Published at: Conference: AIAA Infotech @ Aerospace, Garden Grove, CA
Date: 06/18/12
Requirements Flowdown for Prognostics and Health Management
Abhinav Saxena, Indranil Roychoudhury, Jose Celaya-Galvan, Kai Goebel
Published at: Conference: AIAA Infotech @ Aerospace, Garden Grove, CA
Date: 06/18/12
Physics based Modeling and Prognostics of Electrolytic Capacitors
Chetan Kulkarni, Jose Celaya-Galvan, Gautam Biswas, Kai Goebel
Published at: Conference: AIAA Infotech @ Aerospace, Garden Grove, CA
Date: 06/18/12
On the Robustness Properrties of M-MRAC
Vahram Stepanyan, Kalmanje Krishnakumar
Published at: Conference; AIAA Infotech@Aerospace; Garden Grove, CA
Date: 06/18/12
Requirement Flowdown for Prognostics Health Management
Abhinav Saxena, Indranil Roychoudhury, Jose Celaya-Galvan, Kai Goebel, Bhaskar Saha
Published at: Conference: AIAA @Infotec 2012; Garden Grove, CA
Date: 06/18/12
An Integrated Model-Based Distributed Diagnosis and Prognosis Framework
Anibal Bregon, Matthew Daigle, Indranil Roychoudhury
Published at: Conference: The 23rd International Workshop on Principles of Diagnosis DX2012; Great Malvern, UK
Date: 06/14/12
TUBES
Sarah Thompson
Published at: Video Program
Date: 06/07/12
Memoized Symbolic Execution
Corina Pasareanu, Guowei Yang, Sarfraz Khurshid
Published at: Conference: 34th Intl Conference on Software Engineering (ICSE 2012); Zurich Switzerland
Date: 06/02/12
Symbolic PathFinder: Integrating Symbolic Execution with Model Checking for Java Bytecode Analysis
Corina Pasareanu, Willem Visser, David Bushnell, Jaco Geldenhuys, Peter Mehlitz
Published at: Journal Article: Automated Software Engineering; Springer
Date: 06/01/12
Modeling Multiple Human-Automation Distributed Systems using Network-form Games
Guillaume Brat
Published at: Conference: FormaIH; London England
Date: 05/18/12


Filter by year

2015 2014 2013 2012 2011 2010 2009 2008

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

+NASA Home

+Ames Home

Intelligent Systems Division
First Gov logo
NASA Logo - nasa.gov