Dynamic Observers for Fault Diagnosis of Timed Systems

TL;DR

This paper extends dynamic observer techniques to timed automata, focusing on sensor minimization and computing the most permissive dynamic observer for fault diagnosis in timed systems.

Contribution

It introduces methods for sensor minimization with static observers and develops algorithms for computing the most permissive dynamic observer in timed automata.

Findings

Effective algorithms for sensor minimization

Method for computing permissive dynamic observers

Enhanced fault diagnosis capabilities in timed systems

Abstract

In this paper we extend the work on \emph{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.