13 citations · 35 across the 16 of their papers we have counts for
5 papers · 1 filter
Dynamic Observers for Fault Diagnosis of Timed Systems
Franck Cassez
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 t…
Timed Games for Computing Worst-Case Execution-Times
Franck Cassez
In this paper we introduce a framework for computing upper bounds yet accurate WCET for hardware platforms with caches and pipelines. The methodology we propose consists of 3 steps…
Fault Diagnosis with Dynamic Observers
Franck Cassez, Stavros Tripakis
In this paper, we review some recent results about the use of dynamic observers for fault diagnosis of discrete event systems. Fault diagnosis consists in synthesizing a diagnoser…
A Note on Fault Diagnosis Algorithms
Franck Cassez
In this paper we review algorithms for checking diagnosability of discrete-event systems and timed automata. We point out that the diagnosability problems in both cases reduce to t…
The Complexity of Codiagnosability for Discrete Event and Timed Systems
Franck Cassez
In this paper we study the fault codiagnosis problem for discrete event systems given by finite automata (FA) and timed systems given by timed automata (TA). We provide a uniform c…