Fault Diagnosis Using Timed Automata
- 1 January 2005
- conference paper
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
Abstract
No abstract availableThis publication has 13 references indexed in Scilit:
- Learning of Event-Recording AutomataLecture Notes in Computer Science, 2004
- Real-Time Testing with Timed Automata Testers and Coverage CriteriaLecture Notes in Computer Science, 2004
- On Timed Automata with Input-Determined GuardsLecture Notes in Computer Science, 2004
- Timed Control with Partial ObservabilityLecture Notes in Computer Science, 2003
- Timed Control Synthesis for External SpecificationsLecture Notes in Computer Science, 2002
- Characterization of the Expressive Power of Silent Transitions in Timed AutomataFundamenta Informaticae, 1998
- Diagnosability of discrete-event systemsIEEE Transactions on Automatic Control, 1995
- From timed automata to logic — and backLecture Notes in Computer Science, 1995
- A theory of timed automataTheoretical Computer Science, 1994
- A determinizable class of timed automataLecture Notes in Computer Science, 1994