On the use of probabilistic model-checking for the verification of prognostics applications
暂无分享,去创建一个
[1] Makis Stamatelatos,et al. Fault tree handbook with aerospace applications , 2002 .
[2] K. Goebel,et al. Metrics for evaluating performance of prognostic techniques , 2008, 2008 International Conference on Prognostics and Health Management.
[3] Dragan Banjevic,et al. Calculation of reliability function and remaining useful life for a Markov failure time process , 2006 .
[4] Christel Baier,et al. Principles of Model Checking (Representation and Mind Series) , 2008 .
[5] William H. Sanders,et al. Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.
[6] Shankar Sankararaman,et al. Significance, interpretation, and quantification of uncertainty in prognostics and remaining useful life prediction , 2015 .
[7] V. M. Catterson. Prognostic modeling of transformer aging using Bayesian particle filtering , 2014, 2014 IEEE Conference on Electrical Insulation and Dielectric Phenomena (CEIDP).
[8] Jose Ignacio Aizpurua,et al. Towards a methodology for design of prognostic systems , 2015 .
[9] Joost-Pieter Katoen,et al. Faster and Symbolic CTMC Model Checking , 2001, PAPM-PROBMIV.
[10] Ole J. Mengshoel,et al. Towards Real-Time, On-Board, Hardware-Supported Sensor and Software Health Management for Unmanned Aerial Systems , 2015 .
[11] George Vachtsevanos,et al. Novel metrics and methodologies for the verification and validation of prognostic algorithms , 2011, 2011 Aerospace Conference.
[12] Christel Baier,et al. Principles of model checking , 2008 .
[13] Brian J. Taylor,et al. Verification and validation of neural networks: a sampling of research in progress , 2003, SPIE Defense + Commercial Sensing.
[14] Marta Z. Kwiatkowska,et al. PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.
[15] Kai Goebel,et al. Are Current Prognostic Performance Evaluation Practices Sufficient and Meaningful? , 2014 .