共 50 条
- [1] Generalized attacker and attack models for Cyber Physical Systems PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS, VOL 1, 2016, : 283 - 292
- [3] Creation of Physical Models for Cyber-Physical Systems CYBER-PHYSICAL SYSTEMS AND CONTROL, 2020, 95 : 55 - 63
- [4] Semigroup Models of Cyber-physical Systems 2017 ELEVENTH INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND INFORMATION TECHNOLOGIES (CSIT), 2017, : 12 - 15
- [5] Identification of the Attacker in Cyber-Physical Systems with an Application to Vehicular Platooning in Adversarial Environment 2018 ANNUAL AMERICAN CONTROL CONFERENCE (ACC), 2018, : 5560 - 5567
- [6] Robustness Analysis of Cyber-Physical systems based on Discrete Timed Cyber-Physical Models 2021 IEEE WORLD AI IOT CONGRESS (AIIOT), 2021, : 250 - 254
- [7] Multicore Models of Communication for Cyber-Physical Systems CYBER PHYSICAL SYSTEMS: MODEL-BASED DESIGN, CYPHY 2019, 2020, 11971 : 28 - 43
- [8] Towards Robust Models of Cyber-Physical Systems UBICOMP/ISWC '21 ADJUNCT: PROCEEDINGS OF THE 2021 ACM INTERNATIONAL JOINT CONFERENCE ON PERVASIVE AND UBIQUITOUS COMPUTING AND PROCEEDINGS OF THE 2021 ACM INTERNATIONAL SYMPOSIUM ON WEARABLE COMPUTERS, 2021, : 104 - 107
- [9] Practical Causal Models for Cyber-Physical Systems NASA FORMAL METHODS (NFM 2019), 2019, 11460 : 211 - 227
- [10] Uncertainty in Coupled Models of Cyber-Physical Systems ACM/IEEE 25TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2022 COMPANION, 2022, : 569 - 578