RT Generic T1 Applying fuzzy automata to analyze heart data A1 Calvo Revelo, Iván AB 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. AB 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. YR 2018 FD 2018 LK https://hdl.handle.net/20.500.14352/15089 UL https://hdl.handle.net/20.500.14352/15089 LA eng NO Universidad Complutense, Facultad de Informática, curso 2017/2018 DS Docta Complutense RD 28 abr 2024