This paper is a sequel to a previous publication by the same authors, in which an efficient modular solution to a robust supervisory control problem for discrete event systems modeled by finite automata with prefix-cl...This paper is a sequel to a previous publication by the same authors, in which an efficient modular solution to a robust supervisory control problem for discrete event systems modeled by finite automata with prefix-closed specification languages has been presented. This solution is based on a general recursive robust control scheme, which has been successfully applied to a number of problems. The additional contributions of the present paper are： （a） a slight generalization of the problem assumptions; （b） an alternative derivation of some of the results and an alternative formulation of the controller; （c） a detailed description of a very efficient on-line implementation algorithm; and （d） an illustrative practical example.展开更多
基金Supported by the General Secretariat for Research and Technology, International Cooperation, Eureka Project (Grant No. E!3219-AADSS, EU)
文摘This paper is a sequel to a previous publication by the same authors, in which an efficient modular solution to a robust supervisory control problem for discrete event systems modeled by finite automata with prefix-closed specification languages has been presented. This solution is based on a general recursive robust control scheme, which has been successfully applied to a number of problems. The additional contributions of the present paper are： （a） a slight generalization of the problem assumptions; （b） an alternative derivation of some of the results and an alternative formulation of the controller; （c） a detailed description of a very efficient on-line implementation algorithm; and （d） an illustrative practical example.
