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

Publications for All Years (565 out of 565)

Bi-Objective Optimal Control Modification Adaptive Control for Systems with Input Uncertainty
Nhan Nguyen
Published at: Conference: AiAA Guidance, Navigation and Control Conference: Minneapolis, MN
Date: 08/13/12
Aeroelastic Modeling fo Elastically Shaped Aircraft Concept via Wing Shaping Control fro Drag Reduction
Nhan Nguyen, James Umes
Published at: Conference: AIAA Atmospheric Flight Mechanics; Minneapolis, MN
Date: 08/13/12
Using Game Theoretic Models to Predict Pilot Behavior in NextGen Merging and Landing Scenario
Yildiray Yildiz, Ritchie Lee, Guillaume Brat
Published at: Conference: AIAA Modeling and Simulation Technologies Conference; Minneapolis MN
Date: 08/12/12
Data Artifacts for Airworthiness of the Swift UAS
Ewen Denney, Ganeshmadhav Pai
Published at: Oral or Visual Presentation: NAS Annual Meeting 2012; NASA Ames Research Center, Moffett Field, CA
Date: 08/01/12
Safety Data and Risk Analysis Methods
Ewen Denney, Ganeshmadhav Pai
Published at: Oral or Visual Presentation: NAS Annual Meeting 2012; NASA Ames Research Center, Moffett Field, CA
Date: 08/01/12
Planning as an Iterative Process
David Smith
Published at: Conference: Twenty-Sixth Conference on Artificial Intelligence (AAAI-12)
Date: 07/24/12
Automated Testcase Generation for Numerical Support Functions in Embedded Systems
Johann Schumann, Stefan-Alexander Schnieder
Published at: Conference: International Symposium on Software Testing and Analysis; Minneapolis, MN
Date: 07/16/12
Aircraft Anomaly Detection using Performance Models Trained on Fleet Data
Dimitry Gorinevsky, Bryan Matthews, Rodney Martin
Published at: Conference: Conference on Intelligent Data Understanding 2012; Boulder CO
Date: 07/11/12
Assume-Guarantee Abstraction Refinement for Probabilistic Systems
Corina Pasareanu, Anvesh Komuravelli, Edmund Clarke
Published at: Conference: Computer Aided Verification (CAV) 2012; Berkeley, CA
Date: 07/07/12
The Gauge Domain: Scalable Analysis of Linear Inequality Invariants
Arnaud Venet
Published at: Conference: Computer Aided Verification (CAV) 2012; Berkeley, CA
Date: 07/07/12
Evolving Distributed Resource Sharing for CubeSat Constellations
Adrian Agogino, Chris Holmes Parker, Kagan Tumer
Published at: Conference: Genetic and Evolutionary Algorithms Conference; Philadelphia, PA
Date: 07/07/12
Evolving Large Scale UAV Communication System
Adrian Agogino, Chris Holmes Parker, Kagan Tumer
Published at: Conference: Genetic and Evolutionary Algorithms Conference; Philadelphia, PA
Date: 07/07/12
Physics Based Electrolytic Capacitor Degaradation Models for Prognostic Studies under Thermal Overstress
Chetan Kulkarni, Jose Celaya-Galvan, Kai Goebel, Gautam Biswas
Published at: Conference: First European Conference of the Prognostics and Health Society; Dresden, Germany
Date: 07/03/12
Designing Data-Driven Battery Prognostic Approaches for Variable Loading Profiles: Some Lessons Learnt
Abhinav Saxena, Jose Celaya-Galvan, Indranil Roychoudhury, Kai Goebel, Sankalita Saha
Published at: Conference: First European Conference of the Prognostics and Health Society; Dresden, Germany
Date: 07/03/12
Learning Probabilistic Systems from Tree Samples
Corina Pasareanu, Anvesh Komuravelli, Edmund Clarke
Published at: Conference: Logic in Computer Science (LICS 2012); Dubrovnik, Croatia
Date: 06/25/12


Filter by year

2015 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