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

Publications for the year 2010 (113 out of 613)

A Survey of Health Management User Objectives Related to Diagnostic and Prognostic Metrics
Tolga Kurtoglu, Karen Leone, Carl Sandifer, Megan Thomas, Mary Reveley, Mike Venti
Published at: ASME IDETC Computers & Information in Engineering Conf
Date: 08/15/10
Input and Output Performance of M-MRAC in the Presence of Bounded Disturbances
Vahram Stepanyan, Kalmanje Krishnakumar
Published at: Conference: AIAA Guidance Navi
Date: 08/02/10
Elevatore Sizing, Placement and Control-Relevant Tradeoffs for Hypersonic Vehicles
Jeffrey Dickeson, Armando Rodriguez, Srikanth Sridharan, Akshay Korad
Published at: AIAA Guidance, Navigation and Control Conference
Date: 08/02/10
Verifiable Adaptive Control with Analytical Stability Margins by Optimal Control Modification
Nhan Nguyen
Published at: AIAA Guidance, Navigation and Control Conference
Date: 08/02/10
A Framework for Optimal Control Allocation with Structural Load Constraints
Susan Frost, Brian Taylor, Christine Jutte, John Burken, Khanh Trinh
Published at: AIAA Atmospheric Flight Mechanics Conference
Date: 08/02/10
Multiple Kernel Learning for Heterogeneous Anomaly Detection: Algorithm and Aviation Safety Case Study
Santanu Das, Bryan Matthews, Ashok Srivastava, Nikunj Oza
Published at: KDD 2010
Date: 07/25/10
Fast and Flexible Multivariate Time Series Subsequence Search
Kanishka Bhaduri, Qiang Zhu, Nikunj Oza, Ashok Srivastava
Published at: ACM SIGKDD
Date: 07/25/10
Analysis of Air Traffic Track Data with the AutoBayes Synthesis System
Johann Schumann, Karen Cate, Alan Lee
Published at: LOPSTR
Date: 07/23/10
Learning Component Interfaces with May and Must Abstractions
Rishabh Singh, Dimitra Giannakopoulou, Corina Pasareanu
Published at: CAV 2010 (Computer Aided Verification)
Date: 07/15/10
Predicting Peak Sector Occupancy with Two-Hour Convective Weather Forecasts
Shawn Wolfe, Deepak Kulkarni
Published at: Aircraft Guidance, Navigation and Control Conference
Date: 07/14/10
A Centralized Multi-Agent Negoitation Apprach To Collaborative Air Traffic Resource Management Planning
Peter Jarvis, Shawn Wolfe, Robert Nado, Francis Enomoto, Maarten Sierhuis
Published at: 22nd Innovative Applications of AI Conference
Date: 07/11/10
A Dynamical Physics Model of Nominal and Faulty Operational Modes of Propellant Loading (Liquid Hydrogen)-From Space Shuttle to Future Missions
Viatcheslav Osipov, Cyrill Muratov, Matthew Daigle, Michael Foygel, Vadim Smelyanskiy
Published at: TM: 216394
Date: 07/08/10
Portfolios in Stochastic Local Search: Efficiently Computing Most Probable Explanations in Bayesian Networks
Ole Mengshoel, Dan Roth, Dan Wilkins
Published at: JA: Journal of Automated Reasoning
Date: 07/01/10
Testing First-Order Logic Axioms in Program Verification
Ewen Denney, KiYung Ahn
Published at: Tests and Proofs 2010
Date: 07/01/10
An Event-based Approack to Distributed Diagnosis of Continous Systems
Matthew Daigle, Indranil Roychoudhury, Gautam Biswas, Xenofon Koutsoukos
Published at: 21st International Workshop on Principles of Diagnosis
Date: 06/30/10

Filter by year

2016 2015 2014 2013 2012 2011 2010 2009 2008

Publications Search


2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

First Gov logo
NASA Logo -