Login / Signup
Towards a practical reachability test for dynamic systems under process faults.
Marcin Witczak
Józef Korbicz
Michal de Rozprza-Faygel
Damiano Rotondo
Vicenç Puig
Published in:
MMAR (2016)
Keyphrases
</>
dynamic systems
complex systems
model based diagnosis
discrete event
consistency based diagnosis
dynamic environments
fault diagnosis
process model
dynamical systems
computer aided
qualitative reasoning
qualitative models
test cases
state variables