Fault diagnosis of timed systems

Franck Cassez*, Stavros Tripakis

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationCommunicating embedded systems
Subtitle of host publicationsoftware and design : formal methods
EditorsClaude Jard, Olivier H. Roux
Place of PublicationLondon; Hoboken, N.J.
PublisherJohn Wiley & Sons
Pages107-138
Number of pages32
ISBN (Electronic)9781118558188
ISBN (Print)9781848211438
DOIs
Publication statusPublished - 2010
Externally publishedYes

Keywords

  • Discrete, fault diagnosis
  • Fault diagnosis problems
  • Notations, timed words/languages
  • Timed systems, and maximal delay
  • Timed systems, fault diagnosis

Cite this

Cassez, F., & Tripakis, S. (2010). Fault diagnosis of timed systems. In C. Jard, & O. H. Roux (Eds.), Communicating embedded systems: software and design : formal methods (pp. 107-138). London; Hoboken, N.J.: John Wiley & Sons. https://doi.org/10.1002/9781118558188.ch4