Observers for a Class of Timed Automata Based on Elapsed Time Graphs - Normandie Université Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Automatic Control Année : 2022

Observers for a Class of Timed Automata Based on Elapsed Time Graphs

Jun Li
Zhiwu Li

Résumé

This article develops a novel design principle for the observer of timed discrete event systems behaving under specific time semantics. Observers devoted to discrete event systems usually ignore the timing aspects of underlying systems but this can have implications to many applications, in particular, for refinement of estimation and inference tasks. The techniques of this article use the time stamps of observations to refine the state estimation process for a class of labeled and timed automata where events occur based on constant time values. The resulting timed observer is beneficial for refining privacy and security issues. Current-state opacity is discussed as a promising application of the timed observer.

Domaines

Automatique
Fichier non déposé

Dates et versions

hal-03678967 , version 1 (25-05-2022)

Identifiants

Citer

Jun Li, Dimitri Lefebvre, Christoforos Hadjicostis, Zhiwu Li. Observers for a Class of Timed Automata Based on Elapsed Time Graphs. IEEE Transactions on Automatic Control, 2022, 67 (2), pp.767-779. ⟨10.1109/TAC.2021.3064542⟩. ⟨hal-03678967⟩
20 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More