Active Prediction for Discrete Event Systems - Laboratoire Méthodes Formelles
Communication Dans Un Congrès Année : 2020

Active Prediction for Discrete Event Systems

Résumé

A central task in partially observed controllable system is to detect or prevent the occurrence of certain events called faults. Systems for which one can design a controller avoiding the faults are called actively safe. Otherwise, one may require that a fault is eventually detected, which is the task of diagnosis. Systems for which one can design a controller detecting the faults are called actively diagnosable. An intermediate requirement is prediction, which consists in determining that a fault will occur whatever the future behaviour of the system. When a system is not predictable, one may be interested in designing a controller to make it so. Here we study the latter problem, called active prediction, and its associated property, active predictability. In other words, we investigate how to determine whether or not a system enjoys the active predictability property, i.e., there exists an active predictor for the system. Our contributions are threefold. From a semantical point of view, we refine the notion of predictability by adding two quantitative requirements: the minimal and maximal delay before the occurence of the fault, and we characterize the requirements fulfilled by a controller that performs predictions. Then we show that active predictability is EXPTIME-complete where the upper bound is obtained via a game-based approach. Finally we establish that active predictability is equivalent to active safety when the maximal delay is beyond a threshold depending on the size of the system, and we show that this threshold is accurate by exhibiting a family of systems fulfilling active predictability but not active safety.
Fichier principal
Vignette du fichier
FSTTCSInriaVersion (1).pdf (504.35 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-02951944 , version 1 (29-09-2020)
hal-02951944 , version 2 (29-09-2020)
hal-02951944 , version 3 (11-12-2020)

Identifiants

  • HAL Id : hal-02951944 , version 3

Citer

Stefan Haar, Serge Haddad, Stefan Schwoon, Lina Ye. Active Prediction for Discrete Event Systems. FSTTCS 2020 - 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Dec 2020, Goa / Virtual, India. ⟨hal-02951944v3⟩
422 Consultations
106 Téléchargements

Partager

More