Subject
Control and Systems Engineering,Software
Reference84 articles.
1. Structural accessibility and structural observability of nonlinear networked systems;Angulo;IEEE Transactions on Network Science and Engineering,2019
2. Principles of model checking;Baier,2008
3. Comparing the notions of opacity for discrete-event systems;Balun;Discrete Event Dynamic Systems,2021
4. Balun, J., & Masopust, T. (2022a). On transformations among opacity notions. In 2022 IEEE international conference on systems, man, and cybernetics (pp. 3012–3017a).
5. Balun, J., & Masopust, T. (2022b). On verification of weak and strong K-step opacity for discrete-svent systems. In 2022 16th international workshop on discrete event systems.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Diagnosability of labeled Dp-automata;Theoretical Computer Science;2024-11
2. Verifying Opacity of Discrete-Timed Automata;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
3. State-based opacity of labeled real-time automata;Theoretical Computer Science;2024-03