A methodology to analyze heart data using fuzzy automata¹

Issue title: Special Section: Collective intelligence in information systems

Guest editors: Ngoc Thanh Nguyen, Edward Szczerbicki, Bogdan Trawiński and Van Du Nguyen

Article type: Research Article

Authors: Calvo, Iván | Merayo, Mercedes G. | Núñez, Manuel^{; *}

Affiliations: Universidad Complutense de Madrid, Spain

Correspondence: [*] Corresponding author. M. Núñez, Universidad Complutense de Madrid, Spain. E-mail: [email protected].

Note: [1] Research partially supported by the Spanish projects DArDOS (TIN2015-65845-C3-1-R) and FAME (RTI2018-093608-B-C31) and the Comunidad de Madrid project FORTE-CM (S2018/TCS-4314).

Abstract: 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.

Keywords: Fuzzy automata, formal specification, ECG

DOI: 10.3233/JIFS-179348

Journal: Journal of Intelligent & Fuzzy Systems, vol. 37, no. 6, pp. 7389-7399, 2019