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