2023
DOI: 10.1109/access.2023.3246512
|View full text |Cite
|
Sign up to set email alerts
|

Causal Signal Temporal Logic for the Environmental Control and Life Support System’s Fault Analysis and Explanation

Abstract: Modern cyber-physical systems would often fall victim to unanticipated anomalies. Humans are still required in many operations to troubleshoot and respond to such anomalies, such those in future deep space habitats. To maximize the effectiveness and efficiency of the anomaly response process, the information provided by anomaly response technologies to their human operators must be epistemically accessible or explainable. This paper offers a first step towards developing explainable anomaly response systems. I… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1

Citation Types

0
3
0

Year Published

2024
2024
2024
2024

Publication Types

Select...
2
1

Relationship

0
3

Authors

Journals

citations
Cited by 3 publications
(3 citation statements)
references
References 40 publications
0
3
0
Order By: Relevance
“…return pams via Eqn (12) stage. To replenish those discarded trajectories, lines (14-16) copy one of the remaining un-discarded τ (i) up until the first time step j where the robustness value of the partial trajectory falls below γ m .…”
Section: Adaptive Splits Via Online Stl Monitorsmentioning
confidence: 99%
See 2 more Smart Citations
“…return pams via Eqn (12) stage. To replenish those discarded trajectories, lines (14-16) copy one of the remaining un-discarded τ (i) up until the first time step j where the robustness value of the partial trajectory falls below γ m .…”
Section: Adaptive Splits Via Online Stl Monitorsmentioning
confidence: 99%
“…We then re-simulate starting from j to produce a new trajectory. We repeat this process until the discard threshold γ m falls below the desired failure threshold γ, then calculate a final estimate pams using Eq (12).…”
Section: Adaptive Splits Via Online Stl Monitorsmentioning
confidence: 99%
See 1 more Smart Citation