Sciweavers

ATVA
2010
Springer
175views Hardware» more  ATVA 2010»
13 years 5 months ago
The Complexity of Codiagnosability for Discrete Event and Timed Systems
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...
Franck Cassez