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

Publications for All Years (651 out of 651)

Automated Data Assimilation and Flight Planning for Multi-Platform Observation Missions
Nikunj Oza, Robert Morris, Anthony Strawa, Elif Kurklu, Leslie Keely
Published at: NASA Earth Science technology Conference
Date: 08/24/08
Towards Certification of a Space System Application of Fault Detection and Isolation
Larry Markosian, Martin Feather
Published at: International Conference on Prognostics and Health
Date: 08/20/08
An Optimal Control Modification to Model-Reference Adaptive Control for fast Adaptation
Nhan Nguyen
Published at: AIAA Guidance, Navigation, and Control Conference
Date: 08/18/08
Modeling-Error-Driven Performance-Seeking Direct Adaptive Control
Nilesh Kulkarni
Published at: AIAA Guidance Navigation and Control Conf.
Date: 08/18/08
Closing the Certification Gaps in Adaptive Flight Control Software
Steven Jacklin
Published at: 2008 GNC CONFERENCE
Date: 08/18/08
Voyages of Discovery with the Mars Exploration Rovers
William Clancey
Published at: Mars Society Annual Convention
Date: 08/15/08
AutoBayes Program Synthesis System Users Manual
Johann Schumann
Published at: TM
Date: 08/08/08
Workflow Agents vs. Expert Systems: Problem solving methods in work systems design
William Clancey
Published at: Journal Article
Date: 08/01/08
Generating Customized Verifiers for Automatically Generated Code
Ewen Denney
Published at: Seventh International Conference on Generative
Date: 07/28/08
Development of an On-Board Failure Diagnostics and Prognostics System for Solid Rocket Booster
Vadim Smelyanskiy, Dimitry Luchinsky, Viatcheslav Osipov, Dogan Timucin, Serdar Uckun
Published at: 44th AIAA JPC
Date: 07/24/08
Towards Intelligent Control for Next Generation Aircraft
Diana Acosta, Kalmanje Krishnakumar, Susan Frost
Published at: International Powered Lift Conference, Royal Aeronautical Society
Date: 07/22/08
A Survey of New Trends in Symbolic Execution for Software Testing and Analysis
Corina Pasareanu
Published at: Journal Article-Software Tools for Technology Transfer
Date: 07/07/08
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Mihaela Gheorghiu, Corina Pasareanu, Dimitra Giannakopoulou
Published at: 20th International Conference on Computer Aided Verification
Date: 07/07/08
Recent Results on "Approximations to Optimal Alarm Systems for Anomaly Detection"
Rodney Martin
Published at: 2008 IEEE International Symposium on Information Theory
Date: 07/06/08
Inferential Framework for Nonstationary Dynamics Part II: Application to a Model of Physiological Signaling
Vadim Smelyanskiy, Dimitry Luchinsky
Published at: TM
Date: 06/13/08


Filter by year

2018 2017 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