Applying fuzzy automata to analyze heart data

Abstract

There has been several attempts to introduce formal methods in the development of medical computer systems. Fuzzy automata provide a way to cope with imprecision, which appears in almost every biological or medical system. In this Thesis, we improve and extend a previous formalism, based on fuzzy automata, and develop tools to facilitate the definition of models using our formalism and its practical use. We have applied our formalism and tools to analyze heart data to detect and prevent arrhythmia.Existen varios intentos de usar los métodos formales en el desarrollo de sistemas informáticos médicos. Los autómatas difusos ofrecen la posibilidad de tener en cuenta la imprecisión, una característica que está presente en casi cualquier sistema médico o biológico. En este trabajo extendemos y adaptamos un formalismo existente, basado en autómatas difusos, y desarrollamos herramientas para facilitar tanto la definición de modelos que usan nuestro formalismo como su uso. Hemos aplicado nuestro formalismo y herramientas al análisis de datos cardiacos para detectar y prevenir arritmias.