Author:
Balun Jiří,Masopust Tomáš
Funder
Ministerstvo Školství, Mládeže a Tělovýchovy
Palacky University Olomouc
Subject
Electrical and Electronic Engineering,Control and Systems Engineering
Reference23 articles.
1. Concurrent secrets;Badouel;Discrete Event Dynamic Systems,2007
2. Comparing the notions of opacity for discrete-event systems;Balun;Discrete Event Dynamic Systems,2021
3. On transformations among opacity notions;Balun,2022
4. On verification of weak and strong k-step opacity for discrete-event systems;Balun;IFAC PapersOnLine,2022
5. Supervisory control of timed discrete-event systems;Brandin;IEEE Transactions on Automatic Control,1994
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献