AUNTY: A Tool to Automatically Analyze Data Using Fuzzy Automata

2018 3rd International Conference on Computational Intelligence and Applications (ICCIA) Pub Date : 2018-07-01 DOI:10.1109/ICCIA.2018.00026

Iván Calvo, Mercedes G. Merayo, Manuel Núñez

{"title":"AUNTY: A Tool to Automatically Analyze Data Using Fuzzy Automata","authors":"Iván Calvo, Mercedes G. Merayo, Manuel Núñez","doi":"10.1109/ICCIA.2018.00026","DOIUrl":null,"url":null,"abstract":"Recent work has shown that fuzzy bounds are an appropriate mechanism to decide the correctness of systems where some of the parameters governing their behavior have a degree of uncertainty. In order to provide a formalism to specify and analyze this type of systems, an extension of finiteautomata with fuzzy constraints has been introduced. Previous work has provided the theoretical framework and the application methodology. This framework has been used in different areas, in particular, in the analysis of electrocardiograms to detect abnormal patterns of behavior. Although our case studies were fully supported by a dedicated computer program, we missed a tool where the particular features of each system could be easily specified. In this paper we present AUNTY: a tool to AUtomatically aNalyze daTa using fuzzY automata. The tool allows users to graphically represent specifications of behaviors and automatically analyze whether the available data conforms to a specification. Its modular architecture makes the tool suitable to be adapted to a wide range of use cases.","PeriodicalId":297098,"journal":{"name":"2018 3rd International Conference on Computational Intelligence and Applications (ICCIA)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-07-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 3rd International Conference on Computational Intelligence and Applications (ICCIA)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICCIA.2018.00026","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

Abstract

Recent work has shown that fuzzy bounds are an appropriate mechanism to decide the correctness of systems where some of the parameters governing their behavior have a degree of uncertainty. In order to provide a formalism to specify and analyze this type of systems, an extension of finiteautomata with fuzzy constraints has been introduced. Previous work has provided the theoretical framework and the application methodology. This framework has been used in different areas, in particular, in the analysis of electrocardiograms to detect abnormal patterns of behavior. Although our case studies were fully supported by a dedicated computer program, we missed a tool where the particular features of each system could be easily specified. In this paper we present AUNTY: a tool to AUtomatically aNalyze daTa using fuzzY automata. The tool allows users to graphically represent specifications of behaviors and automatically analyze whether the available data conforms to a specification. Its modular architecture makes the tool suitable to be adapted to a wide range of use cases.

查看原文

微信好友朋友圈 QQ好友复制链接

本刊更多论文

使用模糊自动机自动分析数据的工具

最近的工作表明，模糊界限是一种适当的机制来决定系统的正确性，其中一些控制其行为的参数有一定程度的不确定性。为了提供一种描述和分析这类系统的形式化方法，引入了带模糊约束的有限自动机的扩展。先前的工作提供了理论框架和应用方法。这一框架已被用于不同的领域，特别是在分析心电图以检测异常行为模式方面。虽然我们的案例研究完全由专用的计算机程序支持，但我们错过了一个可以轻松指定每个系统的特定功能的工具。本文提出了一种利用模糊自动机自动分析数据的工具AUNTY。该工具允许用户以图形方式表示行为规范，并自动分析可用数据是否符合规范。它的模块化体系结构使该工具适合于适应广泛的用例。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文去求助

来源期刊

2018 3rd International Conference on Computational Intelligence and Applications (ICCIA)

自引率

0.00%

发文量