A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools....A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.展开更多
Based on the single sensor Kalman filtering equations, this paper presents two-level and three-level optimal centralized and distributed estimation algorithms for hierarchical multisensor systems. The solution shows t...Based on the single sensor Kalman filtering equations, this paper presents two-level and three-level optimal centralized and distributed estimation algorithms for hierarchical multisensor systems. The solution shows that when the correlated matrix, the mean of noise, the control input, and the measurement error are all zero, the result in this paper turns out to be the standard algorithm discussed. Simulation shows that the mean of noise, the control input, and the measurement error will not change the estimation covariance and the estimation covariance fluctuates greatly when the cross-correlated matrix is similar to the covariance of process noise.展开更多
基金Supported in part by the National Outstanding Youth Science Foundation of P.R.China (60025308) Doctor Degree Program Foundation of P.R.China (20020335103), Scientific Research Program of Department of Education of Zhejiang Province, P.R.China (20040149)
文摘A quite great progress of the supervisory control theory for discrete event systems (DES)has been made in the past nearly twenty years, and now, automata, formal language and Petri nets become the main research tools. This paper focus on the Petri nets based supervisory control theory of DES. Firstly, we review the research results in this field, and claim that there generally exists a problem in Petri nets based supervisory control theory of DES, that is, the deadlock caused by the controller introduced to enforce the given specification occurs in the closed-loop systems, especially the deadlock occurs in the closed-loop system in which the original plant is live. Finally, a possible research direction is presented for the solution of this problem.
文摘Based on the single sensor Kalman filtering equations, this paper presents two-level and three-level optimal centralized and distributed estimation algorithms for hierarchical multisensor systems. The solution shows that when the correlated matrix, the mean of noise, the control input, and the measurement error are all zero, the result in this paper turns out to be the standard algorithm discussed. Simulation shows that the mean of noise, the control input, and the measurement error will not change the estimation covariance and the estimation covariance fluctuates greatly when the cross-correlated matrix is similar to the covariance of process noise.
