共 50 条
- [2] A Hybrid Approach to Cyber-Physical Systems Verification 2012 49TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2012, : 688 - 696
- [5] DeepRT: predictable deep learning inference for cyber-physical systems Real-Time Systems, 2019, 55 : 106 - 135
- [6] Semantic Inference for Cyber-Physical Systems with Signal Temporal Logic 2019 IEEE 58TH CONFERENCE ON DECISION AND CONTROL (CDC), 2019, : 6269 - 6274
- [7] Triton: a Domain Specific Language for Cyber-Physical Systems 2021 22ND IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2021, : 810 - 816
- [10] Hybrid systems tools for compiling controllers for cyber-physical systems Discrete Event Dynamic Systems, 2012, 22 : 101 - 119