Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
10398690 | Automatica | 2014 | 4 Pages |
Abstract
This paper studies the supervisory control of nondeterministic discrete event systems to achieve a bisimulation equivalence between the controlled system and the deterministic specification. In particular, a necessary and sufficient condition is given for the existence of a bisimilarity enforcing supervisor, and a polynomial algorithm is developed to verify such a condition. When the existence condition holds, a bisimilarity enforcing supervisor is constructed. Otherwise, two methods are provided for synthesizing supremal feasible sub-specifications.
Related Topics
Physical Sciences and Engineering
Engineering
Control and Systems Engineering
Authors
Yajuan Sun, Hai Lin, Ben M. Chen,