Fault Diagnosis Using Timed Automata
- 1 January 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Learning of Event-Recording AutomataPublished by Springer Nature ,2004
- Real-Time Testing with Timed Automata Testers and Coverage CriteriaPublished by Springer Nature ,2004
- On Timed Automata with Input-Determined GuardsPublished by Springer Nature ,2004
- Timed Control with Partial ObservabilityPublished by Springer Nature ,2003
- A theory of timed automataPublished by Elsevier ,2002
- Timed Control Synthesis for External SpecificationsPublished by Springer Nature ,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 backPublished by Springer Nature ,1995
- A determinizable class of timed automataPublished by Springer Nature ,1994