DocumentCode :
1123468
Title :
Bisimilarity Control of Partially Observed Deterministic Systems
Author :
Zhou, Changyan ; Kumar, Ratnesh
Author_Institution :
Illinois Univ., Urbana
Volume :
52
Issue :
9
fYear :
2007
Firstpage :
1642
Lastpage :
1653
Abstract :
Control for safety and nonblockingness using a deterministic supervisor requires the specification language be controllable and observable (under the setting that marking is also decided by a supervisor). We argue that there exist cases where the above properties do not hold, yet a safe and nonblocking control can be synthesized by allowing the supervisor to be nondeterministic. Use of a nondeterministic supervisor yields a controlled system that is nondeterministic for which a language equivalence only preserve the safety but not the nonblocking property, and so instead we require the stronger equivalence of bisimilarity (which preserves "sequential" behavior such as safety as well as "branching" behavior such as nonblockingness). This motivates us to consider control of deterministic systems for achieving bisimulation equivalence to possibly nondeterministic specifications. We introduce the notions of state-achievability (SA) and state-achievability-bisimilar (SAB) as part of the existence condition, and develop effective algorithms for verify the existence conditions as well as for synthesizing a supervisor when the existence condition holds. We show that the complexity of verifying the existence of a controller is polynomial, whereas that of computing a controller (when one exists) is singly exponential. The proposed approach can be applied to enforce any property that depends on branching and sequential behavior.
Keywords :
bisimulation equivalence; controllability; discrete event systems; observability; specification languages; bisimilarity control; bisimulation equivalence; deterministic supervisor system; discrete event system; nonblocking control; specification language; Control system synthesis; Control systems; Controllability; Discrete event systems; Helium; Observability; Polynomials; Safety; Specification languages; Supervisory control; Bisimulation equivalence; discrete-event systems; nonblocking; nondeterministic specifications; nondeterministic supervisory control; partial observation;
fLanguage :
English
Journal_Title :
Automatic Control, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9286
Type :
jour
DOI :
10.1109/TAC.2007.904470
Filename :
4303254
Link To Document :
بازگشت