Dynamic Observers for Fault Diagnosis of Timed Systems

2010/06/24 by Franck Cassez, Cassez, Franck
Computer Science · #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Petri Nets in System Modeling #Real-Time Systems Scheduling #cs.FL

paper · pdf · doi:10.48550/arxiv.1006.4681

arxiv created 2010/06/24 · openalex publication_date 2010/06/24 · arxiv updated 2010/06/25 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

In this paper we extend the work on dynamic ob\-servers for fault diagnosis to timed automata. We study sensor minimization problems with static observers and then address the problem of computing the most permissive dynamic observer for a system given by a timed automaton.

Citations

• A theory of timed automata

Related

• Fault Diagnosis with Dynamic Observers
• Monitoring, Fault Diagnosis and Testing Real-time Systems using Analog and Digital Clocks
• Efficient Monitoring of Timed Properties
• Adaptive Set Observers Design for Nonlinear Continuous-Time Systems: Application to Fault Detection and Diagnosis
• The Complexity of Codiagnosability for Discrete Event and Timed Systems