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

Publications for All Years (521 out of 521)

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
Data-based Predictive Control with Multirate Prediction Step
Jonathan Barlow
Published at: 2010 American Control Conference - ACC2010
Date: 06/30/10
Evolving Systems-Adaptive Key Component Control and Interface of Passivity and Dissipativty
Susan Frost, Mark Balas
Published at: JA: Applied Mathematics and Computation
Date: 06/30/10
A Nonlinear Dyanmic Inversion L1 Adaptive Controller for a Generic Transport Model
Stefan Campbell, John Kaneshige
Published at: American Control Conference
Date: 06/30/10


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