A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks
作者： Yannick Pencolé , Marie-Odile Cordier
DOI: 10.1016/J.ARTINT.2005.01.002
关键词:
摘要: … complex and large discrete event systems such as telecommunication networks, electricity distribution network, … Given a supervision system continuously receiving observations (alarms) …
mendeley.com
elsevier.com参考文章(27)
Yannick Pencolé, Decentralized diagnoser approach: application to telecommunication networks ,(2000)
Gianfranco Lamperti, Paolo Pogliano, Marina Zanella, Pietro Baroni, Diagnosis of active systems ,(2003)
André Arnold, Transition systems and concurrent processes Banach Center Publications. ,vol. 21, pp. 9- 20 ,(1988) , 10.4064/-21-1-9-20
Laurence Rozé, Marie-Odile Cordier, Diagnosing Discrete-Event Systems: Extending the “Diagnoser Approach” to Deal with Telecommunication Networks Discrete Event Dynamic Systems. ,vol. 12, pp. 43- 81 ,(2002) , 10.1023/A:1013335803945
Doron Peled, All from One, One for All: on Model Checking Using Representatives computer aided verification. pp. 409- 423 ,(1993) , 10.1007/3-540-56922-7_34
Grażyna. Mirkowska-Salwicka, Helena . Rasiowa, Państwowe Wydawnictwo Naukowe., Mathematical problems in computation theory Banach Center Publications. ,(1988)
Yannick Pencolé, M-O Cordier, Laurence Rozé, Incremental decentralized diagnosis approach for the supervision of a telecommunication network conference on decision and control. ,vol. 1, pp. 435- 440 ,(2002) , 10.1109/CDC.2002.1184533
Raja Sengupta, Diagnosis and Communication in Distributed Systems PATH research report. ,(1999)
Brian C. Williams, P. Pandurang Nayak, Immobile Robots AI in the New Millennium Ai Magazine. ,vol. 17, pp. 16- 35 ,(1996) , 10.1609/AIMAG.V17I3.1229
Brian C. Williams, P. Pandurang Nayak, A model-based approach to reactive self-configuring systems national conference on artificial intelligence. pp. 971- 978 ,(1996)