共 50 条
- [2] A k-step String Compression Approach for Discrete Event Systems 2022 IEEE 17TH INTERNATIONAL CONFERENCE ON CONTROL & AUTOMATION, ICCA, 2022, : 1021 - 1027
- [3] Verification of Strong K-Step Opacity for Discrete-Event Systems 2022 IEEE 61ST CONFERENCE ON DECISION AND CONTROL (CDC), 2022, : 4250 - 4255
- [5] On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems IFAC PAPERSONLINE, 2022, 55 (28): : 108 - 113
- [7] Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations Journal of Systems Science and Complexity, 2023, 36 : 1830 - 1850
- [9] On Network Observability of Discrete Event Systems 2015 54TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2015, : 3528 - 3533