In this paper,we presented the decentralized supervisory control problem of discrete event system with continuous-time variable.By presenting the definition of coobservability for the timed specification,a necessary and sufficient condition for the existence of decentralized supervisors is obtained.Finally,a numerical example is given.
Fei WANG,Fu-jiang JIN,Ji-liang LUO (College of Information Science and Engineering,Huaqiao University,Xiamen,Fujian,361021,P.R.China)
