F. Basile, G. Tommasi, Carlo Motta, A. Petrillo, S. Santini
{"title":"用整数线性规划评估活有界可逆离散事件系统的初始状态不透明性","authors":"F. Basile, G. Tommasi, Carlo Motta, A. Petrillo, S. Santini","doi":"10.1109/MED54222.2022.9837143","DOIUrl":null,"url":null,"abstract":"Opacity is a property of discrete event systems (DES) that is related to the possibility of hiding a secret from external observers (the intruders). When the secret is the initial state of the system, the related opacity problem is referred to as Initial State Opacity (ISO). A sufficient condition to check ISO by solving Integer Linear Programming problems is given in this paper. Such a condition exploits the algebraic representation of Petri nets and a structural one of its behavior in terms of minimal support T-invariants. The effectiveness of the proposed approach is shown by means of examples.","PeriodicalId":354557,"journal":{"name":"2022 30th Mediterranean Conference on Control and Automation (MED)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming\",\"authors\":\"F. Basile, G. Tommasi, Carlo Motta, A. Petrillo, S. Santini\",\"doi\":\"10.1109/MED54222.2022.9837143\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Opacity is a property of discrete event systems (DES) that is related to the possibility of hiding a secret from external observers (the intruders). When the secret is the initial state of the system, the related opacity problem is referred to as Initial State Opacity (ISO). A sufficient condition to check ISO by solving Integer Linear Programming problems is given in this paper. Such a condition exploits the algebraic representation of Petri nets and a structural one of its behavior in terms of minimal support T-invariants. The effectiveness of the proposed approach is shown by means of examples.\",\"PeriodicalId\":354557,\"journal\":{\"name\":\"2022 30th Mediterranean Conference on Control and Automation (MED)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-06-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2022 30th Mediterranean Conference on Control and Automation (MED)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MED54222.2022.9837143\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2022 30th Mediterranean Conference on Control and Automation (MED)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MED54222.2022.9837143","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
不透明性是离散事件系统(DES)的一个属性，它与向外部观察者(入侵者)隐藏秘密的可能性有关。当秘密是系统的初始状态时，相关的不透明度问题称为初始状态不透明度(initial state opacity, ISO)。本文给出了求解整数线性规划问题检验ISO的一个充分条件。这样的条件利用了Petri网的代数表示及其在最小支持t不变量方面的结构行为。通过算例验证了该方法的有效性。
Assessment of Initial-State-Opacity in Live Bounded and Reversible Discrete Event Systems via Integer Linear Programming
Opacity is a property of discrete event systems (DES) that is related to the possibility of hiding a secret from external observers (the intruders). When the secret is the initial state of the system, the related opacity problem is referred to as Initial State Opacity (ISO). A sufficient condition to check ISO by solving Integer Linear Programming problems is given in this paper. Such a condition exploits the algebraic representation of Petri nets and a structural one of its behavior in terms of minimal support T-invariants. The effectiveness of the proposed approach is shown by means of examples.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
