{"title":"最大允许控制下离散事件系统的闭环活动性","authors":"L. Holloway, B. Krogh","doi":"10.1109/CDC.1989.70674","DOIUrl":null,"url":null,"abstract":"A class of controlled discrete-event systems that can be modeled as cyclic controlled marked graphs (CMGs), a special case of control Petri nets, is considered. Liveness of the controlled system under the maximally permissive feedback control is examined. In the CMG context, closed-loop liveness implies that from any reachable marking (state), any transition can be enabled to fire. The concept of synchronic distances in Petri nets is used to prove sufficient conditions under which the maximally permissive control results in a live closed-loop system.<<ETX>>","PeriodicalId":156565,"journal":{"name":"Proceedings of the 28th IEEE Conference on Decision and Control,","volume":"117 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1989-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"39","resultStr":"{\"title\":\"On closed-loop liveness of discrete event systems under maximally permissive control\",\"authors\":\"L. Holloway, B. Krogh\",\"doi\":\"10.1109/CDC.1989.70674\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A class of controlled discrete-event systems that can be modeled as cyclic controlled marked graphs (CMGs), a special case of control Petri nets, is considered. Liveness of the controlled system under the maximally permissive feedback control is examined. In the CMG context, closed-loop liveness implies that from any reachable marking (state), any transition can be enabled to fire. The concept of synchronic distances in Petri nets is used to prove sufficient conditions under which the maximally permissive control results in a live closed-loop system.<<ETX>>\",\"PeriodicalId\":156565,\"journal\":{\"name\":\"Proceedings of the 28th IEEE Conference on Decision and Control,\",\"volume\":\"117 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1989-12-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"39\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 28th IEEE Conference on Decision and Control,\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CDC.1989.70674\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of the 28th IEEE Conference on Decision and Control,","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CDC.1989.70674","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
On closed-loop liveness of discrete event systems under maximally permissive control
A class of controlled discrete-event systems that can be modeled as cyclic controlled marked graphs (CMGs), a special case of control Petri nets, is considered. Liveness of the controlled system under the maximally permissive feedback control is examined. In the CMG context, closed-loop liveness implies that from any reachable marking (state), any transition can be enabled to fire. The concept of synchronic distances in Petri nets is used to prove sufficient conditions under which the maximally permissive control results in a live closed-loop system.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
