Intrusion Detection in Controlled Discrete Event Systems

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 set of controllers failing. We also use the language measure technique to determine the optimal behavior of the controlled system in the presence of an intrusion

[1]  Stéphane Lafortune,et al.  Failure diagnosis of dynamic systems: an approach based on discrete event systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[2]  Pål Erik Eng,et al.  Automatic Response to Intrusion Detection , 2004 .

[3]  H. Witsenhausen.  On Information Structures, Feedback and Causality , 1971 .

[4]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.

[5]  Hans S. Witsenhausen,et al.  The Intrinsic Model for Discrete Stochastic Control: Some Open Problems , 1975 .

[6]  John N. Tsitsiklis,et al.  On the control of discrete-event dynamical systems , 1987, 26th IEEE Conference on Decision and Control.

[7]  K. Sinnamohideen.  Discrete-event diagnostics of heating, ventilation, and air-conditioning systems , 2001, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148).

[8]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

[9]  Demosthenis Teneketzis,et al.  Active Acquisition of Information for Diagnosis of Discrete Event Systems , 2004 .

[10]  H. Witsenhausen.  Separation of estimation and control for discrete time systems , 1971 .

[11]  Demosthenis Teneketzis,et al.  Information structures, causality, and nonsequential stochastic control I: design-independent properties , 1992 .

[12]  Yannick Pencolé.  Decentralized diagnoser approach: application to telecommunication networks , 2000 .

[13]  Stéphane Lafortune,et al.  Safe diagnosability of discrete event systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[14]  W. M. Wonham,et al.  The control of discrete event systems , 1989 .

[15]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[16]  Asok Ray,et al.  Signed real measure of regular languages , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[17]  R. Sengupta,et al.  An Optimal Control Theory for Discrete Event Systems , 1998 .

[18]  D. Thorsley,et al.  Diagnosis of cyclic discrete-event systems using active acquisition of information , 2006, 2006 8th International Workshop on Discrete Event Systems.

[19]  Pravin Varaiya,et al.  Stochastic Systems: Estimation, Identification, and Adaptive Control , 1986 .