Skip to main content
SpringerLink
Log in

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

  • Published:
Journal of Intelligent Manufacturing Aims and scope Submit manuscript

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\)). 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12

Similar content being viewed by others

References

  • Akutsu, T., Kosub, S., Melkman, A., & Tamura, T. (2012). Finding a periodic attractor of a Boolean network. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9(5), 1410–1421.

    Article  Google Scholar 

  • Alwi, S., & Fujimoto, Y. (2014). Safety properties comparison between Gröbner bases and BDD-based model checking method. In Presented at the 13th international conference on control automation robotics and vision.

  • Arnosti, D. N., & Ay, A. (2012). Boolean modeling of gene regulatory networks: Driesch redux. Proceedings of the National Academy of Sciences, 109(45), 18239–18240.

    Article  Google Scholar 

  • Assef, Y., Bastard, P., & Meunier, M. (1996). Artificial neural networks for single phase fault detection in resonant grounded power distribution sytems. In Proceedings of the 1996 transmission and distribution conference. http://ieeexplore.ieee.org.ezproxy.library.wisc.edu/xpls/abs_all.jsp?arnumber=547573.

  • Ayhan, M. B., Aydin, M. E., & Öztemel, E. (2013). A multi-agent based approach for change management in manufacturing enterprises. Journal of Intelligent Manufacturing.

  • Baier, C., & Katoen, J.-P. (2008). Principles of model checking (1st ed., Vols. 1-1, Vol. 1). Cambridge, MA: MIT Press.

  • Bane, V., Ravanmehr, V., & Krishnan, A. R. (2012). An information theoretic approach to constructing robust Boolean gene regulatory networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 9(1), 52–65.

    Article  Google Scholar 

  • Barghash, M. A., & Santarisi, N. S. (2004). Pattern recognition of control charts using artificial neural networks—Analyzing the effect of the training parameters. Journal of Intelligent Manufacturing, 15(5), 635–644.

    Article  Google Scholar 

  • Berntensis, N., & Ebeling, M. (2013). Detection of attractors of large Boolean networks via exhaustive enumeration of appropriate subspaces of the state space. BMC Bioinformatics, 14(361).

  • Bozzano, M., Cavallo, A., Cifaldi, M., Valacca, L., & Vilafiorita, A. (2003). Improving safety assessment of complex systems: An industrial case study. In Proceedings of the International Symposium on Formal Methods Europe (Vol. 2805, pp. 208–222). Presented at the International Symposium on Formal Methods Europe, Pisa: Springer.

  • Bozzano, M., & Vilafiorita, A. (2003). Improving system reliability via model checking: The FSAP/NuSMV-SA safety analysis platform. In Proceedings of the international conference on computer safety, reliability, and security (pp. 49–62). Presented at the SAFECOMP 2003, Springer-Verlag.

  • Chaouiya, C., Ourrad, O., & Lima, R. (2013). Majority rules with random tie-breaking in Boolean gene regulatory networks. PLoS ONE, 8(7).

  • Cheng, X., Sun, M., & Socolar, J. E. S. (2013). Autonomous Boolean modelling of developmental gene regulatory networks. Interface: Journal of the Royal Society, 10(78).

  • Chen, H., & Sun, J. (2014). Stability and stabilisation of context-sensitive probabilistic Boolean networks. IET Control Theory & Applications, 8(17), 2115–2121.

    Article  Google Scholar 

  • Chen, X., Jiang, H., & Ching, W.-K. (2012). On construction of sparse probabilistic Boolean networks. East Asian Journal on Applied Mathematics,. doi:10.4208/eajam.030511.060911a.

    Google Scholar 

  • Ching, W.-K., Zhang, S.-Q., Jiao, Y., Akutsu, T., Tsing, N.-K., & Wong, A.-S. (2009). Optimal control policy for probabilistic Boolean networks with hard constraints. IET Systems Biology, 3(2), 90–99.

    Article  Google Scholar 

  • Cichocki, T., & Górski, J. (2000). Failure mode and effects analysis for safety-critical systems with software components. In Proceedings of the 19th international conference on computer safety, reliability and security (Vol. 1943, pp. 382–394). Presented at the SAFECOMP 2000. Brussels: Springer.

  • Cicirello, V., & Smith, S. (2001a). Improved routing wasps for distributed factory control. Presented at the workshop on artificial intelligence and manufacturing. In Proceedings of the workshop on artificial intelligence and manufacturing.

  • Cicirello, V., & Smith, S. (2001b). Wasp nests for self-configurable factories. In Proceedings of the 5th international conference on autonomous agents.

  • Corry, P., & Kozan, E. (2004). Ant colony optimisation for machine kayout problems. Computational Optimization and Applications, 28(3), 287–310.

    Article  Google Scholar 

  • De Smet, O., & Rossi, O. (2002). Validation of a controller for a flexible manufacturing line written in Ladder Diagram via model-checking. In Procedings of the American control conference. Presented at the American Control Conference.

  • Didier, G., & Remy, E. (2012). Relations between gene regulatory networks and cell dynamics in Boolean models. Discrete Applied Mathematics, 160(15), 2147–2157.

    Article  Google Scholar 

  • Dorigo, M. (1992). Optimization, learning, and natural algorithms (Doctoral Thesis). Milan, Italy: Politecnico di Milano.

    Google Scholar 

  • Dougherty, E. R., Kim, S., & Chen, Y. (2000). Coefficient of determination in nonlinear signal processing. Signal Processing, 80, 2219–2235.

    Article  Google Scholar 

  • Dubrova, E., & Teslenko, M. (2010). A SAT-based algorithm for finding attractors in synchronous Boolean networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 8(5), 1393–1399. doi:10.1109/TCBB.2010.20.

    Article  Google Scholar 

  • Ebeling, C. E. (1997). An introduction to reliability and maintainability engineering. New York: McGraw-Hill.

    Google Scholar 

  • Gang, X., & Wu, Z. (2003). The application and verification of Banker’s Algorithm for deadlock avoidance in Flexible Manufacturing System usomg SPIN. In Proceedings of ICRA ’03. Presented at the IEEE International Conference on Robotics and Automation.

  • Gao, Y., Xu, P., Wang, X., & Liu, W. (2013). The complex fluctuations of Probabilistic Boolean networks. BioSystems, 114(1), 78–84.

    Article  Google Scholar 

  • Ghanbarnejad, F. (2012). Perturbations in Boolean networks as model of gene regulatory dynamics (doctoral thesis). Leipzig: University of Leipzig.

    Google Scholar 

  • Grunske, L., Colvin, R., & Winter, K. (2007). Probabilistic model-checking support for FMEA. Presented at the Fourth International Conference on the Quantitative Evaluation of Systems. IEEE.

  • Gu, J.-W., Ching, W.-K., Siu, T.-K., & Zheng, H. (2013). On modeling credit defaults: A probabilistic Boolean network approach. Risk and Decision Analysis, 4(2), 119–129.

    Google Scholar 

  • Guo, W., Yang, G., Wu, W., He, L., & Sun, M. (2014). A parallel attractor finding algorithm based on Boolean satisfiability for genetic regulatory networks. PLoS ONE.

  • Hopfensitz, M., Müssel, C., & Maucher, M. (2012). Attractors in Boolean networks: A tutorial. Computational Statistics. http://www.springerlink.com.ezproxy.library.wisc.edu/index/NR1671N55Q3365Q5.pdf.

  • Hsieh, F.-S., & Lin, J.-B. (2013). A self-adaptation scheme for workflow management in multi-agent systems. Journal of Intelligent Manufacturing.

  • Hsieh, F.-S., & Lin, J.-B. (2014). Context-aware workflow management for virtual enterprises based on coordination of agents. Journal of Intelligent Manufacturing, 25(3), 393–412.

    Article  Google Scholar 

  • ICH Harmonised Tripartite Guideline: Quality Risk Management Q9(ICH Q9). (2005, November 9). International conference on harmonisation of technical requirements for registration of pharmaceuticals for human use.

  • Jamhour, A., & García, C. (2012). Automation of industrial serial processes based on finite state machines. Presented at the 20th International Congress of Chemical and Process Engineering, Prague, Czech Republic.

  • Kaplan, S., & Garrick, B. J. (1981). On the quantitative definition of risk. In Risk analysis (Vols. 1-1, Vol. 1).

  • Kauffman, S. A. (1969a). Metabolic stability and epigenesis in randomly constructed genetic nets. Journal of Theoretical Biology, 22, 437–467.

    Article  Google Scholar 

  • Kauffman, S. A. (1969b). Homeostasis and differentitation in random genetic control networks. Nature, 224, 177–178.

    Article  Google Scholar 

  • Kobayashi, K., & Hiraishi, K. (2010). Reachability analysis of probabilistic Boolean networks using model checking (pp. 829–832). Presented at the SICE Annual Conference 2010, Proceedings. http://library.uprm.edu:2055/stamp/stamp.jsp?tp=&arnumber=5604207.

  • Koestler, A. (1967). The ghost in the machine. New York: Macmillan.

    Google Scholar 

  • Kwiatkowska, M. Z., Norman, G., & Parker, D. (2011). PRISM 4.0: Verification of probabilistic real-time systems. In Lecture notes in computer science (Vol. 6806, pp. 585–591). Springer.

  • Leger, R., Garland, W., & Poehlman, W. F. S. (1998). Fault detection and diagnosis using statistical control charts and artificial neural networks. Artificial intelligence in Engineering. http://www.sciencedirect.com.ezproxy.library.wisc.edu/science/article/pii/S0954181096000398.

  • Leitão, P. (2008). Self-organization in manufacturing systems: Challenges and opportunities. In Procedings of the second IEEE international conference on self-adaptive and self-organizing systems workshops (pp. 174–179). Presented at the 2nd IEEE International Conference on Self-Adaptive and Self-Organizing Systems.

  • Liang, R., Qiu, Y., & Ching, W.-K. (2014). Construction of probabilistic Boolean network for credit default data. In Proceedings of the seventh international joint conference on computational science and optimization. Presented at the seventh international joint conference on computational science and optimization.

  • Liu, X., Yi, H., & Zhong-hua, N. (2013). Application of ant colony optimization algorithm in process planning optimization. Journal of Intelligent Manufacturing, 24(1), 1–13.

    Article  Google Scholar 

  • Mazzolini, M., Brusaferri, A., & Carpanzano, E. (2010). Model-checkinf based verification approach for advanced industrial automation solutions. Presented at the IEEE conference on emerging technologies and factory automation.

  • Nouiri, M., Bekrar, A., Jemai, A., Niar, S., & Ammari, A. C. (2015). An effective and distributed particle swarm optimization algorithm for flexible job-shop scheduling problem. Journal of Intelligent Manufacturing.

  • Pal, R., Ivanov, I., Datta, A., Bittner, M. L., & Dougherty, E. R. (2006). Synthesizing Boolean networks with a given attractor structure. Genomic Signal Processing and Statistics. (2006). IEEE International Workshop on GENSIPS & apos;06, 73–74, doi:10.1109/GENSIPS.2006.353162.

  • Potential Failure Mode and Effects Analysis (FMEA), Third Edition. (2001). Automotive Industry Action Group.

  • Preusse, S., & Hanisch, H.-M. (2011). Verifying functional and ? non-functional properties of manufacturing control systems. In: Presented at the 3rd International Workshop on Dependable Control of Discrete Systems.

  • Qiu, Y., Tamura, T., Ching, W.-K., & Akutsu, T. (2014). On control of singleton attractors in multiple Boolean networks: Integer programming-based method. BMC Systems Biology, 8(S7).

  • Rausand, M., & Høyland, A. (2004). Systems reliability theory: Models, statistical methods, and applications (2nd ed.). Hoboken, NJ: Wiley.

    Google Scholar 

  • Samanta, B., & Nataraj, C. (2009). Application of particle swarm optimization and proximal support vector machines for fault detection. Swarm Intelligence, 3(4), 303–325.

    Article  Google Scholar 

  • Shmulevich, I., & Dougherty, E. R. (2010). Probabilistic boolean networks: Modeling and control of gene regulatory networks. Philadelphia, PA: SIAM.

  • Skitt, P. J. C., Javed, M. A., Sanders, S. A., & Higginson, A. M. (1993). Process monitoring using auto-associative, feed-forward artificial neural networks. Journal of Intelligent Manufacturing, 4(1), 79–94.

    Article  Google Scholar 

  • Stamantis, D. H. (2003). FMEA: A general overview. In Failure Mode and effects analysis: FMEA from theory to execution (Second., pp. 21–81). Milwaukee, Wisconsin: ASQ Quality Press.

  • Sun, T.-H., Tien, F.-C., Tien, F.-C., & Kuo, R.-J. (2014). Automated thermal fuse inspection using machine vision and artificial neural networks. Journal of Intelligent Manufacturing.

  • Takatsuka, K., & Tomita, S. (2010). Modelling of discrete manufacturing systems having multiple jobs for verification by model-checking (pp. 1136–1141). In: Presented at the 8th IEEE International Conference on Industrial Informatics.

  • Trairatphisan, P., Mizera, A., Pang, J., Tantar, A. A., Schneider, J., & Sauter, T. (2013). Recent development and biomedical applications of probabilistic Boolean networks. Cell Communication and Signaling, 11, 46.

    Article  Google Scholar 

  • Ueda, K. (1992). A concept for bionic manufacturing systems based on DNA-type information. In Proceedings of the 8th International PROLAMAT Conference (pp. 853–863).

  • Ueda, K. (1993). A genetic approach toward future manufacturing systems. In Flexible manufacturing systems: Past-present-future (p. 211). CIRP.

  • Vahedi, G. (2009). An engineering approach towards personalized cancer therapy. Retrieved from http://gradworks.umi.com.ezproxy.library.wisc.edu/33/84/3384337.html.

  • Voronov, A., & Akesson, K. (2009). Verification of process operations using model checking. In Proceedings of CASE 2009. Presented at the IEEE conference on automation science and engineering.

  • Wang, X., Wang, H., & Qi, C. (2014). Multi-agent reinforcement learning based maintenance policy for a resource constrained flow line system. Journal of Intelligent Manufacturing.

  • Wang, Y., & Wu, Z. (2003). Deadlock avoidance control synthesis in manufacturing systems using model checking. In Proceedings of the American control conference. Presented at the American control conference.

  • Wooldridge, M. (2002). An introduction to multi-agent systems. Hoboken: Wiley.

    Google Scholar 

  • Wu, C.-H., Wang, D.-Z., Ip, A., Wang, D.-W., Chan, C.-Y., & Wang, H.-F. (2009). A particle swarm optimization approach for components placement inspection on printed circuit boards. Journal of Intelligent Manufacturing, 20(5), 535–549.

    Article  Google Scholar 

  • Zheng, D., Yang, G., Li, X., Wang, Z., Liu, F., & He, L. (2013). An efficient algorithm for computing attractors of sychronous and asynchronous Boolean networks. PLoS ONE.

Download references

Author information

Authors and Affiliations

  1. ETSET-Universidade de Vigo, Campus Universitario, s/n, 36310, Vigo, Spain

    Pedro J. Rivera Torres & Luis Anido Rifón

  2. Polytechnic University of Puerto Rico, 377 Ponce de León Ave, Hato Rey, PR, 00918, Puerto Rico

    Eileen I. Serrano Mercado

Authors
  1. Pedro J. Rivera Torres
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eileen I. Serrano Mercado
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Luis Anido Rifón
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pedro J. Rivera Torres.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Rivera Torres, P.J., Serrano Mercado, E.I. & Anido Rifón, L. Probabilistic Boolean network modeling and model checking as an approach for DFMEA for manufacturing systems. J Intell Manuf 29, 1393–1413 (2018). https://doi.org/10.1007/s10845-015-1183-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10845-015-1183-9

Keywords

Search

Navigation