NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Intelligent Systems Division
Intelligent Systems Division Banner

Publications for All Years (598 out of 598)

Designing Data-Driven Battery Prognostic Approaches for Variable Loading Profiles: Some Lessons Learnt
Abhinav Saxena, Jose Celaya-Galvan, Indranil Roychoudhury, Kai Goebel, Sankalita Saha
Published at: Conference: First European Conference of the Prognostics and Health Society; Dresden, Germany
Date: 07/03/12
Learning Probabilistic Systems from Tree Samples
Corina Pasareanu, Anvesh Komuravelli, Edmund Clarke
Published at: Conference: Logic in Computer Science (LICS 2012); Dubrovnik, Croatia
Date: 06/25/12
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


Filter by year

2016 2015 2014 2013 2012 2011 2010 2009 2008

Publications Search

Archive

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

First Gov logo
NASA Logo - nasa.gov