Local Consistency and Junction Tree for Diagnosis of Discrete-Event Systems
作者： Priscilla Kan John , Alban Grastien
DOI:
关键词:
摘要: We extend the decentralised/distributed approach of diagnosis discrete-event systems modeled using automata. The goal is to avoid computing a global diagnosis, which expensive, and perform local diagnoses instead. To still ensure consistency, we transform topology system into junction tree where each vertex represents subsystem. Local consistency between these subsystems ensures due structure. This technique will work best for whose natural structure close structure, as generated automata be reasonable size.
grastien.net 参考文章(14)
Sylvie Thiébaux, Yannick Pencolé, Anika Schumann, A spectrum of symbolic on-line diagnosis approaches national conference on artificial intelligence. pp. 335- 340 ,(2007)
Alban Grastien, Marie-Odile Cordier, Exploiting independence in a decentralised and incremental approach of diagnosis international joint conference on artificial intelligence. pp. 292- 297 ,(2007)
Sylvie Thiébaux, Yannick Pencolé, Anika Schumann, Symbolic models for diagnosing discrete-event systems european conference on artificial intelligence. pp. 1085- 1086 ,(2004)
Gianfranco Lamperti, Paolo Pogliano, Marina Zanella, Pietro Baroni, Diagnosis of active systems ,(2003)
Jussi Rintanen, Anbulagan Anbulagan, Elena Kelareva, Alban Grastien, Diagnosis of discrete-event systems using satisfiability algorithms national conference on artificial intelligence. pp. 305- 310 ,(2007)
Stephane Lafortune, Christos G. Cassandras, Introduction to Discrete Event Systems ,(1999)
Finn V. Jensen, Frank Jensen, Optimal Junction Trees Uncertainty Proceedings 1994. pp. 360- 366 ,(1994) , 10.1016/B978-1-55860-332-5.50050-X
Jussi Rintanen, Diagnosers and diagnosability of succinct transition systems international joint conference on artificial intelligence. pp. 538- 544 ,(2007)
Eric Fabre, Albert Benveniste, Stefan Haar, Claude Jard, Distributed Monitoring of Concurrent and Asynchronous Systems* Discrete Event Dynamic Systems. ,vol. 15, pp. 33- 84 ,(2005) , 10.1007/S10626-005-5238-5
M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, D. Teneketzis, Diagnosability of discrete-event systems IEEE Transactions on Automatic Control. ,vol. 40, pp. 1555- 1575 ,(1995) , 10.1109/9.412626