On-line detection and sensor activation for discrete event systems
Discrete Event Systems, Volume # 10 | Part# 1
Shu, Shaolong; Huang, Zhiqiang; Lin, Feng
Digital Object Identifier (DOI)
discrete event systems,state estimation,detectability,sensor activation,on-line
This paper investigates on-line detection and sensor activation problem of discrete event systems. The objective is to derive minimal sensor activation policy while preserving strong detectability and strong periodic detectability. After reviewing strong detectability and strong periodic detectability, we introduce a new concept called distinguishability. Distinguishability is used for two purposes. First, it is used to characterize detectability. Secondly, it is used for on-line state estimation and sensor activation. To this end, we proposed an on-line state estimation framework which estimates the state of the system. Sensor activation is then achieved based on the state estimation. State-estimation-based sensor activation has some interesting and surprising properties that we will investigate in this paper. In particular, we introduce a new concept called coherence that plays a key role in state-estimation-based sensor activation. To obtain state-estimation-based sensor activation policy that is minimal and coherent, two algorithms are derived. One algorithm is for strong detectability. It minimizes sensor activation while preserving distinguishability, and hence strong detectability. The other algorithm deals with strong periodic detectability. For strong periodic detectability, a new property called information-preserving must be incorporated. Both algorithms are of polynomial complexity.
 Caines P. E., Greiner R., and Wang S., "Dynamical Logic Observers for Finite Automata," Proceedings of CDC, pp. 226-233, 1988.  Haji-Valizadeh A. and Loparo K. A., "Minimizing the cardinality of an event set for supervisors of discrete-event dynamical systems," IEEE Transactions on Automatic Control, 41(11), pp. 1579-1593, 1996.  Lin F., "Diagnosability of discrete event systems and its applications," Discrete Event Dynamic Systems: Theory and Applications, 4(1), pp. 197-212, 1994.  Lin F., and Wonham W. M., "On observability of discrete event systems," Information Sciences, 44(3), pp. 173- 198, 1988.  Ozveren C. M., and Willsky A. S., "Observability of discrete event dynamic systems," IEEE Transactions on Automatic Control, 35(7), pp. 797-806, 1990.  Ramadge P. J., and Wonham W. M., "Supervisory control of a class of discrete event processes," SIAM J. Control and Optimization, 25(1), pp. 206-230, 1987.  Sampath M., Sengupta R., Lafortune S., Sinnamohideen K., and Teneketzis D., "Diagnosability of discrete event systems," IEEE Transactions on Automatic Control, 40(9), pp. 1555-1575, 1995.  Shu S., Lin F., and Ying H., "Detectability of discrete event systems," IEEE Transactions on Automatic Control, 52(12), pp. 2356-2359, 2007.  Shu S. and Lin F., "Detectability for Discrete Event Systems with dynamic event observation," System and Control Letter, 59(1), pp. 9-17, 2010.  Thorsley D. and Teneketzis D., "Active acquisition of information for diagnosis and supervisory control of discrete event systems," Discrete Event Dynamic Systems: Theory and Applications, 17(4), pp. 531-586, 2007.  Thistle J. G. and Wonham W. M., Control of infinite behaviour of finite automata, SIAM J, Control and Optimization, 32(4), pp.1075-1097, 1994.  Wang W., Lafortune S., and Lin F., "Optimal sensor activation in controlled discrete event systems," Proceedings of the 45th IEEE Conference on Decision and Control, pp. 877-882, 2008.  Wang W., Lafortune S., Lin F. and Girard A. R., "An online algorithm for minimal sensor activation in discrete event systems," Proceedings of the 46th IEEE Conference on Decision and Control, pp. 2242-2247, 2009.