The integrity of complex dynamic systems often relies on the ability to detect, during operation, the occurrence of faults, or, in other words, to diagnose the system. The feasibility …
This paper deals with analysis of diagnosability and K-diagnosability of dynamic systems in a model-checking framework. Dynamic systems are abstracted here as Discrete-Event …
B Bittner, M Bozzano, A Cimatti… - Short and Tutorial …, 2014 - es-static.fbk.eu
The FAME environment is a model-based toolset that implements an integrated process for FDIR (Fault Detection, Isolation and Recovery) design, addressing the shortcomings of …
PA Ordóñez Aguileta - 2018 - etheses.whiterose.ac.uk
The verification process of embedded systems is fundamental for their correct development. Embedded control is a popular choice among the engineering community, making the …