Modelling cyber-physical systems for fault diagnosis
Publication date
2025-10-07
Document type
Forschungsartikel
Author
Organisational unit
Publisher
IEEE
Series or journal
IEEE Transactions on Systems, Man, and Cybernetics: Systems
ISSN
Part of the university bibliography
✅
Language
English
Keyword
Causality
Fault diagnosis
Operation modes
Satisfiability modulo theory
Version
Online first
Access right on openHSU
Metadata only access