Observer Construction for Polynomially Ambiguous Max-Plus Automata - Université d'Angers Accéder directement au contenu
Article Dans Une Revue IEEE Transactions on Automatic Control Année : 2022

Observer Construction for Polynomially Ambiguous Max-Plus Automata

Résumé

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.
Fichier non déposé

Dates et versions

hal-03202078 , version 1 (19-04-2021)

Identifiants

Citer

Aiwen Lai, Sébastien Lahaye, Jan Komenda. Observer Construction for Polynomially Ambiguous Max-Plus Automata. IEEE Transactions on Automatic Control, 2022, 67 (3), pp.1582-1588. ⟨10.1109/TAC.2021.3069899⟩. ⟨hal-03202078⟩
38 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More