here are some open problems about fault diagnosis of timed systems: ? diagnosability with DTA with no fixed resource or with fixed resource but no bound ? on the maximal delay ,
Monitoring and Fault-Diagnosis with Digital Clocks, Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD'06), pp.101-110, 2006. ,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
A determinizable class of timed automata, Proceedings of the 6th International Conference on Computer Aided Verification (CAV'94), pp.1-13, 1994. ,
DOI : 10.1007/3-540-58179-0_39
Characterization of the Expressive Power of Silent Transitions in Timed Automata, Fundamenta Informaticae, vol.36, pp.2-3, 1998. ,
Fault Diagnosis Using Timed Automata, Proceedings of the 8th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'05), pp.219-233, 2005. ,
On-the-Fly Emptiness Checks for Generalized Büchi Automata, Proceedings of SPIN, pp.169-184, 2005. ,
Software Model Checking with Spin, Advances in Computers, vol.65, pp.78-109, 2005. ,
DOI : 10.1016/S0065-2458(05)65002-4
A Polynomial Algorithm for Testing Diagnosability of Discrete Event Systems, IEEE Transactions on Automatic Control, vol.46, issue.8, 2001. ,
Diagnosis of Dense-Time Systems Using Digital Clocks, Proceedings of the American Control Conference (ACC'06), 2006. ,
Black-Box Conformance Testing for Real-Time Systems, Proc. of the 11th International SPIN Workshop on Model Checking of Software (SPIN'04), pp.109-126, 2004. ,
DOI : 10.1007/978-3-540-24732-6_8
Real-Time Testing with Timed Automata Testers and Coverage Criteria, Proceedings of Formal Techniques, Modelling and Analysis of Timed and Fault Tolerant Systems (FORMATS-FTRTFT'04), pp.134-151, 2004. ,
DOI : 10.1007/978-3-540-30206-3_11
DESUMA: A Tool Integrating GIDDES and UMDES, 2006 8th International Workshop on Discrete Event Systems, 2006. ,
DOI : 10.1109/WODES.2006.382402
Diagnosability of Discrete Event Systems, IEEE Transactions on Automatic Control, vol.40, issue.9, 1995. ,
Failure Diagnosis Using Discrete-Event Models, IEEE Transactions on Control Systems technology, vol.4, issue.2, 1996. ,
Vérification de logiciels : Techniques et outils de model-checking, 1999. ,
A Note on On-the-Fly Verification Algorithms, TACAS, pp.174-190, 2005. ,
Polynomial-Time Verification of Diagnosability of Partially-Observed Discrete-Event Systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002. ,