Utilizing Fuzzy colored Petri-Nets to monitor cardiac pacemaker behavior

Connected health devices are used to in vivo cure and prevent abnormal conditions without manual intervention. This paper presents an intelligent agent-based method for runtime verification of cardiac pacemaker runtime behavior. Construct the agent's knowledge base based on the Fuzzy Colored Petri Net (FCPN). Based on our previous experiences, the FCPN will be reduced the scale of our network in comparison to the Petri-net(PN). Compared to a simple inference engine, the FCPN can cover the concurrent states and in addition intelligent agent can ensure the accuracy of the runtime verification operation of the cardiac pacemaker in vital and unexpected situation.

[1]  Andrzej Wakanis,et al.  Fuzzy logic controller for rate-adaptive heart pacemaker , 2004, Appl. Soft Comput..

[2]  Poong Hyun Seong,et al.  Development of automated operating procedure system using fuzzy colored petri nets for nuclear power plants , 2004 .

[3]  Seyed Morteza Babamir,et al.  Specification and Verification of Medical Monitoring System Using Petri-nets , 2014, Journal of medical signals and sensors.

[4]  Azlan Mohd Zain,et al.  A decomposition algorithm of fuzzy Petri net using an index function and incidence matrix , 2015, Expert Syst. Appl..

[5]  V. Divya,et al.  Agent Based Software Testing Framework (ABSTF) for Application Maintenance , 2013, ArXiv.

[6]  MengChu Zhou,et al.  Body Sensors Applied in Pacemakers: A Survey , 2012, IEEE Sensors Journal.

[7]  Y. Yoon,et al.  Rate-adaptive pacemaker controlled by motion and respiratory rate using neuro-fuzzy algorithm , 2001, Medical and Biological Engineering and Computing.

[8]  Xiaoou Li,et al.  Adaptive fuzzy petri nets for dynamic knowledge representation and inference , 2000 .

[9]  Xiaoou Li,et al.  Dynamic knowledge inference and learning under adaptive fuzzy Petri net framework , 2000, IEEE Trans. Syst. Man Cybern. Part C.

[10]  Zina Houhamdi,et al.  A Petri Net Based Multi-Agent System Behavioral Testing , 2012 .

[11]  Hu-Chen Liu,et al.  Dynamic Adaptive Fuzzy Petri Nets for Knowledge Representation and Reasoning , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[12]  G. V. Uma,et al.  Evolution of Agent-Oriented Distributed Model for Software Testing: Layered Approach , 2006, Int. Arab J. Inf. Technol..

[13]  Jeffrey J. P. Tsai,et al.  Fuzzy Rule Base Systems Verification Using High-Level Petri Nets , 2003, IEEE Trans. Knowl. Data Eng..

[14]  Ravishankar K. Iyer,et al.  Analysis of Safety-Critical Computer Failures in Medical Devices , 2013, IEEE Security & Privacy.

[15]  Insup Lee,et al.  A Safety-Assured Development Approach for Real-Time Software , 2010, 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications.

[16]  Chia-Hung Lin,et al.  A Rule-Based Decision-Making Diagnosis System to Evaluate Arteriovenous Shunt Stenosis for Hemodialysis Treatment of Patients Using Fuzzy Petri Nets , 2014, IEEE Journal of Biomedical and Health Informatics.

[17]  L. Miclea,et al.  Agent-based testing and repair of heterogeneous distributed systems , 2008, 2008 IEEE International Conference on Automation, Quality and Testing, Robotics.

[18]  Seyed Morteza Babamir,et al.  Medical software runtime checking using Petri-nets & software agents , 2014, 2014 4th International Conference on Computer and Knowledge Engineering (ICCKE).

[19]  Seyed Morteza Babamir.  A framework for specifying safe behavior of the CIIP medical system. , 2011, Advances in experimental medicine and biology.

[20]  Jorge C. A. de Figueiredo,et al.  Towards medical device behavioural validation using Petri nets , 2013, Proceedings of the 26th IEEE International Symposium on Computer-Based Medical Systems.

[21]  Yifu Zhang,et al.  Software Test Data Generation Based on Multi-agent , 2009, FGIT-ASEA.

[22]  Jin-Fu Chang,et al.  Knowledge Representation Using Fuzzy Petri Nets , 1990, IEEE Trans. Knowl. Data Eng..

[23]  Seyed Morteza Babamir.  Constructing a Model-Based Software Monitor for the Insulin Pump Behavior , 2010, Journal of Medical Systems.

[24]  Hong Zhu,et al.  A multi-agent software engineering environment for testing Web-based applications , 2003, Proceedings 27th Annual International Computer Software and Applications Conference. COMPAC 2003.

[25]  Seyed Morteza Babamir,et al.  Runtime verification of pacemaker using fuzzy logic and colored Petri-nets , 2015, 2015 4th Iranian Joint Congress on Fuzzy and Intelligent Systems (CFIS).

[26]  Daoud Ait-Kadi,et al.  Fault diagnosis model based on petri net with fuzzy colors , 1999 .

[27]  Maria L. Gini,et al.  Implantable medical devices as agents and part of multiagent systems , 2006, AAMAS '06.

[28]  David Chenho Kung,et al.  An agent-based testing approach for Web applications , 2005, 29th Annual International Computer Software and Applications Conference (COMPSAC'05).

[29]  C. S. Chen,et al.  A Rule-Based Expert System with Colored Petri Net Models for Distribution System Service Restoration , 2002, IEEE Power Engineering Review.