Diagnosis of timed patterns for discrete event systems by means of state isolation

DOI10.1016/j.automatica.2023.111045zbMath1520.93313OpenAlexW4366813513MaRDI QIDQ6110300

Dimitri Lefebvre, Ye Liang, Zhiwu Li

Publication date: 5 July 2023

Published in: Automatica (Search for Journal in Brave)

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

zbMATH Keywords

timed automatadiagnosisdiagnosabilitydiscrete event systemsfault patterns

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Discrete event control/observation systems (93C65)

Cites Work

• Unnamed Item
• Unnamed Item
• A survey of timed automata for the development of real-time systems
• A theory of timed automata
• Diagnosability of discrete event systems and its applications
• Compositions of (max,+) automata
• Introduction to Discrete Event Systems
• Efficient Detection of Zeno Runs in Timed Automata
• Diagnosability of discrete-event systems
• Observers for a Class of Timed Automata Based on Elapsed Time Graphs
• Finding All the Elementary Circuits of a Directed Graph
• Polynomial-time verification of diagnosability of partially observed discrete-event systems
• Diagnosability Analysis of Labeled Time Petri Net Systems
• Fault Diagnosis for Timed Automata
• Foundations of Software Science and Computational Structures

This page was built for publication: Diagnosis of timed patterns for discrete event systems by means of state isolation