Control Relevant Modeling, Analysis, and Design of Scramjet-Powered Hypersonic Vehicles
Armando Rodriguez,
Jeffrey Dickeson,
Jose Benavides,
Don Soloway
Published at: 16th International Space Planes and Hypersonic Systems and Technologies Conference
Date: 10/19/09
Testing First-Order Axioms in AutoCert
KiYung Ahn,
Ewen Denney
Published at: The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) and Systems (APLAS 2009)
Date: 10/08/09
On Applying the Prognostics Performance Metrics
Abhinav Saxena,
Jose Celaya-Galvan,
Bhaskar Saha,
Sankalita Saha,
Kai Goebel
Published at: 1st Annual Conference of the Prognostics and Health Management Society
Date: 09/27/09