Intelligent Systems Division

Publications recently listed (20 of 1096)

Damage Propagation Modeling for Aircraft Engine Prognostics
Abhinav Saxena, Kai Goebel, Don Simon
08/26/08

A Survey of New Trends in Symbolic Execution for Software Testing and Analysis
Corina Pasareanu
Published at: Software Tools for Technology Transfer
08/08/08

Field Testing of Utilty Robots for Lunar Surface Operations
Terry Fong, Maria Bualat, Matthew Deans, Mark Allen, Xavier Bousyssounouse
08/08/08

Closing the Certification Gaps in Adaptive Flight Control Software
Stephen Jacklin
08/08/08

Safe Reactive Navigation for Lunar and Planetary Robots
Hans Utz
08/01/08

Workflow Agents vs. Expert Systems: Problem solving methods in work systems design
William Clancey
08/01/08

A Flexible Evolvable Architecture for Constellation Mission Systems User Applications
Jay Trimble
Published at: SpaceOps 2008
06/19/08

Bounded Linear Stability Margin Analysis of Nonlinear Hybrid Adaptive Control
Nhan Nguyen
06/18/08

Enabling and Enhancing Space Mission Success and Reduction of Risk Through the Application of an Integrated Data Architecture
Robert Brummett
Published at: IAASS Conference
06/18/08

Adaptive Key Component Control of Nonlinear Evolving Flexible Structures
Susan Frost, Mark Balas
Published at: ASME Conf. on Smart Materials
06/13/08

Towards Intelligent Control for Next Generation Aircraft
Diana Acosta, K. Krishnakumar, Susan Frost
Published at: International Powered Lift Conference, Royal Aeronautical Society
06/13/08

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
06/13/08

Inferential Framework for Nonstationary Dynamics Part II: Application to a Model of Physiological Signaling
Vadim Smelyanskiy, Dmitry Luchinsky
06/13/08

Human/Automation Trade Methodology for the Mood, Mars and Beyond
David Korsmeyer
06/02/08

Recent Results on "Approximations to Optimal Alarm Systems for Anomaly Detection"
Rodney Martin
06/02/08

Generating Customized Verifiers for Automatically Generated Code
Ewen Denney
06/02/08

An Investigation of State-Space Model Fidelity for SSME Data
Rodney Martin
Published at: International Conference on Prognostics and Health
05/21/08

Integrating System Health Management into the Early Design of Aerospace Systems Using Functional Fault Analysis
Tolga Kurtoglu, Stephen Johnson, Eric Barszcz, Jeremy Johnson, Peter Robinson
Published at: International Conference on Prognostics and Health Management (PHM '08)
05/14/08

Metrics for Evaluating Performance of Prognostic Techniques
Abhinav Saxena, Jose Celaya, Edward Balaban, Bhaskar Saha, Sankalita Saha, Kai Goebel, Mark Schwabacher
Published at: International Conference on Prognostics and Health Management (PHM '08)
05/14/08

Assume Guarantee Verification for Interface Automata
Michael Emmi, Dimitra Giannakopoulou, Corina Pasreanu
Published at: 15th International Symposium on Formal Methods
04/10/08

+ View All

Search Publications

Date range

Filter by year

2008 2007 2006 2005 2004 2003 2002 2001 2000 1999 1998

The Intelligence Report

The Intelligence Report is a compilation of articles describing the rich and diverse research and development projects at Ames Research Center's Intelligent Systems Division.

2006-2007

2005-2006

2004-2005

2003-2004