Observers for a Class of Timed Automata Based on Elapsed Time Graphs
From MaRDI portal
Publication:5034071
DOI10.1109/TAC.2021.3064542OpenAlexW3134204576MaRDI QIDQ5034071FDOQ5034071
Authors: Jun Li, Dimitri Lefebvre, Christoforos N. Hadjicostis, Zhiwu Li 
Publication date: 24 February 2022
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2021.3064542
Cited In (6)
- Observability of extended timed event graph
- Diagnosis of timed patterns for discrete event systems by means of state isolation
- Symbolic state estimation in bounded timed labeled Petri nets
- State estimation for constant-time labeled automata under dense time
- Detectability of labeled weighted automata over monoids
- On the verification of detectability for timed discrete event systems
This page was built for publication: Observers for a Class of Timed Automata Based on Elapsed Time Graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5034071)
