Probabilistic Boolean network modeling of an industrial machine

Theoretical modeling of manufacturing processes assists the design of new systems for predictions of future behavior, identifies improvement areas, and evaluates changes to existing systems. A novel approach is proposed to model industrial machines using probabilistic Boolean networks (PBNs) to study the relationship between machine components, their reliability and function. Once a machine is modeled as a PBN, through identification of regulatory nodes, predictors and selection probabilities, simulation and property verification are used to verify model correctness and behavior. Using real machine data, model parameters are estimated and a PBN is built to describe the machine, and formulate valid predictions about probability of failure through time. Two models were established: one with non-deterministic inputs (proposed), another with components’ MTBFs inputs. Simulations were used to generate data required to conduct inferential statistical tests to determine the level of correspondence between predictions and real machine data. An ANOVA test shows no difference between expected and observed values of the two models (p value = 0.208). A two-sample T test demonstrates the proposed model provides values closer to expected values; consequently, it can model observable phenomena (p value \(=\) 0.000). 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 research demonstrates that using PBNs to model manufacturing systems provides a new mechanism for the study and prediction of their future behavior at the design phase, assess future performance and identify areas to improve design reliability and system resilience.

[1]  Blagoj Ristevski,et al.  A survey of models for inference of gene regulatory networks , 2013 .

[2]  Wai-Ki Ching,et al.  Construction of Probabilistic Boolean Network for Credit Default Data , 2014, 2014 Seventh International Joint Conference on Computational Sciences and Optimization.

[3]  R. Peter Jones,et al.  Probability based vehicle fault diagnosis: Bayesian network method , 2008, J. Intell. Manuf..

[4]  W. Ching,et al.  On Construction of Sparse Probabilistic Boolean Networks , 2012 .

[5]  Brahim Chaib-draa,et al.  Trends in distributed artificial intelligence , 1992, Artificial Intelligence Review.

[6]  Edward R. Dougherty,et al.  Coefficient of determination in nonlinear signal processing , 2000, Signal Process..

[7]  Michael Wooldridge,et al.  Introduction to Multi-Agent Systems , 2016 .

[8]  Kazuhiro Ohkura,et al.  Modelling of Biological Manufacturing Systems for Dynamic Reconfiguration , 1997 .

[9]  Jun Pang,et al.  Recent development and biomedical applications of probabilistic Boolean networks , 2013, Cell Communication and Signaling.

[10]  Jitao Sun,et al.  Stability and stabilisation of context-sensitive probabilistic Boolean networks , 2014 .

[11]  Mikhail Prokopenko,et al.  Guided self-organization. , 2009 .

[12]  Chaoyang Zhang,et al.  Comparison of probabilistic Boolean network and dynamic Bayesian network approaches for inferring gene regulatory networks , 2007, BMC Bioinformatics.

[13]  S. Kauffman Homeostasis and Differentiation in Random Genetic Control Networks , 1969, Nature.

[14]  Hans A. Kestler,et al.  Attractors in Boolean networks: a tutorial , 2012, Computational Statistics.

[15]  Tatsuya Akutsu,et al.  Finding a Periodic Attractor of a Boolean Network , 2012, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[16]  Fu-Shiung Hsieh,et al.  Context-aware workflow management for virtual enterprises based on coordination of agents , 2014, J. Intell. Manuf..

[17]  Peng Xu,et al.  The complex fluctuations of probabilistic Boolean networks , 2013, Biosyst..

[18]  K. Hiraishi,et al.  Reachability analysis of probabilistic Boolean networks using model checking , 2010, Proceedings of SICE Annual Conference 2010.

[19]  Surendra M. Gupta,et al.  Petri net models of flexible and automated manufacturing systems : a survey , 1996 .

[20]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

[21]  Elisabeth Remy,et al.  Relations between gene regulatory networks and cell dynamics in Boolean models , 2012, Discret. Appl. Math..

[22]  Edward R. Dougherty,et al.  From Boolean to probabilistic Boolean networks as models of genetic regulatory networks , 2002, Proc. IEEE.

[23]  A. Dhingra,et al.  Optimization of Scheduling Problems: A genetic algorithm survey , 2012 .

[24]  Kanji Ueda,et al.  A Concept for Bionic Manufacturing Systems Based on DNA-type Information , 1992, PROLAMAT.

[25]  Michel Baudin Manufacturing systems analysis , 1990 .

[26]  Paulo Leitao,et al.  Simulation of multi-agent manufacturing systems using Agent-Based Modelling platforms , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[27]  Ayeley P. Tchangani,et al.  Decision-making with uncertain data: Bayesian linear programming approach , 2004, J. Intell. Manuf..

[28]  Stephen F. Smith,et al.  Improved Routing Wasps for Distributed Factory Control , 2001, IJCAI 2001.

[29]  A Koestler,et al.  Ghost in the Machine , 1970 .

[30]  Mahmoud A. Barghash,et al.  Pattern recognition of control charts using artificial neural networks—analyzing the effect of the training parameters , 2004, J. Intell. Manuf..

[31]  Charles E Ebeling,et al.  An Introduction to Reliability and Maintainability Engineering , 1996 .

[32]  Marvin Rausand,et al.  System Reliability Theory: Models, Statistical Methods, and Applications , 2003 .

[33]  Ahmet Ay,et al.  Boolean modeling of gene regulatory networks: Driesch redux , 2012, Proceedings of the National Academy of Sciences.

[34]  Dipti Srinivasan,et al.  An Introduction to Multi-Agent Systems , 2010 .

[35]  W. Ching,et al.  Generating probabilistic Boolean networks from a prescribed transition probability matrix. , 2009, IET systems biology.

[36]  Erhan Kozan,et al.  Ant Colony Optimisation for Machine Layout Problems , 2004, Comput. Optim. Appl..

[37]  Zhonghua Ni,et al.  Application of ant colony optimization algorithm in process planning optimization , 2013, J. Intell. Manuf..

[38]  Joshua E S Socolar,et al.  Autonomous Boolean modelling of developmental gene regulatory networks , 2013, Journal of The Royal Society Interface.

[39]  Massimo Paolucci,et al.  A Swarm Intelligence Method Applied to Manufacturing Scheduling , 2007, WOA.

[40]  Radu F. Babiceanu,et al.  Development and Applications of Holonic Manufacturing Systems: A Survey , 2006, J. Intell. Manuf..

[41]  Stuart A. Kauffman,et al.  The origins of order , 1993 .

[42]  Ching-Yuen Chan,et al.  A particle swarm optimization approach for components placement inspection on printed circuit boards , 2009 .

[43]  Yu Liu,et al.  A Survey on Particle Swarm Optimization Algorithms for Multimodal Function Optimization , 2011, J. Softw..

[44]  Nikolaos Berntenis,et al.  Detection of attractors of large Boolean networks via exhaustive enumeration of appropriate subspaces of the state space , 2013, BMC Bioinformatics.

[45]  Mehmet Emin Aydin,et al.  A multi-agent based approach for change management in manufacturing enterprises , 2015, J. Intell. Manuf..

[46]  M. A. Javed,et al.  Process monitoring using auto-associative, feed-forward artificial neural networks , 1993, J. Intell. Manuf..

[47]  Tak Kuen Siu,et al.  On modeling credit defaults: A probabilistic Boolean network approach , 2013, Risk Decis. Anal..

[48]  William J. Garland,et al.  Fault detection and diagnosis using statistical control charts and artificial neural networks , 1998, Artif. Intell. Eng..

[49]  Edward R. Dougherty,et al.  Validation of gene regulatory networks: scientific and inferential , 2011, Briefings Bioinform..

[50]  N. M. Nagorny,et al.  The Theory of Algorithms , 1988 .

[51]  Ahmed Chiheb Ammari,et al.  An effective and distributed particle swarm optimization algorithm for flexible job-shop scheduling problem , 2015, Journal of Intelligent Manufacturing.

[52]  Paulo Leitão,et al.  Agent-based holonic production control , 2002, Proceedings. 13th International Workshop on Database and Expert Systems Applications.

[53]  Edward R. Dougherty,et al.  Probabilistic Boolean Networks - The Modeling and Control of Gene Regulatory Networks , 2010 .

[54]  Chandrasekhar Nataraj,et al.  Application of particle swarm optimization and proximal support vector machines for fault detection , 2009, Swarm Intelligence.

[55]  T. Akutsu,et al.  Optimal control policy for probabilistic Boolean networks with hard constraints. , 2009, IET systems biology.

[56]  Marco Dorigo,et al.  Ant colony optimization theory: A survey , 2005, Theor. Comput. Sci..

[57]  Tatsuya Akutsu,et al.  On control of singleton attractors in multiple Boolean networks: integer programming-based method , 2014, BMC Systems Biology.

[58]  A. Datta,et al.  Synthesizing Boolean networks with a given attractor structure , 2006, 2006 IEEE International Workshop on Genomic Signal Processing and Statistics.

[59]  Golnaz Vahedi An Engineering Approach Towards Personalized Cancer Therapy , 2010 .

[60]  Edward R. Dougherty,et al.  Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks , 2002, Bioinform..

[61]  S. Kauffman Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[62]  Paulo Leitão,et al.  Self-Organization in Manufacturing Systems: Challenges and Opportunities , 2008, 2008 Second IEEE International Conference on Self-Adaptive and Self-Organizing Systems Workshops.

[63]  Maxim Teslenko,et al.  A SAT-Based Algorithm for Finding Attractors in Synchronous Boolean Networks , 2011, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[64]  D.E. Goldberg,et al.  Classifier Systems and Genetic Algorithms , 1989, Artif. Intell..

[65]  Noureddine Zerhouni,et al.  Data-driven prognostic method based on Bayesian approaches for direct remaining useful life prediction , 2016, J. Intell. Manuf..

[66]  Bane V. Vasic,et al.  An Information Theoretic Approach to Constructing Robust Boolean Gene Regulatory Networks , 2012, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[67]  Carlos Gershenson,et al.  Design and Control of Self-organizing Systems , 2007 .

[68]  Te-Hsiu Sun,et al.  Automated thermal fuse inspection using machine vision and artificial neural networks , 2016, J. Intell. Manuf..

[69]  Wei Wu,et al.  A Parallel Attractor Finding Algorithm Based on Boolean Satisfiability for Genetic Regulatory Networks , 2014, PloS one.

[70]  Hong-Seok Park,et al.  An Intelligent Manufacturing System with Biological Principles , 2010 .

[71]  Claudine Chaouiya,et al.  Majority Rules with Random Tie-Breaking in Boolean Gene Regulatory Networks , 2013, PloS one.

[72]  Adil Baykasoglu,et al.  A multi-agent based approach to dynamic scheduling with flexible processing capabilities , 2017, J. Intell. Manuf..

[73]  C. Garcia,et al.  Automation of Industrial Serial Processes Based on Finite State Machines , 2012 .

[74]  Kwangyeol Ryu,et al.  Evolutionary resource assignment for workload-based production scheduling , 2016, J. Intell. Manuf..

[75]  Azlan Mohd Zain,et al.  Glowworm swarm optimization (GSO) for optimization of machining parameters , 2016, J. Intell. Manuf..

[76]  Stephen F. Smith,et al.  Wasp nests for self-configurable factories , 2001, AGENTS '01.

[77]  Fu-Shiung Hsieh,et al.  A self-adaptation scheme for workflow management in multi-agent systems , 2016, J. Intell. Manuf..

[78]  Wei Xiong,et al.  A new immune multi-agent system for the flexible job shop scheduling problem , 2018, J. Intell. Manuf..

[79]  Guowu Yang,et al.  An Efficient Algorithm for Computing Attractors of Synchronous And Asynchronous Boolean Networks , 2013, PloS one.

[80]  Michel Meunier,et al.  Artificial neural networks for single phase fault detection in resonant grounded power distribution systems , 1996, Proceedings of 1996 Transmission and Distribution Conference and Exposition.

[81]  Xiao Wang,et al.  Multi-agent reinforcement learning based maintenance policy for a resource constrained flow line system , 2016, J. Intell. Manuf..