文章基本信息

标题：Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors
本地全文：下载
作者：Yannick Pencolé ; Audine Subias
期刊名称：Journal of Universal Computer Science
印刷版ISSN：0948-6968
出版年度：2020
卷号：26
期号：2
页码：268-292
出版社：Graz University of Technology and Know-Center
摘要：The overall context of this paper is the event-based behavior analysis and focuses on modeling and analyzing behaviors of interest involving time information. Any behavior of interest from any time event system is concisely defined as a set of time constrained events that must occur (positive behavior) and a set of time constrained events that must not occur (negative behavior). This article proposes a formal extension of the chronicle formalism that allows for the concise description of positive and negative behaviors. Based on this new formalism, several criteria are introduced, they formally characterize and compare a set of chronicles. A fully proved implementation of the proposed criteria is then described; it relies on the use of polyhedron techniques to solve systems of linear inequalities.
关键词：behavior analysis; chronicle; negative behavior; polyhedron; simple temporal problem