DocumentCode :
991335
Title :
A note on deciding the controllability of a language K with respect to a language L
Author :
Sreenivas, R.S.
Volume :
38
Issue :
4
fYear :
1993
fDate :
4/1/1993 12:00:00 AM
Firstpage :
658
Lastpage :
662
Abstract :
It has been shown by P.J. Ramadge and W.M. Wonham (1987) if G is a plant automaton and KL(G) is a prefix-closed language, there exists a supervisor Θ that is complete with respect to G so that L(Θ/G)=KL(G)= K if and only if K is controllable with respect to the plant language L(D). It is shown that if L( G) and K are represented as free-labeled Petri nets, then the controllability of K with respect to L(G ) is detectable. This result is a direct consequence of the decidability of the Petri net and reachability problem. In effect, a modeling framework capable of finitely representing a class of infinite-state systems is identified, and controllability is decidable within this framework
Keywords :
Petri nets; automata theory; controllability; discrete systems; formal languages; complete supervisor; decidability; free-labeled Petri nets; language controllability; plant automaton; prefix-closed language; reachability problem; Acceleration; Adaptive control; Automatic control; Controllability; Equations; Manipulator dynamics; Programmable control; Robot control; Robot kinematics; Robotics and automation;
fLanguage :
English
Journal_Title :
Automatic Control, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9286
Type :
jour
DOI :
10.1109/9.250543
Filename :
250543
Link To Document :
بازگشت