A methodology to analyze heart data using fuzzy automata

被引：13
作者：
Calvo, Ivan [1 ]
Merayo, Mercedes G. [1 ]
Nunez, Manuel [1 ]
机构：
[1] Univ Complutense Madrid, Madrid, Spain
来源：
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS | 2019年 / 37卷 / 06期
关键词：
Fuzzy automata; formal specification; ECG; NORMAL LIMITS; ELECTROCARDIOGRAM; VALUES; MODEL;
D O I：
10.3233/JIFS-179348
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
Uncertainty and imprecision play an important role in the specification and analysis of complex systems. Therefore, it is important to provide methodologies and tools to support the correct development of these systems. In this paper we present a new formalism, based on fuzzy automata, to facilitate the different phases involved in the development of a system where information is fuzzy. The formal syntax and semantics of our formalism are based on previous work, which has been adapted to be easily implemented and automated. We introduce a methodology to analyze systems modelled with one of our fuzzy automata. Finally, we show how our framework can be used to define a model of the heart based on electrocardiograms (ECGs) and use this model to analyze data of real patients.
引用
收藏
页码：7389 / 7399
页数：11
相关论文
共 24 条
[1]  
Andrés C, 2011, IEEE C EVOL COMPUTAT, P115
[2]  
[Anonymous], 1996, FUZZY SETS FUZZY LOG
[3]   An Improved and Tool-Supported Fuzzy Automata Framework to Analyze Heart Data [J].
Calvo, Ivan ;
Merayo, Mercedes G. ;
Nunez, Manuel .
INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2018, PT I, 2018, 10751 :694-704
[4]  
Camacho A, 2017, IEEE C EVOL COMPUTAT, P846, DOI 10.1109/CEC.2017.7969397
[5]   Collective intelligence and databases in eHealth: A survey [J].
Camacho, Azahara ;
Merayo, Mercedes G. ;
Nunez, Manuel .
JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2017, 32 (02) :1485-1496
[6]   A survey on formal active and passive testing with applications to the cloud [J].
Cavalli, Ana R. ;
Higashino, Teruo ;
Nunez, Manuel .
ANNALS OF TELECOMMUNICATIONS, 2015, 70 (3-4) :85-93
[7]   Electrocardiographic Reference Values for a Population of Older Adults in Sub-Saharan Africa [J].
Dewhurst, Matthew J. ;
Di Marco, Luigi Y. ;
Dewhurst, Felicity ;
Adams, Philip C. ;
Murray, Alan ;
Orega, Golda P. ;
Mwita, Julius C. ;
Walker, Richard W. ;
Langley, Philip .
ANNALS OF NONINVASIVE ELECTROCARDIOLOGY, 2014, 19 (01) :34-42
[8]   New directions in fuzzy automata [J].
Doostfatemeh, M ;
Kremer, SC .
INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, 2005, 38 (02) :175-214
[9]   Reference values of electrocardiogram repolarization variables in a healthy population [J].
Haarmark, Christian ;
Graff, Claus ;
Andersen, Mads P. ;
Hardahl, Thomas ;
Struijk, Johannes J. ;
Toft, Egon ;
Xue, Joel ;
Rowlandson, Gordon I. ;
Hansen, Peter R. ;
Kanters, Jorgen K. .
JOURNAL OF ELECTROCARDIOLOGY, 2010, 43 (01) :31-39
[10]   An extended framework for passive asynchronous testing [J].
Hierons, Robert M. ;
Merayo, Mercedes G. ;
Nunez, Manuel .
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2017, 86 (01) :408-424
123