Observers for a Class of Timed Automata Based on Elapsed Time Graphs
From MaRDI portal
Publication:5034071
DOI10.1109/TAC.2021.3064542OpenAlexW3134204576MaRDI QIDQ5034071
Zhiwu Li, Dimitri Lefebvre, Christoforos N. Hadjicostis, Jun 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
Related Items (3)
Diagnosis of timed patterns for discrete event systems by means of state isolation ⋮ Symbolic state estimation in bounded timed labeled Petri nets ⋮ Detectability of labeled weighted automata over monoids
This page was built for publication: Observers for a Class of Timed Automata Based on Elapsed Time Graphs