1048 search results - page 28 / 210 » Reliability Modeling of Fault Tolerant Control Systems |
AMCS
2007
14 years 12 months ago
2007
AMCS
2008
14 years 11 months ago
2008
AMCS
2010
14 years 10 months ago
2010
RTSS
2007
IEEE
15 years 6 months ago
2007
IEEE
136
click to vote
ICFEM
2010
Springer
14 years 10 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...