Observers for a Class of Timed Automata Based on Elapsed Time Graphs

DOI10.1109/TAC.2021.3064542MaRDI QIDQ5034071zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Systems theory; control (93-XX)

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)