On the use of probabilistic model-checking for the verification of prognostics applications

Aizpurua, Jose Ignacio; Catterson, Victoria M.

doi:10.1109/intelcis.2015.7397225

Cited by 8 publications

(17 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…ADEPS links system-level design with the design of failuremode specific prognostics applications through model-based safety assessment (Joshi, Heimdahl, Miller, & Whalen, 2006;Papadopoulos et al, 2011) and prognostics-specific activities (Aizpurua & Catterson, 2015b, 2015a. Besides, we add the capability to update the system-level perspective using prognostics information.…”

Section: Adeps Methodology: Assisted Design For Engineering Prognosti...mentioning

confidence: 99%

“…Subsequently we undertake the prognostics model selection according to the process presented in (Aizpurua & Catterson, 2015b). For the selected failure mode, we analyse prognostics requirements and available engineering resources (see Subsection 3.3).…”

Section: Adeps Methodology: Assisted Design For Engineering Prognosti...mentioning

confidence: 99%

“…In previous work we focused on the systematic prognostics model selection process (Aizpurua & Catterson, 2015b) and formal verification of prognostics results (Aizpurua & Catterson, 2015a). The main contribution of this paper is the conception of ADEPS for the end-to-end design of prognostics applications starting from component-level analysis up to the system-level health assessment.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

ADEPS: A Methodology for Designing Prognostic Applications

Aizpurua

Catterson

2016

PHME_CONF

Self Cite

View full text Add to dashboard Cite

Prognostics applications predict the future evolution of an asset under study, by diagnosing the actual health state and modeling the future degradation. Due to rapidly growing interest in prognostics, different prediction techniques have been developed independently without a consistent and systematic design. In this paper we formalize the prognostics design process with a novel methodology entitled ADEPS (Assisted Design for Engineering Prognostic Systems). ADEPS combines prognostics concepts with model-based safety assessment, criticality analysis, knowledge engineering and formal verification approaches. The main activities of ADEPS include synthesis of the safety assessment model from the design model, prioritization of the system failure modes, systematic prognostics model selection and verification of the adequacy of the prognostics results with respect to design requirements. By linking system-level safety assessment models and prognostics results, design and safety models are updated with online information about different failure modes. This step enables system-level health assessment includingprognostics predictions of different failure modes. The endto-end application of themethodology for the design and evaluation of a power transformer demonstrates the benefits of the proposed approach including reduced design time and effort, complete consideration of prognostics algorithms and updated system-level health assessment.

show abstract

Section: Adeps Methodology: Assisted Design For Engineering Prognosti...mentioning

confidence: 99%

Section: Adeps Methodology: Assisted Design For Engineering Prognosti...mentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

ADEPS: A Methodology for Designing Prognostic Applications

Aizpurua

Catterson

2016

PHME_CONF

Self Cite

View full text Add to dashboard Cite

show abstract

“…9 show the remaining number of operations until circuit breaker failure, while maintenance strategies are required to adopt a safety margin for a timely maintenance [47].…”

Section: Case Studymentioning

confidence: 99%

A Model-Based Hybrid Approach for Circuit Breaker Prognostics Encompassing Dynamic Reliability and Uncertainty

Aizpurua

Catterson

Abdulhadi

et al. 2018

IEEE Trans. Syst. Man Cybern, Syst.

Self Cite

View full text Add to dashboard Cite

Abstract-Prognostics predictions estimate the remaining useful life of assets. This information enables the implementation of condition-based maintenance strategies by scheduling intervention when failure is imminent. Circuit breakers are key assets for the correct operation of the power network, fulfilling both a protection and a network reconfiguration role. Certain breakers will perform switching on a deterministic schedule, while operating stochastically in response to network faults. Both types of operation increase wear on the main contact, with high fault currents leading to more rapid ageing. This paper presents a hybrid approach for prognostics of circuit breakers, which integrates deterministic and stochastic operation through Piecewise Deterministic Markov Processes. The main contributions of this paper are (i) the integration of hybrid prognostics models with dynamic reliability concepts for a more accurate remaining useful life forecasting and (ii) the uncertain failure threshold modelling to integrate and propagate uncertain failure evaluation levels in the prognostics estimation process. Results show the effect of dynamic operation conditions on prognostics predictions and confirm the potential for its use within a condition-based maintenance strategy.

show abstract

“…As for asset-level condition-based maintenance strategies, ω(t) is defined as (Aizpurua & Catterson 2015a):…”

Section: Maintenance Models For Dynamicmentioning

confidence: 99%

A cost-benefit approach for the evaluation of prognostics-updated maintenance strategies in complex dynamic systems

Aizpurua¹,

Catterson²,

Chiacchio

et al. 2016

Risk, Reliability and Safety: Innovating Theory and Practice

View full text Add to dashboard Cite

The implementation of maintenance strategies which integrate online condition data has the potential to increase availability and reduce maintenance costs. Prognostics techniques enable the implementation of these strategies through up-to-date remaining useful life estimations. However, a cost-benefit assessment is necessary to verify the scale of potential benefits of condition-based maintenance strategies and prognostics for a given application. The majority of prognostics applications focus on the evaluation of a specific failure mode of an asset. However, industrial systems are comprised of different assets with multiple failure modes, which in turn, work in cooperation to perform a system level function. Besides, these systems include time-dependent events and conditional triggering events which cause further effects on the system. In this context not only are the system-level prognostics predictions challenging, but also the cost-benefit analysis of condition-based maintenance policies. In this work we combine asset prognostics predictions with temporal logic so as to obtain an up-to-date system level health estimation. We use asset level and system level prognostics estimations to evaluate the cost-effectiveness of alternative maintenance policies. The application of the proposed approach enables the adoption of conscious trade-off decisions between alternative maintenance strategies for complex systems. The benefits of the proposed approach are discussed with a case study from the power industry.

show abstract

On the use of probabilistic model-checking for the verification of prognostics applications

Cited by 8 publications

References 11 publications

ADEPS: A Methodology for Designing Prognostic Applications

ADEPS: A Methodology for Designing Prognostic Applications

A Model-Based Hybrid Approach for Circuit Breaker Prognostics Encompassing Dynamic Reliability and Uncertainty

A cost-benefit approach for the evaluation of prognostics-updated maintenance strategies in complex dynamic systems

Contact Info

Product

Resources

About