Observer construction for polynomially ambiguous max-plus automata

0554644 - MÚ 2023 RIV US eng J - Journal Article
Lai, A. - Lahaye, S. - Komenda, Jan
Observer construction for polynomially ambiguous max-plus automata.
IEEE Transactions on Automatic Control. Roč. 67, č. 3 (2022), s. 1582-1588. ISSN 0018-9286. E-ISSN 1558-2523
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : critical observability * discrete event systems * observer * polynomially ambiguous max-plus automata
OECD category: Automation and control systems
Impact factor: 6.8, year: 2022
Method of publishing: Limited access
https://dx.doi.org/10.1109/TAC.2021.3069899

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.
Permanent Link: http://hdl.handle.net/11104/0329342