2 citations · 3 across the 4 of their papers we have counts for
4 papers
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…
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…