State estimation of max-plus automata with unobservable events

DOI10.1016/j.automatica.2019.03.003zbMath1429.93367OpenAlexW2928646231WikidataQ128139992 ScholiaQ128139992MaRDI QIDQ2280664

Alessandro Giua, Aiwen Lai, Sébastien Lahaye

Publication date: 19 December 2019

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2019.03.003

zbMATH Keywords

state estimationdiscrete event systemspartial observationmax-plus automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Estimation and detection in stochastic control theory (93E10) Discrete event control/observation systems (93C65)

Related Items (6)

Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection ⋮ An improved approach for verifying delayed detectability of discrete-event systems ⋮ Initial-state detectability and initial-state opacity of unambiguous weighted automata ⋮ Local and global robustness with \(q\)-step delay for max-plus linear systems ⋮ Relatively maximal perturbation bounds for global robustness of max‐plus linear systems ⋮ Detectability of labeled weighted automata over monoids

Cites Work

• A theory of timed automata
• Verification of detectability in probabilistic finite automata
• State estimation of \(\lambda\)-free labeled Petri nets with contact-free nondeterministic transitions
• Compositions of (max,+) automata
• Initial-state detectability of stochastic discrete-event systems with probabilistic sensor failures
• State estimation and detectability of probabilistic discrete event systems
• State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions
• State Estimation and Fault Detection Using Petri Nets
• Observability of discrete event dynamic systems
• Towards an Abstract Internal Model Principle
• Modeling and analysis of timed Petri nets using heaps of pieces
• Diagnosability of discrete-event systems
• Performance evaluation of (max,+) automata
• Observer Design for $(\max, +)$ Linear Systems
• Fault diagnosis in discrete-event systems: Framework and model reduction
• Observability of place/transition nets
• Marking Estimation of Petri Nets With Silent Transitions
• Detectability of Discrete Event Systems
• Fault Diagnosis for Timed Automata

This page was built for publication: State estimation of max-plus automata with unobservable events