-
Development of an On-Board Failure Diagnostics and Prognostics System for Solid Rocket Booster
- Published at: 44th AIAA JPC
- Date: 07/24/08
- Authors:
Vadim Smelyanskiy,
Dimitry Luchinsky,
Viatcheslav Osipov,
Dogan Timucin,
Serdar Uckun
Publications for All Years (732 out of 732)
-
Towards Intelligent Control for Next Generation Aircraft
- Published at: International Powered Lift Conference, Royal Aeronautical Society
- Date: 07/22/08
- Authors:
Diana Acosta,
Kalmanje Krishnakumar,
Susan Frost
-
A Survey of New Trends in Symbolic Execution for Software Testing and Analysis
- Published at: Journal Article-Software Tools for Technology Transfer
- Date: 07/07/08
- Authors:
Corina Pasareanu
-
Automated Assume-Guarantee Reasoning by Abstraction Refinement
- Published at: 20th International Conference on Computer Aided Verification
- Date: 07/07/08
- Authors:
Mihaela Gheorghiu,
Corina Pasareanu,
Dimitra Giannakopoulou
-
Recent Results on "Approximations to Optimal Alarm Systems for Anomaly Detection"
- Published at: 2008 IEEE International Symposium on Information Theory
- Date: 07/06/08
- Authors:
Rodney Martin
-
Inferential Framework for Nonstationary Dynamics Part II: Application to a Model of Physiological Signaling
- Published at: TM
- Date: 06/13/08
- Authors:
Vadim Smelyanskiy,
Dimitry Luchinsky
-
Bounded Linear Stability Margin Analysis of Nonlinear Hybrid Adaptive Control
- Published at: American Control Conference
- Date: 06/11/08
- Authors:
Nhan Nguyen
-
Model Based Analysis and Test Generation for Flight Software
- Published at: ICSE 2009
- Date: 05/16/08
- Authors:
Johann Schumann
-
A Flexible Evolvable Architecture for Constellation Mission Systems User Applications
- Published at: SpaceOps 2008
- Date: 05/15/08
- Authors:
Jay Trimble
-
General Purpose Data-Driven Monitoring for Space Operations
- Published at: Infotech@Aerospace
- Date: 04/06/08
- Authors:
David Iverson
-
Parametric Analysis of a Hover Test Vehicle using Advanced Generation and Data Analysis
- Published at: AIAA Infotech@Aerospace Conference and Exhibit
- Date: 04/05/08
- Authors:
Karen Gundy-Burlet
-
Bringing Web 2.0 to Government Research: A Case Study
- Published at: CHI 2009
- Date: 04/04/08
- Authors:
Francesca Barrientos
-
Online Dectection and Modeling of safety boundaries for Aerospace Application using Bayesian Statistics
- Published at: Conference: International Joint Conference on Neural Networks; Killarney, Ireland
- Date: 07/12/05
- Authors:
Yuning He
-
Automated Mars Drilling for IceBreaker
- Authors:
Brian Glass
-
Planetary Analogs for Drilling Automation Testing
- Authors:
Brian Glass