TY - JOUR
T1 - Structural Controller for Logical Expression of Linear Constraints on Petri Nets
AU - Luo, Jiliang
AU - Wu, Weimin
AU - Zhou, Mengchu
AU - Shao, Hui
AU - Nonami, Kenzo
AU - Su, Hongye
N1 - Funding Information:
Manuscript received September 26, 2018; revised April 7, 2019; accepted April 20, 2019. Date of publication May 20, 2019; date of current version December 27, 2019. This work was supported in part by the Natural Science Foundation of China under Grant 61573158 and Grant 61773343, in part by the Natural Science Foundation of Fujian Province of China under Grant 2017J01117, in part by the Science and Technology Planning Project of Fujian Province of China under Grant 2018H0022, in part by the Key Research and Development Program of Guangdong Province of China under Grant 2019B010120001, in part by the Project of State Key Laboratory of Industrial Control Technology (Zhejiang University) of China under Grant ICT1921, and in part by the Quanzhou Science and Technology Planning Project of Fujian Province of China under Grant 2017T003. Recommended by Associate Editor C. Seatzu. (Corresponding author: Weimin Wu and Jiliang Luo.) J. Luo and H. Shao are with the College of Information Science and Engineering, Huaqiao University, Xiamen 361021, China, and also with the Fujian Engineering Research Center of Motor Control and System Optimal Schedule, Xiamen 361021, China (e-mail:, jlluo@hqu.edu.cn; shaohuihu11@163.com).
Publisher Copyright:
© 1963-2012 IEEE.
PY - 2020/1
Y1 - 2020/1
N2 - Based on the P-type composition of Petri nets (PNs) defined in this paper, a framework for a structural control of discrete event systems (DESs) is constructed such that a closed-loop PN is obtained by composing a plant PN and a controller. As for a disjunction or conjunctive normal form (CNF) of linear constraints, a new approach is proposed to design a structural controller in this framework. First, a switching-net is defined for a disjunction of constraints, and an extended plant is obtained through the P-type composition of a plant PN and switching-net. Second, the disjunction of bounded constraints is transformed into a conjunction of switching-constraints on the extended plant. Third, a controller is synthesized by designing monitors for conjunctive switching-constraints according to a supervision-based-on-place-invariant method. Fourth, in a similar manner, a controller is also designed for a CNF of bounded constraints. The resulting controller is maximally permissive if each disjunction of constraints meets the jump-free condition, and its size grows polynomially with the number of constraints. Another advantage is that the closed-loop system is still a PN for many real DES since a CNF can describe not only convex but also nonconvex state regions.
AB - Based on the P-type composition of Petri nets (PNs) defined in this paper, a framework for a structural control of discrete event systems (DESs) is constructed such that a closed-loop PN is obtained by composing a plant PN and a controller. As for a disjunction or conjunctive normal form (CNF) of linear constraints, a new approach is proposed to design a structural controller in this framework. First, a switching-net is defined for a disjunction of constraints, and an extended plant is obtained through the P-type composition of a plant PN and switching-net. Second, the disjunction of bounded constraints is transformed into a conjunction of switching-constraints on the extended plant. Third, a controller is synthesized by designing monitors for conjunctive switching-constraints according to a supervision-based-on-place-invariant method. Fourth, in a similar manner, a controller is also designed for a CNF of bounded constraints. The resulting controller is maximally permissive if each disjunction of constraints meets the jump-free condition, and its size grows polynomially with the number of constraints. Another advantage is that the closed-loop system is still a PN for many real DES since a CNF can describe not only convex but also nonconvex state regions.
KW - Controller
KW - Petri net (PN)
KW - generalized mutual exclusion constraint (GMEC)
KW - linear constraint
UR - http://www.scopus.com/inward/record.url?scp=85077802003&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85077802003&partnerID=8YFLogxK
U2 - 10.1109/TAC.2019.2918052
DO - 10.1109/TAC.2019.2918052
M3 - Article
AN - SCOPUS:85077802003
SN - 0018-9286
VL - 65
SP - 397
EP - 403
JO - IEEE Transactions on Automatic Control
JF - IEEE Transactions on Automatic Control
IS - 1
M1 - 8718549
ER -