不确定性观测下离散事件系统的无限步和k步不透明度验证

{"title":"不确定性观测下离散事件系统的无限步和k步不透明度验证","authors":"Qian Chu, Jiahui Zhang, Xiaoguang Han, Zhiwu Li, Zengqiang Chen","doi":"10.1007/s11424-023-2114-z","DOIUrl":null,"url":null,"abstract":"","PeriodicalId":50026,"journal":{"name":"Journal of Systems Science & Complexity","volume":"166 1","pages":"0"},"PeriodicalIF":2.6000,"publicationDate":"2023-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations\",\"authors\":\"Qian Chu, Jiahui Zhang, Xiaoguang Han, Zhiwu Li, Zengqiang Chen\",\"doi\":\"10.1007/s11424-023-2114-z\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"\",\"PeriodicalId\":50026,\"journal\":{\"name\":\"Journal of Systems Science & Complexity\",\"volume\":\"166 1\",\"pages\":\"0\"},\"PeriodicalIF\":2.6000,\"publicationDate\":\"2023-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Systems Science & Complexity\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s11424-023-2114-z\",\"RegionNum\":3,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q1\",\"JCRName\":\"MATHEMATICS, INTERDISCIPLINARY APPLICATIONS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Systems Science & Complexity","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s11424-023-2114-z","RegionNum":3,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, INTERDISCIPLINARY APPLICATIONS","Score":null,"Total":0}