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

Publications for the year 2012 (68 out of 510)

Planning as an Iterative Process
David Smith
Published at: Conference: Twenty-Sixth Conference on Artificial Intelligence (AAAI-12)
Date: 07/24/12
Automated Testcase Generation for Numerical Support Functions in Embedded Systems
Johann Schumann, Stefan-Alexander Schnieder
Published at: Conference: International Symposium on Software Testing and Analysis; Minneapolis, MN
Date: 07/16/12
Aircraft Anomaly Detection using Performance Models Trained on Fleet Data
Dimitry Gorinevsky, Bryan Matthews, Rodney Martin
Published at: Conference: Conference on Intelligent Data Understanding 2012; Boulder CO
Date: 07/11/12
Assume-Guarantee Abstraction Refinement for Probabilistic Systems
Corina Pasareanu, Anvesh Komuravelli, Edmund Clarke
Published at: Conference: Computer Aided Verification (CAV) 2012; Berkeley, CA
Date: 07/07/12
The Gauge Domain: Scalable Analysis of Linear Inequality Invariants
Arnaud Venet
Published at: Conference: Computer Aided Verification (CAV) 2012; Berkeley, CA
Date: 07/07/12
Evolving Distributed Resource Sharing for CubeSat Constellations
Adrian Agogino, Chris Holmes Parker, Kagan Tumer
Published at: Conference: Genetic and Evolutionary Algorithms Conference; Philadelphia, PA
Date: 07/07/12
Evolving Large Scale UAV Communication System
Adrian Agogino, Chris Holmes Parker, Kagan Tumer
Published at: Conference: Genetic and Evolutionary Algorithms Conference; Philadelphia, PA
Date: 07/07/12
Physics Based Electrolytic Capacitor Degaradation Models for Prognostic Studies under Thermal Overstress
Chetan Kulkarni, Jose Celaya-Galvan, Kai Goebel, Gautam Biswas
Published at: Conference: First European Conference of the Prognostics and Health Society; Dresden, Germany
Date: 07/03/12
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


Filter by year

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