期刊
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
卷 67, 期 2, 页码 767-779出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TAC.2021.3064542
关键词
Automata; Observers; Semantics; Timing; Real-time systems; Discrete-event systems; Task analysis; Discrete event system (DES); observer design; timed automata
资金
- National Key R&D Program of China [2018YFB1700104]
- National Natural Science Foundation of China [61873342, 61672400]
- Science and Technology Development Fund, MSAR [0012/2019/A1]
This article introduces a novel design principle for observers of timed discrete event systems that consider specific time semantics. By utilizing time stamps of observations, the state estimation process for labeled and timed automata can be refined, which has implications for estimation and inference tasks, as well as privacy and security issues. The article also discusses the promising application of the timed observer in the context of current-state opacity.
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据