Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
Autonomous critical systems, such as satellites and space rovers, must be able to detect the occurrence of faults in order to ensure correct operation. This task is carried out by Fault Detection and Identification (FDI) components, that are embedded in those systems and are in charge of detecting f...
| 發表在: | Logical Methods in Computer Science |
|---|---|
| Main Authors: | , , , |
| 格式: | Article |
| 語言: | 英语 |
| 出版: |
Logical Methods in Computer Science e.V.
2015-11-01
|
| 主題: | |
| 在線閱讀: | https://lmcs.episciences.org/1605/pdf |