共 50 条
- [41] A distributed logic for Networked Cyber-Physical Systems [J]. SCIENCE OF COMPUTER PROGRAMMING, 2013, 78 (12) : 2453 - 2467
- [42] Distributed Manipulation Using Cyber-Physical Systems [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2014, : 3097 - 3102
- [43] Predicate Monitoring in Distributed Cyber-Physical Systems [J]. RUNTIME VERIFICATION (RV 2021), 2021, 12974 : 3 - 22
- [47] Threshold-Event State-Estimation for Cyber-Physical Systems [J]. WMSCI 2010: 14TH WORLD MULTI-CONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL II, 2010, : 62 - 67