共 50 条
- [1] Interval Observers for Secure Estimation in Cyber-Physical Systems 2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 4559 - 4564
- [2] Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (232): : 37 - 51
- [5] Design and Verification Methodology for Secure and Distributed Cyber-Physical Systems 2019 10TH IFIP INTERNATIONAL CONFERENCE ON NEW TECHNOLOGIES, MOBILITY AND SECURITY (NTMS), 2019,
- [6] Design of Stealthy Attacks Against Interval Estimation for Cyber-Physical Systems IEEE TRANSACTIONS ON NETWORK SCIENCE AND ENGINEERING, 2024, 11 (02): : 2215 - 2222
- [7] A methodology for the design and deployment of distributed cyber-physical systems for smart environments FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 109 : 420 - 430
- [8] Runtime Verification for Distributed Cyber-Physical Systems 2021 40TH INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS 2021), 2021, : 349 - 350
- [9] SECURE DISTRIBUTED ESTIMATION IN CYBER-PHYSICAL SYSTEMS 2013 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2013, : 5209 - 5213
- [10] Predicate monitoring in distributed cyber-physical systems International Journal on Software Tools for Technology Transfer, 2023, 25 : 541 - 556