Skip to Main content Skip to Navigation
Journal articles

Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors

Yannick Pencolé 1 Audine Subias 1
1 LAAS-DISCO - Équipe DIagnostic, Supervision et COnduite
LAAS - Laboratoire d'analyse et d'architecture des systèmes
Abstract : 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.
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download

https://hal.laas.fr/hal-02862863
Contributor : Yannick Pencolé <>
Submitted on : Tuesday, June 9, 2020 - 5:26:01 PM
Last modification on : Thursday, June 10, 2021 - 3:48:21 AM

File

JUCS_HAL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02862863, version 1

Citation

Yannick Pencolé, Audine Subias. Formal Chronicle Analyses and Comparisons: How to Deal with Negative Behaviors. Journal of Universal Computer Science, Graz University of Technology, Institut für Informationssysteme und Computer Medien, 2020, 26 (2), pp.268 - 292. ⟨hal-02862863⟩

Share

Metrics

Record views

44

Files downloads

37