| Sign In to gain access to subscriptions and/or personal tools. |
A hybrid approach to design deadlock-free Petri net controller for discrete event systems
State Key Laboratory of Industrial Control Technology & Institute of Cyber-Systems and Control, Zhejiang University, Hangzhou 310027, P.R. China
* To whom correspondence should be addressed. E-mail: wmwu{at}iipc.zju.edu.cn.
The issue of supervisory control of discrete event systems (DES) based on Petri nets (PN) has been investigated by using various methods. However, there exists a problem that the supervisor, introduced to enforce the given specification, causes a deadlock in the closed-loop system, especially when the deadlock occurs in the closed-loop system in which the original plant model is live. To address this problem, we propose a hybrid approach to design a deadlock-free PN controller for DES with given specification. The approach mainly consists of two stages. Firstly, a supervisor is designed to enforce the given specification using the reported place invariants method. Then, we regard the obtained closed-loop system with deadlock introduced by the supervisor as a new plant net and adopt the theory of regions to design a deadlock-free PN controller. The controller designed by our approach is guaranteed to be maximally permissive when the original plant PN is fully controllable and observable. Even for partially controllable and observable plant PN, it is possible to obtain a suboptimal solution.
First published on August 7, 2009 |
||||||
 |
|
|
 |
|
Sign In to gain access to subscriptions and/or personal tools.
