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.
AndrésC., LlanaL. and NúñezM., Self-adaptive fuzzy-timed systems, In 13th IEEE Congress on Evolutionary Computation, CEC’11, IEEE Computer Society, 2011, pp. 115–122.
2.
CalvoI., MerayoM.G. and NúñezM., An improved and tool-supported fuzzy automata framework to analyze heart data, In 10th Asian Conference on Intelligent Information and Database Systems, ACIIDS’18, LNAI 10751, Springer, 2018, pp. 694–704.
3.
CamachoA., MerayoM.G. and NúñezM., Collective intelligence and databases in eHealth: A survey, Journal of Intelligent & Fuzzy Systems32(2) (2017), 1485–1496.
4.
CamachoA., MerayoM.G. and NúñezM., Using fuzzy automata to diagnose and predict heart problems. In 19th IEEE Congress on Evolutionary Computation, CEC’17, IEEE Computer Society, 2017, pp. 846–853.
5.
CavalliA.R., HigashinoT. and NúñezM.A survey on formal active and passive testing with applications to the cloud, Annales of Telecommunications70(3–4) (2015), 85–93.
6.
DewhurstM.J., Di MarcoL.Y., DewhurstF., AdamsP.C., MurrayA., OregaG.P., MwitaJ.C., WalkerR.W. and LangleyP., Electrocardiographic reference values for a population of older adults in sub-Saharan Africa, Annals of Noninvasive Electrocardiology19(1) (2014), 34–42.
7.
DoostfatemehM. and KremerS.C., New directions in fuzzy automata, International Journal of Approximate Reasoning38(2) (2005), 175–214.
8.
HaarmarkC., GraffC., AndersenM., HardahlT., StruijkJ., ToftE., XueJ., RowlandsonG., HansenP. and KantersJ., Reference values of electrocardiogram repolarization variables in a healthy population, Journal of Electrocardiology43(1) (2010), 31–39.
9.
HieronsR.M., MerayoM.G. and NúñezM., An extended framework for passive asynchronous testing, Journal of Logical and Algebraic Methods in Programming86(1) (2017), 408–424.
10.
HozoS., DjulbegovicB. and HozoI., Estimating the mean and variance from the median, range, and the size of a sample, BMC Medical Research Methodology5(1) (2005), 1.
11.
HunterP., PullanA. and SmaillB., Modeling total heart function, Annual Review of Biomedical Engineering5(1) (2003), 147–177.
12.
JiangZ., ConnollyA. and MangharamR., Using the virtual heart model to validate the mode-switch pacemaker operation, In 32nd Annual Int Conf of the IEEE Engineering in Medicine and Biology Society, EMBC’10IEEE Computer Society, 2010, pp. 6690–6693.
13.
KatibiI., ClarkE.N., DevineB., LloydS.M. and MacfarlaneP.W., Normal limits of the electrocardiogram in Nigerians, Journal of Electrocardiology46(4) (2013), 289–295.
14.
MacfarlaneP.W., LloydS.M., SinghD., HamdeS., ClarkE.N., DevineB., FrancqB.G. and KumarV., Normal limits of the electrocardiogram in Indians, Journal of Electrocardiology48(4) (2015), 652–668.
15.
MerayoM.G., HieronsR.M. and NúñezM., A tool supported methodology to passively test asynchronous systems with multiple users, Information & Software Technology104 (2018), 162–178.
16.
MéryD. and SinghN., Formalization of heart models based on the conduction of electrical impulses and cellular automata. In 1st Int Symp on Foundations of Health Informatics Engineering and Systems, FHIES’11, LNCS 7151, Springer, 2012.
17.
MoodyG. and MarkR., The impact of the MIT-BIH arrhythmia database, IEEE Engineering in Medicine and Biology20(3) (2001), 45–50.
18.
MordesonJ.N. and MalikD.S., Fuzzy automata and languages: Theory and applications. Chapman & Hall/CRC, 2002.
19.
PalharesD.M.F., MarcolinoM.S., SantosT.M.M., da SilvaJ.L.P., GomesP.R., RibeiroL.B., MacfarlaneP.W.and RibeiroA.L.P., Normal limits of the electrocardiogram derived from a large database of Brazilian primary care patients, BMC Cardiovascular Disorders17 (2017), article 152.
20.
RijnbeekP., van HerpenG., BotsM., ManS., VerweijN., HofmanA., HillegeH., NumansM., SwenneC., WittemanJ., et al., Normal values of the electrocardiogram for ages 16–90 years, Journal of electrocardiology47(6) (2014), 914–921.
21.
ShafiqueM. and LabicheY., A systematic review of state based test tools, International Journal on Software Tools for Technology Transfer17(1) (2015), 59–76.
22.
WeeW.G. and FuK.S., A formulation of fuzzy automata and its application as a model of learning systems, IEEE Transactions on Systems Science and Cybernetics5(3) (1969), 215–223.
23.
WuJ., KorsJ.A., RijnbeekP.R., van HerpenG., LuZ. and XuC., Normal limits of the electrocardiogram in Chinese subjects, International Journal of Cardiology87(1) (2003), 37–51.
24.
ZadehL.A., Fuzzy Sets, Fuzzy Logic, and Fuzzy Systems. Advances in Fuzzy Systems – Applications and Theory: vol. 6. World Scientific Press, 1996.
