Skip to Main content Skip to Navigation
New interface
Book sections

Diagnostic des systèmes temporisés

Résumé : Dans ce chapitre nous donnons les principaux résultats concernant le diagnostic de fautes dans les systèmes temporisés. Le modèle de systèmes temporisés que nous prenons est celui des automates temporisés introduits dans les chapitre 3 et chapitre 4. Nous invitons le lecteur qui n'est pas familier avec ce modèle à consulter ces chapitres préalablement à la lecture de celui-ci.
keyword : fault diagnosis
Document type :
Book sections
Complete list of metadata

Cited literature [10 references]  Display  Hide  Download

https://hal.inria.fr/inria-00493629
Contributor : Franck Cassez Connect in order to contact the contributor
Submitted on : Monday, June 21, 2010 - 4:08:46 AM
Last modification on : Thursday, November 17, 2022 - 4:48:10 PM
Long-term archiving on: : Wednesday, September 22, 2010 - 5:49:41 PM

File

afsec-book-diag.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00493629, version 1

Citation

Franck Cassez, Stavros Tripakis. Diagnostic des systèmes temporisés. Roux, Olivier H. and Jard, Claude. Systèmes embarqués -- Approches formelles, Hermes Science, pp.145--176, 2008, Traite IC2. ⟨inria-00493629⟩

Share

Metrics

Record views

136

Files downloads

104