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.
Domaines
Théorie et langage formel [cs.FL]
Origine : Fichiers produits par l'(les) auteur(s)
Loading...