共 50 条
- [21] Semantic Inference for Cyber-Physical Systems with Signal Temporal Logic 2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 6269 - 6274
- [22] Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems PROCEEDINGS OF THE 2023 ACM/IEEE 14TH INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS, WITH CPS-IOTWEEK 2023, 2023, : 154 - 165
- [23] ETL: A New Temporal Language for the Verification of Cyber-Physical Systems 12TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON2018), 2018, : 412 - 419
- [24] Spatio-Temporal Properties Analysis for Cyber-Physical Systems 2013 18TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2013, : 101 - 110
- [25] Cyber-Physical Zero Trust Architecture for Industrial Cyber-Physical Systems IEEE Transactions on Industrial Cyber-Physical Systems, 2023, 1 : 394 - 405
- [26] Engineering with cyber-physical systems - From mechatronic to cyber-physical engineering ATP MAGAZINE, 2018, (11-12): : 68 - 78
- [27] Cyber-Physical Systems Attestation 2014 IEEE INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING IN SENSOR SYSTEMS (IEEE DCOSS 2014), 2014, : 354 - 357
- [28] Cyber-physical systems for SmartGrid IECON Proceedings (Industrial Electronics Conference), 2010, : 13 - 14
- [29] EDA for Cyber-Physical Systems 2017 7TH INTERNATIONAL SYMPOSIUM ON EMBEDDED COMPUTING AND SYSTEM DESIGN (ISED), 2017,
- [30] Cyber-Physical Systems for SmartGrid IECON 2010: 36TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2010,