Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems

Pedro J. Rivera Torres (), Eileen I. Serrano Mercado and Luis Anido Rifón
Additional contact information
Pedro J. Rivera Torres: ETSET-Universidade de Vigo
Eileen I. Serrano Mercado: Polytechnic University of Puerto Rico
Luis Anido Rifón: ETSET-Universidade de Vigo

Journal of Intelligent Manufacturing, 2018, vol. 29, issue 6, No 16, 1393-1413

Abstract: Abstract Modeling manufacturing processes assists the design of new systems, allowing predictions of future behaviors, identifying improvement areas and evaluating changes to existing systems. Probabilistic Boolean networks (PBN) have been used to study biological systems, since they combine uncertainty and rule-based representation. A novel approach is proposed to model the design of an automated manufacturing assembly processes using PBNs to generate quantitative data for occurrence assessment in design failure mode and effects analysis. FMEA is a widely used tool in risk assessment (RA) to ensure design outputs consistently deliver the intended level of performance. Effectiveness of RA depends upon the robustness of the data used. Temporal logic is applied to analyze state successions in a transition system, while interactions and dynamics are captured over a set of Boolean variables using PBNs. Designs are therefore enhanced through assessment of risks, using proposed tools in the early phases of design of manufacturing systems. A two-sample T test demonstrates the proposed model provides values closer to expected values; consequently modeling observable phenomena ( $$p\,\hbox {value} > 0.05$$ p value > 0.05 ). Simulations are used to generate data required to conduct inferential statistical tests to determine the level of correspondence between model prediction and real machine data.

Keywords: Design failure mode and effects analysis; Formal verification; Model checking; Probabilistic Boolean networks; Reliability; Risk assessment (search for similar items in EconPapers)
Date: 2018
References: View complete reference list from CitEc
Citations: View citations in EconPapers (1)

Downloads: (external link)
http://link.springer.com/10.1007/s10845-015-1183-9 Abstract (text/html)
Access to the full text of the articles in this series is restricted.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:joinma:v:29:y:2018:i:6:d:10.1007_s10845-015-1183-9

Ordering information: This journal article can be ordered from
http://www.springer.com/journal/10845

DOI: 10.1007/s10845-015-1183-9

Access Statistics for this article

Journal of Intelligent Manufacturing is currently edited by Andrew Kusiak

More articles in Journal of Intelligent Manufacturing from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().