Mixed Modular Supervisory Control of Event Feedback and State Feedback

王飞,胡奇英
DOI: https://doi.org/10.3969/j.issn.1000-8152.2004.06.017
2004-01-01
Abstract:One of the standard ways to handle the state explosion in large systems is to practise the modular supervision of languages or predicates,or of discrete event systems.However,there is nothing to be developed about the mixed modular supervision of both the languages and predicates.The synthesis and properties of mixed modular supervisory control are discussed.By showing the equivalence between a state feedback and some event feedback,the conjunction for the state feedback and the event feedback is defined.Then,the mixed modular supervisor is equivalent to the intersection of the sub-supervisors and the sub-controllers.It is shown that the mixed modular supervisor is nonblocking and deadlock-free under the condition of the Σ u-invariance of the predicates and the closeness of the languages.Furthermore,a mixed modular supervisor is deadlock-free if and only if the subsupervisors and subcontrollers are all deadlock-free and the corresponding pair meets a d-invariant relation.
What problem does this paper attempt to address?