%0 Journal Article
%T Combined Controller Synthesis for Marked Graphs<br>事件图的混合控制器设计
%A LUO Ji-Liang
%A WU Wei-Min
%A SU Hong-Ye
%A CHU Jian
%A <br>罗继亮
%A 吴维敏
%A 苏宏业
%A 褚健
%J 自动化学报
%D 2007
%I 
%X The exponential computation complexity of the state reachability analysis makes it difficult to apply forbidden state controller synthesis method to large plant nets. To solve this problem, a combined controller synthesis method is proposed for marked graphs. Firstly, the methods of designing observers are obtained. Secondly, the algorithm of calculating the maximally permissive control policy is proposed using the markings of the observers. The results show that the online computational efficiency of the controller is increased, because the state spaces to be observed is decreased in dimension number. Furthermore, the plant nets are not necessarily alive or bounded.
%K Discrete event systems
%K supervisory control
%K Petri nets<br>离散事什系统
%K 监控
%K Petri网
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=E76622685B64B2AA896A7F777B64EB3A&aid=0CB81660FA94F871&yid=A732AF04DDA03BB3&vid=27746BCEEE58E9DC&iid=0B39A22176CE99FB&sid=AD16A18DBD734D13&eid=78F0EFE028BD3783&journal_id=0254-4156&journal_name=自动化学报&referenced_num=0&reference_num=8