Author:
Grastien Alban,Zanella Marina
Publisher
Springer International Publishing
Reference29 articles.
1. P. Baroni, G. Lamperti, P. Pogliano, M. Zanella, Diagnosis of large active systems. Artif. Intell. 110(1), 135–183 (1999)
2. A. Bauer, A. Botea, A. Grastien, P. Haslum, J. Rintanen, Alarm processing with model-based diagnosis of discrete event systems, in AI for an Intelligent Planet (AIIP-11) (2011), pp. 2:1–2:8
3. M. Bayoudh, L. Travé-Massuyès, Diagnosability analysis of hybrid systems cast in a discrete-event framework. J. Discrete Event Dyn. Syst. 24(3), 309–338 (2014)
4. C. Cassandras, S. Lafortune, Introduction to Discrete Event Systems, 2nd edn. (Springer, New York, 2008)
5. A. Cimatti, C. Pecheur, R. Cavada, Formal verification of diagnosability via symbolic model checking, in 18th International Joint Conference on Artificial Intelligence (IJCAI-03) (2003), pp. 363–369