Observer construction for polynomially ambiguous max-plus automata

0554644 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
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
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: critical observability * discrete event systems * observer * polynomially ambiguous max-plus automata
Obor OECD: Automation and control systems
Impakt faktor: 6.8, rok: 2022
Způsob publikování: Omezený přístup
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.
Trvalý link: http://hdl.handle.net/11104/0329342