Intrusion Detection in Controlled Discrete Event Systems
作者： David Thorsley , Demosthenis Teneketzis
关键词:
摘要: The constituent controllers in a supervisory control system may sometimes fail as a result of an intruder interfering with the feedback performance of the system. The intrusion may allow the system to execute traces that the supervisor wishes to prevent from occurring. We derive conditions under which a supervisor can detect the presence of an intruder in time to prevent the execution of an illegal trace. In situations where it is not possible to block all illegal strings, we use a language measure method to assess the damage caused by a particular …
sci-hub.se 参考文章(18)
Morten Haug, Pål Erik Eng, Automatic Response to Intrusion Detection Høgskolen i Agder. ,(2004)
Yannick Pencolé, Decentralized diagnoser approach: application to telecommunication networks ,(2000)
H. S. Witsenhausen, The Intrinsic Model for Discrete Stochastic Control: Some Open Problems Springer, Berlin, Heidelberg. pp. 322- 335 ,(1975) , 10.1007/978-3-642-46317-4_24
A. Paoli, S. Lafortune, Safe diagnosability of discrete event systems conference on decision and control. ,vol. 3, pp. 2658- 2664 ,(2003) , 10.1109/CDC.2003.1273025
Pravin Varaiya, P. R. Kumar, Stochastic Systems: Estimation, Identification, and Adaptive Control ,(1986)
Stephane Lafortune, Christos G. Cassandras, Introduction to Discrete Event Systems ,(1999)
P. J. Ramadge, W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes SIAM Journal on Control and Optimization. ,vol. 25, pp. 206- 230 ,(1987) , 10.1137/0325013
Raja Sengupta, Stéphane Lafortune, An Optimal Control Theory for Discrete Event Systems Siam Journal on Control and Optimization. ,vol. 36, pp. 488- 541 ,(1998) , 10.1137/S0363012994260957
H. S. Witsenhausen, On Information Structures, Feedback and Causality Siam Journal on Control. ,vol. 9, pp. 149- 160 ,(1971) , 10.1137/0309013
P.J.G. Ramadge, W.M. Wonham, The control of discrete event systems Proceedings of the IEEE. ,vol. 77, pp. 81- 98 ,(1989) , 10.1109/5.21072