1048 search results - page 28 / 210 » Reliability Modeling of Fault Tolerant Control Systems |
132
Voted
AMCS
2007
15 years 3 months ago
2007
118
Voted
AMCS
2010
15 years 2 months ago
2010
96
Voted
RTSS
2007
IEEE
15 years 10 months ago
2007
IEEE
174
Voted
ICFEM
2010
Springer
15 years 2 months ago
2010
Springer
We present an algorithm based on temporal-epistemic model checking combined with fault injection to analyse automatically the diagnosability of faults by agents in the system. We d...