A novel siphon-based divide-and-conquer(SbDaC)policy is presented in this paper for the synthesis of Petri net(PN)based liveness-enforcing supervisors(LES)for flexible manufacturing systems(FMS)prone to deadlocks or l...A novel siphon-based divide-and-conquer(SbDaC)policy is presented in this paper for the synthesis of Petri net(PN)based liveness-enforcing supervisors(LES)for flexible manufacturing systems(FMS)prone to deadlocks or livelocks.The proposed method takes an uncontrolled and bounded PN model(UPNM)of the FMS.Firstly,the reduced PNM(RPNM)is obtained from the UPNM by using PN reduction rules to reduce the computation burden.Then,the set of strict minimal siphons(SMSs)of the RPNM is computed.Next,the complementary set of SMSs is computed from the set of SMSs.By the union of these two sets,the superset of SMSs is computed.Finally,the set of subnets of the RPNM is obtained by applying the PN reduction rules to the superset of SMSs.All these subnets suffer from deadlocks.These subnets are then ordered from the smallest one to the largest one based on a criterion.To enforce liveness on these subnets,a set of control places(CPs)is computed starting from the smallest subnet to the largest one.Once all subnets are live,this process provides the LES,consisting of a set of CPs to be used for the UPNM.The live controlled PN model(CPNM)is constructed by merging the LES with the UPNM.The SbDaC policy is applicable to all classes of PNs related to FMS prone to deadlocks or livelocks.Several FMS examples are considered from the literature to highlight the applicability of the SbDaC policy.In particular,three examples are utilized to emphasize the importance,applicability and effectiveness of the SbDaC policy to realistic FMS with very large state spaces.展开更多
Born in Penglai,Shandong Province in 1942,Jiang Baolin is currently working as a doctoral supervisor at the Chinese National Academy of Arts.He’s also a committee member and researcher at the China National Academy o...Born in Penglai,Shandong Province in 1942,Jiang Baolin is currently working as a doctoral supervisor at the Chinese National Academy of Arts.He’s also a committee member and researcher at the China National Academy of Painting.He graduated from Zhejiang Academy of Fine Arts(now China Academy of Art),studying under such masters as Lu Yanshao and Gu Kunbo,and later pursued his master’s degree at the Central Academy of Fine Arts,sitting at the feet of masters like Li Keran.展开更多
Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect ma...Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.展开更多
This paper deals with the synthesis of Petri net supervisor enforcing the more expressive constraints including marking terms, firing vector terms and Parikh vector terms. The method is developed to handle uncontrolla...This paper deals with the synthesis of Petri net supervisor enforcing the more expressive constraints including marking terms, firing vector terms and Parikh vector terms. The method is developed to handle uncontrollable and unobservable transitions existing in the constraints. The “greater-than or equal” general constraints can also be transformed into “less-than or equal” Parikh constraints. An example is analyzed to show how the problem is solved. General constraint is first transformed into Parikh vector constraints, and Matrix-Transformation is proposed to obtain the admissible constraints without uncontrollable and unobservable transitions. Then the supervisor can be constructed based on constraints only consisting of Parikh vector terms. The method is proved to be more concise and effective than the method presented by Iordache and Moody especially when applied to large scale systems.展开更多
In this paper,a deadlock prevention policy for robotic manufacturing cells with uncontrollable and unobservable events is proposed based on a Petri net formalism.First,a Petri net for the deadlock control of such syst...In this paper,a deadlock prevention policy for robotic manufacturing cells with uncontrollable and unobservable events is proposed based on a Petri net formalism.First,a Petri net for the deadlock control of such systems is defined.Its admissible markings and first-met inadmissible markings(FIMs)are introduced.Next,place invariants are designed via an integer linear program(ILP)to survive all admissible markings and prohibit all FIMs,keeping the underlying system from reaching deadlocks,livelocks,bad markings,and the markings that may evolve into them by firing uncontrollable transitions.ILP also ensures that the obtained deadlock-free supervisor does not observe any unobservable transition.In addition,the supervisor is guaranteed to be admissible and structurally minimal in terms of both control places and added arcs.The condition under which the supervisor is maximally permissive in behavior is given.Finally,experimental results with the proposed method and existing ones are given to show its effectiveness.展开更多
In this paper, the problem of hybrid model predictive control(HMPC) strategy based on fuzzy supervisor for piecewise autoregressive with exogenous input(PWARX) models is addressed. We first represent the nonlinear beh...In this paper, the problem of hybrid model predictive control(HMPC) strategy based on fuzzy supervisor for piecewise autoregressive with exogenous input(PWARX) models is addressed. We first represent the nonlinear behavior of the system with a PWARX model. Then, we transform the obtained PWARX model into a mixed logical dynamic(MLD) model in order to apply the proposed predictive control which is able to stabilize such systems along desired reference trajectories while satisfying operating constraints.Finally, we propose to introduce a fuzzy supervisor allowing the readjustment of the HMPC tuning parameters in order to maintain the desired performance. Simulation and experimental results are presented to illustrate the effectiveness of the proposed approach.展开更多
In this paper, we consider the problem of automatic synthesis of decentralized supervisor for uncertain discrete event systems. In particular, we study the case when the uncontrolled plant is unknown a priori. To deal...In this paper, we consider the problem of automatic synthesis of decentralized supervisor for uncertain discrete event systems. In particular, we study the case when the uncontrolled plant is unknown a priori. To deal with the unknown plants, we first characterize the conormality of prefix-closed regular languages and propose formulas for computing the supremal conormal sublanguages; then sufficient conditions for the existence of decentralized supervisors are given in terms of language controllability and conormality and a learning-based algorithm to synthesize the supervisor automatically is proposed. Moreover, the paper also studies the on-line decentralized supervisory control of concurrent discrete event systems that are composed of multiple interacting unknown modules. We use the concept of modular controllability to characterize the necessary and sufficient conditions for the existence of the local supervisors, which consist of a set of local supervisor modules, one for each plant module and which determines its control actions based on the locally observed behaviors, and an on-line learning-based local synthesis algorithm is also presented. The correctness and convergence of the proposed algorithms are proved, and their implementation are illustrated through examples.展开更多
In this paper, a new reliable hierarchical model is suggested for a two-wagon train Networked Control System. Each wagon has a Controller that carries the control load and an Entertainment server that handles the ente...In this paper, a new reliable hierarchical model is suggested for a two-wagon train Networked Control System. Each wagon has a Controller that carries the control load and an Entertainment server that handles the entertainment. A supervisory controller runs on top of the two controllers and the two entertainment servers. Contrary to a similar model in the literature, the Supervisory node replaces a Controller as soon as it fails (Active Supervisor). All system states are analyzed and simulated using OPNET. It is shown that, for all states, this architecture has zero control packets dropped and the end-to-end delay is below the maximum target delay. A comparison between this Active model and the other model in the literature is presented. It is found that the entertainment in this new architecture is kept available for the passengers in more of the system states when compared to the architecture previously presented in the literature.展开更多
The supervisory system and the examination system are two indigenous political systems of China,and the former has a longer history than the latter when it comes to the origin.Having inherited the essence of the super...The supervisory system and the examination system are two indigenous political systems of China,and the former has a longer history than the latter when it comes to the origin.Having inherited the essence of the supervisory system since the Qin Dynasty,the supervisory rules in the Ming Dynasty opened a new chapter of legal thoughts of monitoring.This paper started with the design of the supervisory institutions in the Ming Dynasty recorded in the historical materials such as the Memoir of Ming Dynasty and The Interpretive Supplements to"The Great Learning",to get a glimpse of the main content of the legal thoughts of supervisory at that time,and tried to"take history as a mirror"to provide insights and lessons of the legal thoughts of supervisory in the Ming Dynasty for the later generations.展开更多
基金The authors extend their appreciation to King Saud University,Saudi Arabia for funding this work through the Ongoing Research Funding Program(ORF-2025-704),King Saud University,Riyadh,Saudi Arabia.
文摘A novel siphon-based divide-and-conquer(SbDaC)policy is presented in this paper for the synthesis of Petri net(PN)based liveness-enforcing supervisors(LES)for flexible manufacturing systems(FMS)prone to deadlocks or livelocks.The proposed method takes an uncontrolled and bounded PN model(UPNM)of the FMS.Firstly,the reduced PNM(RPNM)is obtained from the UPNM by using PN reduction rules to reduce the computation burden.Then,the set of strict minimal siphons(SMSs)of the RPNM is computed.Next,the complementary set of SMSs is computed from the set of SMSs.By the union of these two sets,the superset of SMSs is computed.Finally,the set of subnets of the RPNM is obtained by applying the PN reduction rules to the superset of SMSs.All these subnets suffer from deadlocks.These subnets are then ordered from the smallest one to the largest one based on a criterion.To enforce liveness on these subnets,a set of control places(CPs)is computed starting from the smallest subnet to the largest one.Once all subnets are live,this process provides the LES,consisting of a set of CPs to be used for the UPNM.The live controlled PN model(CPNM)is constructed by merging the LES with the UPNM.The SbDaC policy is applicable to all classes of PNs related to FMS prone to deadlocks or livelocks.Several FMS examples are considered from the literature to highlight the applicability of the SbDaC policy.In particular,three examples are utilized to emphasize the importance,applicability and effectiveness of the SbDaC policy to realistic FMS with very large state spaces.
文摘Born in Penglai,Shandong Province in 1942,Jiang Baolin is currently working as a doctoral supervisor at the Chinese National Academy of Arts.He’s also a committee member and researcher at the China National Academy of Painting.He graduated from Zhejiang Academy of Fine Arts(now China Academy of Art),studying under such masters as Lu Yanshao and Gu Kunbo,and later pursued his master’s degree at the Central Academy of Fine Arts,sitting at the feet of masters like Li Keran.
基金the State Key Laboratory for Manufacturing System Engineering at Xi'an Jiaotong University. China.
文摘Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.
基金Project supported by the National Natural Science Foundation of China (No. 60504024), Zhejiang Provincial Education Department(No. 20050905), and "151 Talent Project" of Zhejiang Province,China
文摘This paper deals with the synthesis of Petri net supervisor enforcing the more expressive constraints including marking terms, firing vector terms and Parikh vector terms. The method is developed to handle uncontrollable and unobservable transitions existing in the constraints. The “greater-than or equal” general constraints can also be transformed into “less-than or equal” Parikh constraints. An example is analyzed to show how the problem is solved. General constraint is first transformed into Parikh vector constraints, and Matrix-Transformation is proposed to obtain the admissible constraints without uncontrollable and unobservable transitions. Then the supervisor can be constructed based on constraints only consisting of Parikh vector terms. The method is proved to be more concise and effective than the method presented by Iordache and Moody especially when applied to large scale systems.
基金supported by the National Natural Science Foundation of China(61773206)the Natural Science Foundation of Jiangsu Province of China(BK20170131)+1 种基金Jiangsu Overseas Visiting Scholar Program for University Prominent Young&Middle-aged Teachers and Presidents(2019-19)the Deanship of Scientific Research(DSR)at King Abdulaziz University(RG-20-135-38)。
文摘In this paper,a deadlock prevention policy for robotic manufacturing cells with uncontrollable and unobservable events is proposed based on a Petri net formalism.First,a Petri net for the deadlock control of such systems is defined.Its admissible markings and first-met inadmissible markings(FIMs)are introduced.Next,place invariants are designed via an integer linear program(ILP)to survive all admissible markings and prohibit all FIMs,keeping the underlying system from reaching deadlocks,livelocks,bad markings,and the markings that may evolve into them by firing uncontrollable transitions.ILP also ensures that the obtained deadlock-free supervisor does not observe any unobservable transition.In addition,the supervisor is guaranteed to be admissible and structurally minimal in terms of both control places and added arcs.The condition under which the supervisor is maximally permissive in behavior is given.Finally,experimental results with the proposed method and existing ones are given to show its effectiveness.
文摘In this paper, the problem of hybrid model predictive control(HMPC) strategy based on fuzzy supervisor for piecewise autoregressive with exogenous input(PWARX) models is addressed. We first represent the nonlinear behavior of the system with a PWARX model. Then, we transform the obtained PWARX model into a mixed logical dynamic(MLD) model in order to apply the proposed predictive control which is able to stabilize such systems along desired reference trajectories while satisfying operating constraints.Finally, we propose to introduce a fuzzy supervisor allowing the readjustment of the HMPC tuning parameters in order to maintain the desired performance. Simulation and experimental results are presented to illustrate the effectiveness of the proposed approach.
基金supported by the National Science Foundation(Nos.NSF-CNS-1239222,NSF-EECS-1253488)
文摘In this paper, we consider the problem of automatic synthesis of decentralized supervisor for uncertain discrete event systems. In particular, we study the case when the uncontrolled plant is unknown a priori. To deal with the unknown plants, we first characterize the conormality of prefix-closed regular languages and propose formulas for computing the supremal conormal sublanguages; then sufficient conditions for the existence of decentralized supervisors are given in terms of language controllability and conormality and a learning-based algorithm to synthesize the supervisor automatically is proposed. Moreover, the paper also studies the on-line decentralized supervisory control of concurrent discrete event systems that are composed of multiple interacting unknown modules. We use the concept of modular controllability to characterize the necessary and sufficient conditions for the existence of the local supervisors, which consist of a set of local supervisor modules, one for each plant module and which determines its control actions based on the locally observed behaviors, and an on-line learning-based local synthesis algorithm is also presented. The correctness and convergence of the proposed algorithms are proved, and their implementation are illustrated through examples.
文摘In this paper, a new reliable hierarchical model is suggested for a two-wagon train Networked Control System. Each wagon has a Controller that carries the control load and an Entertainment server that handles the entertainment. A supervisory controller runs on top of the two controllers and the two entertainment servers. Contrary to a similar model in the literature, the Supervisory node replaces a Controller as soon as it fails (Active Supervisor). All system states are analyzed and simulated using OPNET. It is shown that, for all states, this architecture has zero control packets dropped and the end-to-end delay is below the maximum target delay. A comparison between this Active model and the other model in the literature is presented. It is found that the entertainment in this new architecture is kept available for the passengers in more of the system states when compared to the architecture previously presented in the literature.
基金Scientific Planning Project of Tianjin Philosophy and Social Science Monitoring the legal system and political trend-Research on the relationship between the Duchayuan during Tianqi period and the political situation of the late Ming DynastyProject No.TJFX19-002。
文摘The supervisory system and the examination system are two indigenous political systems of China,and the former has a longer history than the latter when it comes to the origin.Having inherited the essence of the supervisory system since the Qin Dynasty,the supervisory rules in the Ming Dynasty opened a new chapter of legal thoughts of monitoring.This paper started with the design of the supervisory institutions in the Ming Dynasty recorded in the historical materials such as the Memoir of Ming Dynasty and The Interpretive Supplements to"The Great Learning",to get a glimpse of the main content of the legal thoughts of supervisory at that time,and tried to"take history as a mirror"to provide insights and lessons of the legal thoughts of supervisory in the Ming Dynasty for the later generations.
