<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>K. Ehrenmüller);</journal-title>
      </journal-title-group>
      <issn pub-type="ppub">1613-0073</issn>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>Augmentation of Expert Causal Knowledge in Cyber-Physical Systems</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Katrin Ehrenmüller</string-name>
          <email>katrin.schreiberhuber@wu.ac.at</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Lucas Kook</string-name>
          <email>lucas.kook@wu.ac.at</email>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Fajar J. Ekaputra</string-name>
          <email>fajar.ekaputra@wu.ac.at</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Marta Sabou</string-name>
          <email>marta.sabou@wu.ac.at</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Workshop</string-name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="editor">
          <string-name>Causality, Knowledge Completion, Cyber-Physical System, Falsification, Granger Causality</string-name>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Institute for Data, Process and Knowledge Management, Vienna University of Economics and Business, WU Vienna</institution>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Institute for Statistics and Mathematics, Vienna University of Economics and Business, WU Vienna</institution>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>International Conference on Semantic Systems</institution>
        </aff>
      </contrib-group>
      <pub-date>
        <year>1815</year>
      </pub-date>
      <volume>000</volume>
      <fpage>0</fpage>
      <lpage>0002</lpage>
      <abstract>
        <p>As industrial systems (such as smart grids) grow in size and complexity, transparency and explainability become increasingly important for supporting user understanding and trust. Causal models are key components to translate system behaviour into human reasoning. While causal graphs can be created from domain-expert knowledge about system dynamics, this method carries the risk of specifying only partially complete graphs. Yet, attempting to learn the entire causal graph from observational data is also known to be challenging and error-prone. In this paper, we propose a procedure for the data-driven augmentation of existing causal graphs defined by domain-experts. Specifically, we test Granger non-causalities implied by the existing graph on sensor measurement data. Under appropriate statistical and causal assumptions, the test results can then indicate missing edges in the existing graph. We evaluated our approach in a real-life smart charging garage scenario, testing the expert-defined causal graphs with real-world sensor data. The results show inconsistencies between the causal graph defined by experts and the observed data, demonstrating the capability of our approach to reveal missing causal relations. These findings highlight the potential of our approach in combining expert knowledge and data-driven analysis for validating and augmenting causal representations in complex systems, such as smart grids, contributing to the broader topic of transparent and interpretable industrial systems.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        In cyber-physical systems (CPSs), computational elements tightly interact with physical processes
through sensors and actuators. This enables smart monitoring and control of these systems, as well as
increased automation. In a smart grid, as an example of a CPS, power flow can be handled eficiently
through real-time monitoring. However, it is important to keep system behaviour understandable for
users (e.g., grid operators responsible for a stable grid operation), especially when some unexpected
events (i.e., anomalies) occur. To ensure transparency of such systems for human stakeholders, causal
models of the system can be employed to make system processes more clear, and to trace anomalies
back to their root causes. Explanations based on causal knowledge are important to match users’
expectations and reasoning patterns [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ].
      </p>
      <p>
        Traditionally, causal graphs are constructed by domain experts, who propose a set of causal relations
between system components based on their extensive domain knowledge. This process is not only
time-consuming, but it is also error-prone. For instance, in the biomedical domain, Kook [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] show that
two causal graphs of protein interactions based on domain knowledge and perturbation experiments
Sachs et al. [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] are likely to be misspecified. While proposed causal relations from experts are most
likely correct, it is easy to miss additional causal relations, especially if they seem too obvious to some
experts.
      </p>
      <p>CEUR</p>
      <p>ceur-ws.org</p>
      <p>Battery 1
AP_EV1</p>
      <p>In this work, we aim to support the process of causal knowledge acquisition using a data-driven
approach. To this end, we investigate Granger non-causality tests to falsify and amend an expert-defined
causal graph based on time series data. This method can be used to check if there are discrepancies
between a proposed causal graph (e.g., causal knowledge acquired from domain experts) and the time
series data, e.g., if there is evidence for additional causal relations in the data that were missed in
defining the initial causal graph.</p>
      <p>
        We evaluated this approach on measurement data of an electric vehicle (EV) charging garage from
our research project 1. The garage is equipped with a set of sensors, to measure the power consumption
and state of charge of diferent devices in the system. In Figure 1a, the garage with its devices and
sensors is shown. It contains 8 EV charging stations and a battery, which can be used for peak shaving
(i.e., reducing peak power consumption of the garage by providing power from the battery). There are
multiple sensors installed in the system (shown as blue circles). The garage experiences an overload if
the system draws too much power, indicated by AP_G1 exceeding a certain threshold. A causal graph
between sensors is needed to determine potential sources of such an overload. Over multiple workshops
and discussions, experts have proposed a candidate causal graph to be used for generating explanations
of anomalies. The expert-defined causal graph is represented in Figure 1b [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ].
      </p>
      <p>Our evaluation result shows that Granger non-causality tests can be used to identify inconsistencies
between the provided causal graph and the observed sensor data. While the statistical tests indicate
several possible scenarios of missing causal relations, this information can be presented to domain
experts for further analysis and discussion, enabling the development of a more complete and consistent
causal graph.</p>
      <p>The rest of the paper is structured as follows. In Section 2, we discuss related work on CPS and causal
discovery. Then, our proposed methods are explained in Section 3, followed by experimental results in
Section 4. Finally, we discuss our contributions, limitations as well as planned future work in Section 5.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Related Work</title>
      <p>
        Explainability of CPS is a key factor to make existing systems more transparent for human users. This
aligns with the European Commission’s vision of Industry 5.0, to create human-centric industrial systems
beyond eficiency and productivity [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ]. Traditional approaches from the CPS research community
include Failure Mode and Efect Analysis (FMEA) [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ], and Fault Tree Analysis (FTA) [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. These methods
focus on modelling functional dependencies between system components based on expert knowledge. If
implemented correctly, these approaches prove to be highly reliable. However, the design and modelling
is labour-intensive and relies on fragmented knowledge from various sources of domain knowledge,
such as domain experts and user manuals. The fact that this knowledge is mostly represented via
natural language descriptions leads to potentially ambiguous, conflicting or incomplete representations
of causal relations and data flows [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ].
      </p>
      <p>
        The Semantic Web research community proposed a diferent approach which focuses on modelling
only relations between sensors and variables that are interesting to system users, thus reducing the
eforts to model a fully engineered system [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ]. Ontology-based representations can help to reduce
ambiguity [
        <xref ref-type="bibr" rid="ref10 ref9">9, 10</xref>
        ]. However, the exploration of potential causal relations still requires substantial manual
work from highly-skilled domain experts.
      </p>
      <p>
        Learning causal relationships from observational time series data (e.g., sensor data in CPS) can help
experts in the process of creating a semantic causal representation of their system [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ], in a process
referred to as causal discovery. Traditionally, there are two approaches for causal discovery:
Constraintbased methods apply statistical tests of conditional independence to infer an underlying causal graph
that is supported by the data. Score-based methods use scoring methods from machine learning, such as
BIC, or likelihood-based scores [12]. Recently, the use of LLMs to provide potential causal knowledge
has been investigated as well [13]. However, learning the entire causal graph of a complex system is
often too ambitious and available algorithms typically output a graph without uncertainty estimates.
Furthermore, experts commonly already have some understanding of the causal relationships in their
system which can be encoded in a candidate causal graph. Instead of learning the causal graph from
scratch, tests that are used for constraint-based methods can be used to falsify and amend a candidate
causal graph [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ].
      </p>
      <p>Our work is positioned at the intersection of knowledge acquisition and statistical causality as
solution domains, while we focus on CPS as a potential problem domain for our proposed methods.
Specifically, we investigate the use of Granger non-causality tests as a method to falsify and amend a
causal graph that was provided by domain experts. Thus, domain knowledge and expert assumptions
are tested against existing sensor data to check if it is consistent with observed values. Furthermore,
this method can also provide suggestions for further causal relations that have been overlooked by
experts initially.</p>
    </sec>
    <sec id="sec-3">
      <title>3. Methods</title>
      <p>We propose a procedure to find inconsistencies between an existing causal graph, derived (e.g., through
expert knowledge) and sensor measurements. As shown in Figure 2, the initial causal graph implies
assumptions about Granger causalities in the system which can be tested against data from system
sensors. If statistical tests of Granger non-causality indicate discrepancies between the graph and the
data, the graph is considered falsified. The results of these tests can suggest missing edges in the graph,
which the domain expert can use to amend the existing graph and create a graph that is more consistent
with the data.</p>
      <p>Expert knowledge about causal relationships in a CPS can be encoded in a causal graph, in which
edges indicate the direct influence of the history of a process on the future of another process (such as
in Figure 1b). Assuming the graph is induced by a structural causal model (as in Equation 1), the graph
encodes causal assumptions in the form of graphical separations, called  -separations. By the causal
Markov property, these separations imply conditional independencies (or Granger non-causalities) in
the observed data distribution [14, 15]. By using data from the CPS, testing those implications allows
us to falsify and amend the given causal graph. We briefly introduce the necessary tools from graphical
modelling and Granger causality, before describing the proposed falsification procedure in detail.
sensor data
⋯   1
⋯   2
⋯   3</p>
      <p>2
 +11
 +21
 +31
1
3
causal models for time series [16, Chapter 10.1]. Let (  )∈
denote a multivariate time series, in which
each coordinate of   ∈ ℝ corresponds to a measurement of a sensor in the CPS and  ⊆ ℤ
the discrete time domain. We assume the time series is generated by a structural causal model (SCM),
denotes
such that, for all  ∈  ,
initial causal graph
amended causal graph
system
domain expert
domain expert</p>
      <p>Granger
non-causality</p>
      <p>tests
 +13 ⋯
 +23 ⋯
 +33 ⋯
1
3
 +12
 +22
 +32
2

induces a so called full-time graph (Figure 3a) in which there is an edge from    to  
where  denotes the causal mechanism (assumed to be constant over time),   denotes the history of
the process before time point  and   are independent and identically distributed noise terms. The SCM
 ′ if    appears in
′. Based on the full-time graph, we define the summary graph (henceforth
referred to as the causal graph) with node set {1, … , } and in which there is an edge from  to  , if and
  =  (   ,   ),
(1)
 ′ (for arbitrary time points  &lt;  ′) in the full-time graph
the structural equation of</p>
      <p>(Figure 3b).
only if there is at least one edge from    to</p>
      <p>We next give the necessary prerequisites on graphical models based on the more detailed expositions
in [15, 17]. The causal graph  = ( , )
, with node set  = {1, … , }
and edge set  ⊆  × 
, encodes the
dependence structure of the coordinates of   using directed edges (←, →). A walk,  0 ∼1  1 ∼2 … ∼  +1 ,
is an alternating sequence of nodes and edges in  , where ∼ is a placeholder for any edge. A node  
on a walk is a collider, if  −1
nodes  and  and let  ⊆ {1, … , }
→   ←  +1 and a non-collider otherwise. Consider a walk  between</p>
      <p>. We call  a  -connecting walk from  to  given  , if (i)  ∉  , (ii) every
non-collider on  is not in  , (iii) every collider on  is among the ancestors of  , and (iv)  has a head
at  . Finally, for , ,  ⊆</p>
      <p>, we say  is  -separated from  given  if there exists no  -connecting walk
from any  ∈</p>
      <p>to any  ∈  given  , and write  ↛ ∣  .</p>
      <sec id="sec-3-1">
        <title>Granger causality.</title>
        <p>Granger causality is a predictive notion of causality in time series [18, 16,
Chapter 10.3.3]. Informally, a process   is Granger causal for another process   given another process   , if
  improves the prediction of   when already accounting for   [19]. Formally, we define the negation
of Granger causality, i.e., Granger non-causality, as the following conditional independence,
for all ,   ⟂⟂   ∣   .
are testable conditional independencies in the observed data distribution.</p>
        <p>∪{}
Under mild technical conditions, there is a close connection between Granger causality and  -separations
in causal graphs: If  is  -separated from  given  ∪ {} , then    is Granger non-causal for    given
[14, 15]. The Granger non-causalities implied by the  -separations in a candidate causal graph</p>
      </sec>
      <sec id="sec-3-2">
        <title>Falsification procedure.</title>
        <p>We list all  -separations of the form  ↛ ∣  ∪ {}
implied by the candidate
causal graph for || ≤  . Here,  is a user-defined constant that can be chosen based on computational
tractability, as a larger  results in a larger number of tests. As outlined above, each  -separation implies
a testable Granger non-causality,
 0(, , ) ∶
for all ,</p>
        <p>⟂⟂   ∣</p>
        <p>∪{} .

Assuming linear relationships between Δ =   −  −1 and   ,  


∪{}
and stationarity of Δ , we perform
Granger non-causality tests as a paired  -test comparing the out-of-sample mean squared prediction
error contributions of two autoregressive linear (AR() ) models in which one model includes   while
the other does not. The chance of falsely rejecting at least one null hypothesis is exacerbated when
multiple tests are performed. Therefore, we apply a Bonferroni-Holm correction to control the
familywise error rate across all tested Granger non-causalities. Small adjusted  -values indicate discrepancies
between the data and the candidate causal graph and indicate missing causal connections. The graph
can then be amended by an expert based on the results of the Granger non-causality tests.</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4. Results</title>
      <p>We applied the proposed falsification procedure on a real-life dataset of a smart charging garage. In
total, a set of 39 sensors is installed at the facility, collecting data in 1 minute intervals. The sensors
measure diferent variables, including active power, voltage, state of charge, energy and temperature.
In our experiments, we included 12 sensors (measuring active power and state of charge), which have
been identified by domain experts to be relevant for potentially identifying root causes of a power
overload (see the garage setup in Figure 1a).</p>
      <p>We used the candidate causal graph from Figure 1b and conditioning sets  of size at most  = 1
to limit the number of tests, considering computational tractability and power of the procedure. In
total, the graph implies 1025  -separations at the chosen  . We applied the corresponding tests of
Granger non-causality using AR(10) models across four disjoint time periods of at least 8000 minutes
and combined the  -values for each hypothesis by taking the smallest  -value after a Bonferroni-Holm
correction over all four time periods. We then adjusted the resulting 1025  -values again using a
Bonferroni-Holm correction. The results for all  -separations rejected at the 5% level are shown in</p>
      <p>The procedure suggests that the  -separations (i) AP_B1 ↛ SoC_B1 given any of the EV chargers
and (ii) AP_G1 ↛ SoC_B1 given the sum of all EV chargers are not in line with the data at the 5% level.
Therefore, there is strong evidence that either AP_B1 and AP_G1 cause SoC_B1 directly, or that there are
unobserved processes that influence AP_B1 and SoC_B1 or AP_G1 and SoC_B1. The amended graph in</p>
      <p>Adjusted  -value
bidirected edge (orange) was added between  and  .
the ambiguity cannot be resolved based on the given data, a domain expert may be able to judge the
plausibility of these suggested edges.</p>
      <p>From a domain-perspective (i) suggests that active power from the battery (AP_B1) could have an
efect on the state of charge of the battery ( SoC_B1) according to observational data. Since power
consumption of the battery is used to either discharge, or charge the battery, this efect is plausible.</p>
      <p>Furthermore, (ii) would suggest that power consumption of the garage (AP_G1) is related to the state
of charge of the battery (SoC_B1), when controlling for EV charging overall (AP_AEV1). The state of
charge of the battery usually changes either by discharging (usually through providing power to EV
chargers), or by charging (power is consumed from the external grid). Thus, this yet undefined relation
between (AP_G1) and (SoC_B1) should be further investigated by domain experts.</p>
    </sec>
    <sec id="sec-5">
      <title>5. Conclusion</title>
      <p>Causal relations are a key component for human users to be able to interpret CPS behaviour. In this
paper, we have addressed the challenge of constructing a causal graph for such systems. While causal
graphs that are informed by domain experts are grounded in extensive domain knowledge, they can be
incomplete as experts might miss certain causal relations. Data-driven approaches can uncover such
relations. However, learning entire causal graphs from observational data alone can be dificult and
unreliable.</p>
      <p>To bridge this gap, we propose testing implied conditional independencies that are created by a
causal graph from system experts on observational sensor data. Specifically, we apply the proposed
tests to a real-life use case of a smart charging garage, where active power and state of charge sensor
measurements are available that correspond to the proposed causal graph. Granger non-causality tests
are applied to check if the causal graph aligns with existing sensor data.</p>
      <p>In our experiments, we have successfully identified some inconsistencies between the provided causal
graph and sensor data. While the statistical tests suggest multiple scenarios of which causal relations
are missing, this knowledge can be presented to domain experts for further discussion, to define a more
complete and consistent causal graph.</p>
      <p>Currently, we have applied our approach only to observational data, testing for statistical
independence. While we can, in this way, investigate predictive relationships between variables, causal relations
can be investigated with more confidence and in more detail by actively manipulating the system
(e.g. disconnecting an EV charger, or starting fast-charging sessions). Obtaining data from diferent
interventional settings could allow the use of causal discovery methods that rely on diferent data
sources [e.g., 20] and thereby greatly improve the causal understanding of the system. Additionally, the
Granger non-causality tests used in this work rely on parametric modelling assumptions. Under model
misspecification, the test results may be unreliable and reflect inflated type I error rates, rendering
expert-based evaluation of the results invaluable.</p>
      <p>In future work, we will investigate how the proposed falsification procedure performs on data from
the system under interventions. Furthermore, we will investigate the potential of expert validation as a
more integrated causal discovery process, potentially integrating multiple causal discovery methods
from experts, data and LLMs. Finally, nonparametric tests of Granger non-causality can be considered
to alleviate the problem of misspecification.</p>
    </sec>
    <sec id="sec-6">
      <title>Acknowledgments</title>
      <p>This work was supported by the FFG research project SENSE (project Nr. FO999894802), and the
Austrian Science Fund (FWF) Bilateral AI project (Grant Nr. 10.55776/COE12).</p>
    </sec>
    <sec id="sec-7">
      <title>Declaration on Generative AI</title>
      <p>During the preparation of this work, the author(s) used GPT-4.5-turbo and Perplexity AI in order to:
paraphrase and reword, drafting content. After using these tools, the authors reviewed and edited the
content as needed and take full responsibility for the publication’s content.
from time series in earth system sciences, Nature Communications 10 (2019). doi:10.1038/
s41467-019-10105-3.
[12] P. Spirtes, C. N. Glymour, R. Scheines, Causation, Prediction, and Search, MIT press, 2000. doi:10.</p>
      <p>7551/mitpress/1754.001.0001.
[13] C. K. Assaad, E. Devijver, E. Gaussier, Survey and evaluation of causal discovery methods for time
series, Journal of Artificial Intelligence Research 73 (2022) 767–819.
[14] M. Eichler, Graphical modelling of multivariate time series, Probability Theory and Related Fields
153 (2011) 233–268. doi:10.1007/s00440-011-0345-8.
[15] S. W. Mogensen, N. R. Hansen, Markov equivalence of marginalized local independence graphs,</p>
      <p>Annals of Statistics 48 (2020) 539–559. doi:10.1214/19-AOS1821.
[16] J. Peters, D. Janzing, B. Schölkopf, Elements of Causal Inference: Foundations and Learning</p>
      <p>Algorithms, The MIT Press, 2017.
[17] S. W. Mogensen, Weak equivalence of local independence graphs, Bernoulli (2025). doi:10.48550/
arXiv.2302.12541, to appear.
[18] C. W. J. Granger, Investigating causal relations by econometric models and cross-spectral methods,</p>
      <p>Econometrica 37 (1969) 424–438. URL: http://www.jstor.org/stable/1912791.
[19] A. Shojaie, E. B. Fox, Granger causality: A review and recent advances, Annual Review of Statistics
and Its Application 9 (2022) 289–319. doi:10.1146/annurev-statistics-040120-010930.
[20] L. Kook, S. Saengkyongam, A. R. Lundborg, T. Hothorn, J. Peters, Model-based causal feature
selection for general response types, Journal of the American Statistical Association 120 (2025)
1090–1101. doi:10.1080/01621459.2024.2395588.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>J.</given-names>
            <surname>Pearl</surname>
          </string-name>
          ,
          <article-title>An introduction to causal inference</article-title>
          ,
          <source>The International Journal of Biostatistics</source>
          <volume>6</volume>
          (
          <year>2010</year>
          ).
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>L.</given-names>
            <surname>Kook</surname>
          </string-name>
          ,
          <article-title>Falsifying causal models via nonparametric conditional independence testing</article-title>
          , in: D.
          <string-name>
            <surname>O'Sullivan</surname>
            ,
            <given-names>J.</given-names>
          </string-name>
          <string-name>
            <surname>Sweeney</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          <string-name>
            <surname>Moghaddam</surname>
            ,
            <given-names>K.</given-names>
          </string-name>
          Burke (Eds.),
          <source>Proceedings of the 39th International Workshop on Statistical Modelling (IWSM)</source>
          ,
          <year>2025</year>
          , pp.
          <fpage>229</fpage>
          -
          <lpage>233</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>K.</given-names>
            <surname>Sachs</surname>
          </string-name>
          ,
          <string-name>
            <given-names>O.</given-names>
            <surname>Perez</surname>
          </string-name>
          , D. Pe'er,
          <string-name>
            <given-names>D. A.</given-names>
            <surname>Laufenburger</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G. P.</given-names>
            <surname>Nolan</surname>
          </string-name>
          ,
          <article-title>Causal protein-signaling networks derived from multiparameter single-cell data</article-title>
          ,
          <source>Science</source>
          <volume>308</volume>
          (
          <year>2005</year>
          )
          <fpage>523</fpage>
          -
          <lpage>529</lpage>
          . doi:
          <volume>10</volume>
          .1126/science. 1105809.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>K.</given-names>
            <surname>Schreiberhuber</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F. J.</given-names>
            <surname>Ekaputra</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Sabou</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Hauer</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Diwold</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Frühwirth</surname>
          </string-name>
          , G. Steindl, T. Schwarzinger,
          <article-title>Towards a state explanation framework in cyber-physical systems</article-title>
          ,
          <source>in: DACH+ Energy Informatics</source>
          <year>2024</year>
          , Lugano, Switzerland, Proceedings,
          <source>ACM SIG Energy</source>
          ,
          <year>2024</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>13</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>E.</given-names>
            <surname>Commission</surname>
          </string-name>
          , D.-G. for Research, Innovation,
          <string-name>
            <given-names>A.</given-names>
            <surname>Renda</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S. Schwaag</given-names>
            <surname>Serger</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Tataj</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Morlet</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Isaksson</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Martins</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. Mir</given-names>
            <surname>Roca</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Hidalgo</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Huang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Dixson-Declève</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Balland</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Bria</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Charveriat</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Dunlop</surname>
          </string-name>
          , E. Giovannini,
          <article-title>Industry 5.0, a transformative vision for Europe - Governing systemic transformations towards a sustainable industry</article-title>
          ,
          <source>Publications Ofice of the European Union</source>
          ,
          <year>2021</year>
          . doi:doi/10.2777/17322.
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>M.</given-names>
            <surname>Ben-Daya</surname>
          </string-name>
          ,
          <article-title>Failure mode and efect analysis</article-title>
          ,
          <source>in: Handbook of maintenance management and engineering</source>
          , Springer,
          <year>2009</year>
          , pp.
          <fpage>75</fpage>
          -
          <lpage>90</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>C. A.</given-names>
            <surname>Ericson</surname>
          </string-name>
          ,
          <article-title>Fault tree analysis primer</article-title>
          ,
          <source>CreateSpace Incorporated</source>
          ,
          <year>2011</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>L.</given-names>
            <surname>Dittmann</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Rademacher</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Zelewski</surname>
          </string-name>
          ,
          <article-title>Performing fmea using ontologies</article-title>
          ,
          <source>in: 18th International Workshop on Qualitative Reasoning. Evanston USA</source>
          ,
          <year>2004</year>
          , pp.
          <fpage>209</fpage>
          -
          <lpage>216</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>Z.</given-names>
            <surname>Rehman</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C. V.</given-names>
            <surname>Kifor</surname>
          </string-name>
          ,
          <article-title>An ontology to support semantic management of fmea knowledge</article-title>
          ,
          <source>International Journal of Computers Communications &amp; Control</source>
          <volume>11</volume>
          (
          <year>2016</year>
          )
          <fpage>507</fpage>
          -
          <lpage>521</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>A.</given-names>
            <surname>Zhou</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Yu</surname>
          </string-name>
          ,
          <string-name>
            <given-names>W.</given-names>
            <surname>Zhang</surname>
          </string-name>
          ,
          <article-title>A research on intelligent fault diagnosis of wind turbines based on ontology and fmeca</article-title>
          ,
          <source>Advanced Engineering Informatics</source>
          <volume>29</volume>
          (
          <year>2015</year>
          )
          <fpage>115</fpage>
          -
          <lpage>125</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>J.</given-names>
            <surname>Runge</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Bathiany</surname>
          </string-name>
          , E. Bollt,
          <string-name>
            <given-names>G.</given-names>
            <surname>Camps-Valls</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Coumou</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E.</given-names>
            <surname>Deyle</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Glymour</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Kretschmer</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M. D.</given-names>
            <surname>Mahecha</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Muñoz-Marí</surname>
          </string-name>
          ,
          <string-name>
            <surname>E. H. van Nes</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J.</given-names>
            <surname>Peters</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Quax</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Reichstein</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Schefer</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Schölkopf</surname>
          </string-name>
          ,
          <string-name>
            <given-names>P.</given-names>
            <surname>Spirtes</surname>
          </string-name>
          , G. Sugihara,
          <string-name>
            <given-names>J.</given-names>
            <surname>Sun</surname>
          </string-name>
          ,
          <string-name>
            <given-names>K.</given-names>
            <surname>Zhang</surname>
          </string-name>
          , J. Zscheischler, Inferring causation
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>