Optimal Control Modification Adaptive Law with Covariance Adaptive Gain Adjustment and Normalization
Nhan Nguyen, John Burken, Curtis Hanson
Published at: Conference: AIAA Guidance Navigation and Control Conference; Portland OR
Date: 08/07/11

NASA and the Settlement of the Solar System (Autonomously...)
David Korsmeyer
Published at: Conference: SMC-IT, Palo Alto CA
Date: 08/01/11

Analysis of Field Experiments using the Mobile Agents Open Architecture with Workflow Interoperability
William Clancey, Michael Lowry, Maarten Sierhuis, Robert Nado
Published at: Space Mission Challenges for Information Technology Conference, Palo Alto, CA
Date: 08/01/11

State-Based Scheduling via Active Resource Solving
Paul Morris, Javier Barreiro, John Bresina, Michael Iatauro, Tristan Smith
Published at: Conference: SMC-IT 2011:IEEE International Conference on Space Mission Challenges for Information Technology; Palo Alto, CA
Date: 08/01/11

Symbolic Execution with Mixed Concrete-Symbolic Solving
Corina Pasareanu, Neha Rungta, Willem Visser
Published at: Conference: International Symposium on Software Testing and Analysis (ISSTA 2011), Toronto, Canada
Date: 07/17/11

Tracking of Dynamic Physical Systems with Dynamic Bayesian Net Models Factored Using Structural Observability
Indranil Roychoudhury, Gautam Biswas, Xenofon Koutsoukos
Published at: Conference: Conference on Uncertainty in Artificail Intelligence; Barcelona, Sapin
Date: 07/14/11

Sparse Inverse Gaussian Process Regression with Application to Climate Network Discovery
Ashok Srivastava, Kamalika Das
Published at: Conference: CIDU, Mountain View, CA
Date: 07/01/11

Coupled Aeroelastic Vortex Lattice Modeling of Flexible Aircraft
Nhan Nguyen, Khan Trinh, Susan Frost, Kevin Reynolds
Published at: Conference: AIAA Applied Aerodynamics: Honolulu, HI
Date: 06/27/11

Fleet Level Anomaly Detection of Aviation Safety Data
Santanu Das, Bryan Matthews, Robert Lawrence
Published at: Conference: IEEE International Conference on Prognostics and Health, Denver, CO
Date: 06/20/11

The Emergency Landing Planner Experiment
David Smith, Nicolas Meuleau, Christian Neukom, Chris Plaunt, Tristan Smith
Published at: Conference: 21st International Conference on Automated Planning and Scheduling (ICAPS): Freiburg, Germany
Date: 06/11/11

Finding Mutual Exclusion Invariants in Temporal Planning Domains
Sara Bernardini, David Smith
Published at: Conference: 7th International Workshop on Planning and Scheduling for Space (IWPSS); Darmstadt, Germany
Date: 06/08/11

Lectures on Work Systems Design: Knowledge Representation and Software Engineering Methods for Multi-cultural System Design, Modeling, and Representation
William Clancey
Published at: Oral or Visual Presentation: Kuala Lumpur, Malaysia
Date: 06/06/11

A Dynamical Model of Rocket Propellant Loading with Liquid Hydrogen
Viatcheslav Osipov, Matt Daigle, Cyrill Muratov, Michael Foygel, Vadim Smelyanskiy
Published at: Journal Artical: Journal of Spacecraft and Rockets
Date: 06/01/11

LCROSS Flight Team Development and Operations Experience
Paul Tompkins, David Hunt, John Bresina, Khaled Galal, Mark Shirley
Published at: Book Chapter: Space Operations: Exploration, Scientific Utilization and Technology Development
Date: 06/01/11

Distributed Anomaly Detection using 1-class SVM for Vertically Partitioned Data
Kamalika Das, Kanishka Bhaduri, Petr Votava
Published at: Journal Article: Statistical Analysis and Data Mining
Date: 05/31/11