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

Publications for All Years (496 out of 496)

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
A Nonlinear Dyamic Inversion Predictor-Based Model Reference Adaptive Controller for a Generic Transport M
Stefan Campbell, John Kaneshige
Published at: American Control Conference
Date: 06/30/10
Resource Balancing Control Allocation
Susan Frost, Marc Bodson
Published at: American Control Conference
Date: 06/30/10
Augmented Adaptive Control of a Wind Turbine in the Presence of Structural Modes
Susan Frost, Mark Balas, Alan Wright
Published at: American Control Conference
Date: 06/30/10
Optimal Control Modification Adaptive Law of Time
Nhan Nguyen
Published at: American Control Conference
Date: 06/30/10
MRAC Revisited-Guaranteed Performance with Reference Model Modification
Vahram Stepanyan, Kalmanje Krishnakumar
Published at: American Control Conference
Date: 06/30/10
A Control Allocation Technique To Recover From Pilot Induced Oscillations (CAPIO) Due To Actuator Rate Limiting
Yildiray Yildiz, Ilya Kolmanovsky
Published at: American Control Conference
Date: 06/30/10
Scalable Gaussian Process Regression for Earth Science Data
Kamalika Das, Ashok Srivastava
Published at: MMDS Workshop
Date: 06/15/10
A Model-Based Probabilistic Inversion Framework for Characterizing Wire Fault Detection Using TDR
Stefan Schuet, Dogan Timucin, Kevin Wheeler
Published at: JA: I√MTC 2010 Special Issue of IEEE Transactions on Instrumentation and Measurement
Date: 06/14/10
Formal Testing for Seperation Assurance
Johann Schumann, Dimitra Giannakopoulou, David Bushnell
Published at: JA: Special Issue Annals of Math and Airt. Intelligence
Date: 06/10/10
ISWHM: Tools and Techniques for Software and System Health Management
Johann Schumann, Ole Mengshoel, Adnan Darwiche
Published at: DASH/Software Health Management TIM 2010
Date: 06/10/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