共 50 条
- [23] Control Protocols Design for Cyber-Physical Systems 2015 IEEE ADVANCED INFORMATION TECHNOLOGY, ELECTRONIC AND AUTOMATION CONTROL CONFERENCE (IAEAC), 2015, : 668 - 671
- [26] Optimization and Control of Cyber-Physical Vehicle Systems SENSORS, 2015, 15 (09) : 23020 - 23049
- [27] Interactive Verification of Cyber-physical Systems: Interfacing Averest and KeYmaera 2013 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2013, : 1405 - 1412
- [29] The analysis of traffic control cyber-physical systems INTELLIGENT AND INTEGRATED SUSTAINABLE MULTIMODAL TRANSPORTATION SYSTEMS PROCEEDINGS FROM THE 13TH COTA INTERNATIONAL CONFERENCE OF TRANSPORTATION PROFESSIONALS (CICTP2013), 2013, 96 : 2487 - 2496