This post is part II of a series of articles describing how to reproduce the experiments reported in our 2020 (submitted) paper about Twina. See part I.
Pattern Diagnosability on the Product Transportation System In this post we consider the model of a product transportation system with added timing constraints displayed in Fig. 1.
Model for the product transfer system with parametric time intervals on t6, t7, t10 and t14 (drawn from transport_timed.
This post is part I of a series of articles describing how to reproduce the experiments reported in our 2020 (submitted) paper about Twina. We assume that you already installed Twina and a recent release of Tina. You can also install a Docker image containing all the necessary tools, scripts and model files:
docker pull vertics/twina
Diagnosability of Single-Faults We have three different methods for deciding the diagnosability of a single fault.