Evidence Arguments for Using Formal Methods in Software Certification
Ewen Denney, Ganeshmadhav Pai
Published at: Conference: International Workshop on Software Certification 2013; Pasadena, CA
Date: 11/07/13

Tensegrity Based Probes for Planetary Exploration: Entry, Descent and Landing (EDL) and Surface Mobility Analysis
Vytas SunSpiral, George Gorospe, Jonathan Bruce, Atil Iscen, George Korbel, Adrian Agogino
Published at: Journal: Journal for the International Planetary Probe Workshop
Date: 11/01/13

Towards Real-time, On-board, Hardware-supported Sensor and Software Health Management for Unmanned Aerial Systems
Johann Schumann, Kristin Rozier, Thomas Reinbacher, Ole Mengshoel, Timmy Mbaya
Published at: Conference: Prognostics and System Health Management Conference; New Orleans, LA
Date: 10/16/13

Web Based Prognostics and 24 7 Monitoring
Miryam Strautkalns, Peter Robinson
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/14/13

A Cryogenic Fluid System Simulation in Support of Integrated Systems Health Management
John Barber, Kyle Johnston, Matthew Daigle
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13

Advanced Methods for Determining Predicition Uncertainty in Model-Based Prognostics with Application to Plantary Rovers
Matthew Daigle, Shankar Sankararaman
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13

Electrochemistry-based Battery Modeling for Prognostics
Matthew Daigle, Chetan Kulkarni
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13

A Novel Computational Methodology for Uncertainty Quantification in Prognostics Using The Most Probable Point Concept
Shankar Sankararaman, Kai Goebel
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13

IP Transducer Application of Model-Based Wear Detection and Estimation Using Steady State Conditions
Christopher Teubert, Matthew Daigle
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/13/13

Probabilistic Delamination Diagnosis of Composite Materials using a Novel Bayesian Imaging Method
Tishun Peng, Abhinav Saxena, Kai Goebel, Shankar Sankararaman, Yongming Liu
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/12/13

An Energy-Based Prognostic Framework to Predict Fatigue Damage Evolution in Composites
Juan Chiachio, Manuel Chiachio, Abhinav Saxena, Guillermo Rus, Kai Goebel
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/12/13

Why is the Remaining Useful Life Prediction?
Shankar Sankararaman, Kai Goebel
Published at: Conference: Annual Conference of the Prognostics and Health Management Society 2013; New Orleans, LA
Date: 10/01/13

A Formal Basis for Safety Case Patterns
Ewen Denney, Ganeshmadhav Pai
Published at: Conference: SafeComp2013; Toulouse, France
Date: 09/24/13

IVHM Assessment Metrics
Abhinav Saxena, Michael Roemer
Published at: Publication: Book Chapter: Integreated Vehicle Health Management: The Technology
Date: 09/24/13

Developing IVHM Requirements for Aerospace Systems
Ravi Rajamani, Abhinav Saxena, Frank Kramer, Michael Augustine, J. B. Schroeder
Published at: Conference: SAE 2013 AeroTech Congress & Exhibition; Montreal, Quebec, Canada
Date: 09/24/13