State estimation of max-plus automata with unobservable events
From MaRDI portal
Publication:2280664
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
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