共 50 条
- [1] A Runtime Verification Framework for Control System Simulation 2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 75 - 84
- [2] Formal Verification of Control Strategies for a Cyber Physical System 2017 IEEE 37TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS (ICDCSW), 2017, : 91 - 96
- [3] Simulation Verification Platform for Complex Facility Control System 2020 CHINESE AUTOMATION CONGRESS (CAC 2020), 2020, : 359 - 363
- [5] Control system of the physical simulation for the HVDC transmission system ICMIT 2007: MECHATRONICS, MEMS, AND SMART MATERIALS, PTS 1 AND 2, 2008, 6794
- [6] Formal Verification of the Universal Physical Access Control System (UPACS) 2015 RESILIENCE WEEK (RSW), 2015, : 43 - 48
- [7] Rock physical and Digital Simulation with Verification PROCEEDINGS OF THE 2016 7TH INTERNATIONAL CONFERENCE ON MECHATRONICS, CONTROL AND MATERIALS (ICMCM 2016), 2016, 104 : 181 - 184
- [9] Securing Industrial Control Systems with a Simulation-based Verification System SIGSIM-PADS'14: PROCEEDINGS OF THE 2014 ACM CONFERENCE ON SIGSIM PRINCIPLES OF ADVANCED DISCRETE SIMULATION, 2014, : 165 - 166
- [10] Development and verification of Design and Simulation System for Digital Reactor Fluid Instruction Control System 2018 INTERNATIONAL CONFERENCE ON POWER SYSTEM TECHNOLOGY (POWERCON), 2018, : 4751 - 4755