Noureddine Malki, Moamar Sayed Mouchaweh. Boolean temporal model-based approach for the diagnosis of Discrete Event Systems. In IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011. pages 175-180, IEEE, 2011. [doi]
Abstract is missing.