自由选择Petri网中可观测性传感器的最优选择

Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206) Pub Date : 2001-09-05 DOI:10.1109/ISIC.2001.971520

L. Aguirre-Salas, O. Begovich, A. Ramírez-Treviño

{"title":"自由选择Petri网中可观测性传感器的最优选择","authors":"L. Aguirre-Salas, O. Begovich, A. Ramírez-Treviño","doi":"10.1109/ISIC.2001.971520","DOIUrl":null,"url":null,"abstract":"This paper studies the optimal sensor choice for observability problem in discrete event systems (DES) modeled by interpreted free-choice Petri nets (IFCN). Taking advantage of the fact that, event-detectability is a necessary and sufficient condition for observability in live, cyclic and bounded IFCN, a structural characterization of event-detectability and a simple polynomial algorithm to choose a minimal cost sensor configuration for observability in this claw of nets are provided. This algorithm is successfully applied to an illustrative example.","PeriodicalId":367430,"journal":{"name":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","volume":"91 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-09-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"8","resultStr":"{\"title\":\"Optimal sensor choice for observability in free-choice Petri nets\",\"authors\":\"L. Aguirre-Salas, O. Begovich, A. Ramírez-Treviño\",\"doi\":\"10.1109/ISIC.2001.971520\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper studies the optimal sensor choice for observability problem in discrete event systems (DES) modeled by interpreted free-choice Petri nets (IFCN). Taking advantage of the fact that, event-detectability is a necessary and sufficient condition for observability in live, cyclic and bounded IFCN, a structural characterization of event-detectability and a simple polynomial algorithm to choose a minimal cost sensor configuration for observability in this claw of nets are provided. This algorithm is successfully applied to an illustrative example.\",\"PeriodicalId\":367430,\"journal\":{\"name\":\"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)\",\"volume\":\"91 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-09-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"8\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISIC.2001.971520\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISIC.2001.971520","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 8

摘要

研究了用解释自由选择Petri网(IFCN)建模的离散事件系统(DES)的可观测性问题的最优传感器选择问题。利用事件可探测性是实时、循环和有界IFCN中可观测性的充分必要条件，给出了事件可探测性的结构表征，并给出了一种简单的多项式算法来选择该网爪中可观测性的最小代价传感器配置。该算法已成功应用于一个实例。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Optimal sensor choice for observability in free-choice Petri nets

This paper studies the optimal sensor choice for observability problem in discrete event systems (DES) modeled by interpreted free-choice Petri nets (IFCN). Taking advantage of the fact that, event-detectability is a necessary and sufficient condition for observability in live, cyclic and bounded IFCN, a structural characterization of event-detectability and a simple polynomial algorithm to choose a minimal cost sensor configuration for observability in this claw of nets are provided. This algorithm is successfully applied to an illustrative example.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206)

自引率

0.00%

发文量