共 50 条
- [43] A Model-based Approach for Assessing the Security of Cyber-Physical Systems 19TH INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY, AND SECURITY, ARES 2024, 2024,
- [48] Truncated predictive control for delayed cyber-physical systems under deception attacks JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 2025, 362 (01):
- [49] Transformation-Based Approach to Security Verification for Cyber-Physical Systems IEEE SYSTEMS JOURNAL, 2019, 13 (04): : 3989 - 4000