F. Basile, G. Tommasi, Carlo Motta, A. Petrillo, S. Santini
{"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}
引用次数: 0
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.
不透明性是离散事件系统(DES)的一个属性，它与向外部观察者(入侵者)隐藏秘密的可能性有关。当秘密是系统的初始状态时，相关的不透明度问题称为初始状态不透明度(initial state opacity, ISO)。本文给出了求解整数线性规划问题检验ISO的一个充分条件。这样的条件利用了Petri网的代数表示及其在最小支持t不变量方面的结构行为。通过算例验证了该方法的有效性。
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
