Observer Construction for Polynomially Ambiguous Max-Plus Automata

• 成果类型: Article
• 署名作者: Lai, Aiwen; Lahaye, Sebastien; Komenda, Jan
• 署名单位: Xiamen University; Universite d'Angers; Czech Academy of Sciences; Institute of Mathematics of the Czech Academy of Sciences
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2021.3069899
• 发表日期: 2022
• 页码: 1582-1588
• 关键词: Observers; observability; Automata; cloning; Discrete-event systems; DELAYS; Petri nets; Critical observability; discrete event systems; observer; polynomially ambiguous max-plus automata (MPAs)

摘要

In this article, we deal with state estimation of timed discrete event systems that are modeled by max-plus automata (MPAs), where only some events are observable. For a given MPA, a formal procedure is first proposed for constructing its observer by extending our previous concept of observer for unambiguous MPAs to polynomially ambiguous MPAs. As an application, we present a necessary and sufficient condition based on the constructed observer to check the critical observability of MPAs. The state set of an MPA is divided into two disjoint subsets, i.e., the set of critical states and the set of noncritical states. A system is critically observable if the set of all states that are consistent with any observation is either a subset of the critical states set or a subset of the noncritical states set.