An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data

In this paper we present a new formalism that can be used to formally specify complex systems where uncertainty plays an important role. We introduce an improved version of a previous formalism, a fuzzy version of finite automata, by defining its syntax and semantics. We successfully applied this formalism to define and analyze information extracted from electrocardiograms (ECGs).

[1]  L. Hayduk,et al.  Structural equation model testing and the quality of natural killer cell activity measurements , 2005 .

[2]  J. Mordeson,et al.  Fuzzy Automata and Languages: Theory and Applications , 2002 .

[3]  Dominique Méry,et al.  Formalization of Heart Models Based on the Conduction of Electrical Impulses and Cellular Automata , 2011, FHIES.

[4]  King-Sun Fu,et al.  A Formulation of Fuzzy Automata and Its Application as a Model of Learning Systems , 1969, IEEE Trans. Syst. Sci. Cybern..

[5]  Stefan C. Kremer,et al.  New directions in fuzzy automata , 2005, Int. J. Approx. Reason..

[6]  Z. Khachaturian,et al.  A methodological note: comparison between period and rate data in studies of cardiac function. , 1972, Psychophysiology.

[7]  Taolue Chen,et al.  Quantitative verification of implantable cardiac pacemakers over hybrid heart models , 2014, Inf. Comput..

[8]  G.B. Moody,et al.  The impact of the MIT-BIH Arrhythmia Database , 2001, IEEE Engineering in Medicine and Biology Magazine.

[9]  Sumche Man,et al.  Normal values of the electrocardiogram for ages 16-90 years. , 2014, Journal of electrocardiology.

[10]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[11]  Zhihao Jiang,et al.  Using the Virtual Heart Model to validate the mode-switch pacemaker operation , 2010, 2010 Annual International Conference of the IEEE Engineering in Medicine and Biology.

[12]  Manuel Núñez,et al.  Self-adaptive fuzzy-timed systems , 2011, 2011 IEEE Congress of Evolutionary Computation (CEC).

[13]  Juan Boubeta-Puig,et al.  A Formal Framework to Specify and Test Systems with Fuzzy-Time Information , 2017, IWANN.

[14]  Jørgen K. Kanters,et al.  Reference values of electrocardiogram repolarization variables in a healthy population. , 2010, Journal of electrocardiology.

[15]  Peter J Hunter,et al.  Modeling total heart function. , 2003, Annual review of biomedical engineering.

[16]  I. Hozo,et al.  Estimating the mean and variance from the median, range, and the size of a sample , 2005, BMC medical research methodology.

[17]  Mercedes G. Merayo,et al.  Using fuzzy automata to diagnose and predict heart problems , 2017, 2017 IEEE Congress on Evolutionary Computation (CEC).