Utilizing Fuzzy colored Petri-Nets to monitor cardiac pacemaker behavior
暂无分享,去创建一个
Seyed Morteza Babamir | Amirhassan Monadjemi | Negar Majma | S. M. Babamir | A. Monadjemi | Negar Majma
[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.