共 50 条
- [1] Creation of Physical Models for Cyber-Physical Systems [J]. CYBER-PHYSICAL SYSTEMS AND CONTROL, 2020, 95 : 55 - 63
- [2] Semigroup Models of Cyber-physical Systems [J]. 2017 ELEVENTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2017, : 12 - 15
- [3] Robustness Analysis of Cyber-Physical systems based on Discrete Timed Cyber-Physical Models [J]. 2021 IEEE WORLD AI IOT CONGRESS (AIIOT), 2021, : 250 - 254
- [4] Modeling and Verification of Cyber-Physical Systems under uncertainty [J]. 2017 13TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD), 2017,
- [5] Toward Modeling and Verification of Uncertainty in Cyber-Physical Systems [J]. 2020 IEEE INTERNATIONAL CONFERENCE ON ELECTRO INFORMATION TECHNOLOGY (EIT), 2020, : 568 - 576
- [6] Towards a Unifying Framework for Uncertainty in Cyber-Physical Systems [J]. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14165 LNCS : 237 - 253
- [7] Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model [J]. MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2016, 2016, 9764 : 247 - 264
- [9] Uncertainty Modeling and Quantitative Evaluation of Cyber-physical Systems [J]. 2021 IEEE 45TH ANNUAL COMPUTERS, SOFTWARE, AND APPLICATIONS CONFERENCE (COMPSAC 2021), 2021, : 874 - 883
- [10] Uncertainty-Wise Testing of Cyber-Physical Systems [J]. ADVANCES IN COMPUTERS, VOL 107, 2017, 107 : 23 - 94