Distributed diagnosability properties of discrete event systems
Proceedings of the American Control Conference - Tập 1 - Trang 134-139 vol.1
Tóm tắt
We present a distributed diagnostics and control architecture for embedded distributed diagnostics. Using this architecture, we (1) propose a distributed diagnostics framework for discrete-event systems based on causal networks; (2) prove system diagnosability results based on component diagnosability; and (3) discuss the tradeoffs involving system diagnosability and communication requirements.
Từ khóa
#Discrete event systems #Distributed control #Control systems #Testing #Contracts #Observability #Nose #Equations #Modeling #LibrariesTài liệu tham khảo
10.1109/TAC.2003.814099
10.1109/9.412626
su, 2000, Decentralized diagnosis for discrete event systems, Proc Conf on Info Science and Systems
10.1016/0004-3702(87)90062-2
10.1109/9.940942
10.1023/A:1008335115538
darwiche, 1998, Model-based diagnosis using structured system descriptions, Journal of Artificial Intelligence Research, 8, 165, 10.1613/jair.462
10.1007/978-1-4757-4070-7
provan, 0, A comparison of finite state machine and causal network approaches to the modeling and diagnosis of discrete event systems, Proc American Control Conference June 2000
provan, 1998, Modeling, diagnosis, and control of timed discrete event systems using temporal causal networks, Proc 1998 Intl Workshop on Discrete Event Systems (WODES'98), 152
provan, 2002, A model-based diagnosis framework for distributed embedded systems, Proc KR '2002
10.1109/3477.875442
holloway, 1996, Distributed fault monitoring in manufacturing systems using concurrent discrete event observations, Integrated Computer-Aided Engineering, 3, 244, 10.3233/ICA-1996-3402
provan, 0, Model-based diagnosis and control reconfiguration for discrete event systems: An integrated approach, Proc 38th IEEE Conf on Decision and Control Phoenix AZ December 1999
10.1109/CACSD.1999.808647