Skip to Main content Skip to Navigation
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 <>
Submitted on : Monday, June 21, 2010 - 4:08:46 AM
Last modification on : Tuesday, September 21, 2021 - 4:12:11 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

266

Files downloads

195