当前位置: X-MOL 学术Int. J. Comput. Sci. Eng. › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
Simultaneous occurrences and false-positives analysis in discrete event dynamic systems
Journal of Computational Science ( IF 3.3 ) Pub Date : 2020-06-12 , DOI: 10.1016/j.jocs.2020.101162
John William Vásquez Capacho , Carlos Gustavo Perez Zuñiga , Yecid Alfonso Muñoz Maldonado , Adalberto Ospino Castro

Simultaneous occurrences of events have been a crucial and hard problem since the beginning of the research about automaton and simulation theories of discrete event systems, for more than 50 years. This article addresses some diagnosis problems in industrial processes, situations such as simultaneity of events, false positives, and partial recognition of event sequences. V-nets are presented as a means to model dynamic processes without the state machine concept and, the robustness and capability to identify different sequences of discrete events. With the V-nets formalism, it is possible to identify the evolution of the discrete events, simultaneous occurrences of events, partial recognition, counting the number of times that each discrete event occurred in a temporal sequence and this formalism also has the capability to model sequences of sequences. An example of one industrial application is presented and a comparative analysis of the Time Petri Nets, Timed Automata, and Chronicles with the V-nets is exposed.



中文翻译:

离散事件动态系统中的同时发生和假阳性分析

自从对离散事件系统的自动机和模拟理论进行研究以来,五十多年来,事件的同时发生一直是一个至关重要的难题。本文解决了工业过程中的一些诊断问题,例如事件的同时发生,误报和事件序列的部分识别等情况。提出了V-net,它是对动态过程进行建模的一种方法,而无需状态机概念,并且不具有识别离散事件不同序列的鲁棒性和能力。利用V-nets形式主义,可以识别离散事件的演变,事件的同时发生,部分识别,计算每个离散事件在时间序列中发生的次数,这种形式主义还具有对序列序列进行建模的能力。给出了一个工业应用的例子,并展示了时间Petri网,定时自动机和带有V型网络的编年史的比较分析。

更新日期:2020-06-12
down
wechat
bug