2011
DOI: 10.3182/20110828-6-it-1002.00624
|View full text |Cite
|
Sign up to set email alerts
|

A fault modeling approach for Input/Output Automata

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1

Citation Types

0
2
0

Year Published

2012
2012
2018
2018

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 5 publications
(2 citation statements)
references
References 14 publications
0
2
0
Order By: Relevance
“…All faults f belong to a known fault set F and all corresponding models from the model set {A f , (f ∈ F)} of the faulty plant are assumed to be known. The models A f , (f ∈ F) of the faulty plant can be assumed from the model A 0 of the faultless plant by applying the error relations described in [5] to it. If the faultf ∈ F is present, the plant is modeled by P Af .…”
Section: Plant Modelsmentioning
confidence: 99%
See 1 more Smart Citation
“…All faults f belong to a known fault set F and all corresponding models from the model set {A f , (f ∈ F)} of the faulty plant are assumed to be known. The models A f , (f ∈ F) of the faulty plant can be assumed from the model A 0 of the faultless plant by applying the error relations described in [5] to it. If the faultf ∈ F is present, the plant is modeled by P Af .…”
Section: Plant Modelsmentioning
confidence: 99%
“…According to (9), each pair of states from the state set Z has to be considered, when a controller C is defined for an automaton A. From the construction of the common model A ∩ in (17) based on the intersection operation in Definition 4.2 and the assumption in (5), it follows that the state set Z ∩ of the common model A ∩ is of size |Z 0 |. That is, the complexity of the reconfiguration step is quadratic in the number of plant states such that it is reasonable to apply the method to real-world systems.…”
Section: Proofmentioning
confidence: 99%