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
Periodical volume
55
Periodical issue
12
First page
9266
Last page
9279
Part of the university bibliography
✅
Language
English
Keyword
Causality
Fault diagnosis
Operation modes
Satisfiability modulo theory
Description
This work is licensed under a Creative Commons Attribution 4.0 License. For more information, see https://creativecommons.org/licenses/by/4.0/
Version
Published version
Access right on openHSU
Metadata only access