Yihui Hu;Ziyue Ma;Ruotian Liu;Maria Pia Fanti;Zhiwu Li
{"title":"使用标签 Petri 网对禁止状态规范进行监控器合成","authors":"Yihui Hu;Ziyue Ma;Ruotian Liu;Maria Pia Fanti;Zhiwu Li","doi":"10.1109/TSMC.2024.3422925","DOIUrl":null,"url":null,"abstract":"This research focuses on the forbidden state problem in the framework of labeled Petri nets (LPNs), i.e., to design a supervisor for a plant modeled by an LPN such that the closed-loop system cannot reach a set of predefined forbidden markings and does not contain any deadlock. Different from the traditional control scheme, the supervisor derived by this work can not only observe the observable transitions, but also the quiescence information. First, a new structure named an extended basis reachability graph (EBRG) is introduced to describe the reachability space of an LPN without computing all reachable markings. Based on an EBRG, a basis observer is then excogitated to represent the behavior of an LPN. Some states in the basis observer are defined as bad states and control-induced deadlocks, which relates to the undesirable behavior of the plant. Finally, an algorithm is introduced to compute a supervisor based on the basis observer. The consideration of system quiescence provides extra information on the marking estimation of the closed-loop system such that certain disabled transitions are re-enabled. Consequently, the developed supervisor in this article is generally more permissive than those do not observe the quiescence.","PeriodicalId":48915,"journal":{"name":"IEEE Transactions on Systems Man Cybernetics-Systems","volume":null,"pages":null},"PeriodicalIF":8.6000,"publicationDate":"2024-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications\",\"authors\":\"Yihui Hu;Ziyue Ma;Ruotian Liu;Maria Pia Fanti;Zhiwu Li\",\"doi\":\"10.1109/TSMC.2024.3422925\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This research focuses on the forbidden state problem in the framework of labeled Petri nets (LPNs), i.e., to design a supervisor for a plant modeled by an LPN such that the closed-loop system cannot reach a set of predefined forbidden markings and does not contain any deadlock. Different from the traditional control scheme, the supervisor derived by this work can not only observe the observable transitions, but also the quiescence information. First, a new structure named an extended basis reachability graph (EBRG) is introduced to describe the reachability space of an LPN without computing all reachable markings. Based on an EBRG, a basis observer is then excogitated to represent the behavior of an LPN. Some states in the basis observer are defined as bad states and control-induced deadlocks, which relates to the undesirable behavior of the plant. Finally, an algorithm is introduced to compute a supervisor based on the basis observer. The consideration of system quiescence provides extra information on the marking estimation of the closed-loop system such that certain disabled transitions are re-enabled. Consequently, the developed supervisor in this article is generally more permissive than those do not observe the quiescence.\",\"PeriodicalId\":48915,\"journal\":{\"name\":\"IEEE Transactions on Systems Man Cybernetics-Systems\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":8.6000,\"publicationDate\":\"2024-08-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"IEEE Transactions on Systems Man Cybernetics-Systems\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://ieeexplore.ieee.org/document/10620430/\",\"RegionNum\":1,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"AUTOMATION & CONTROL SYSTEMS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"IEEE Transactions on Systems Man Cybernetics-Systems","FirstCategoryId":"94","ListUrlMain":"https://ieeexplore.ieee.org/document/10620430/","RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"AUTOMATION & CONTROL SYSTEMS","Score":null,"Total":0}
Supervisor Synthesis Using Labeled Petri Nets for Forbidden State Specifications
This research focuses on the forbidden state problem in the framework of labeled Petri nets (LPNs), i.e., to design a supervisor for a plant modeled by an LPN such that the closed-loop system cannot reach a set of predefined forbidden markings and does not contain any deadlock. Different from the traditional control scheme, the supervisor derived by this work can not only observe the observable transitions, but also the quiescence information. First, a new structure named an extended basis reachability graph (EBRG) is introduced to describe the reachability space of an LPN without computing all reachable markings. Based on an EBRG, a basis observer is then excogitated to represent the behavior of an LPN. Some states in the basis observer are defined as bad states and control-induced deadlocks, which relates to the undesirable behavior of the plant. Finally, an algorithm is introduced to compute a supervisor based on the basis observer. The consideration of system quiescence provides extra information on the marking estimation of the closed-loop system such that certain disabled transitions are re-enabled. Consequently, the developed supervisor in this article is generally more permissive than those do not observe the quiescence.
期刊介绍:
The IEEE Transactions on Systems, Man, and Cybernetics: Systems encompasses the fields of systems engineering, covering issue formulation, analysis, and modeling throughout the systems engineering lifecycle phases. It addresses decision-making, issue interpretation, systems management, processes, and various methods such as optimization, modeling, and simulation in the development and deployment of large systems.