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, Khan 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