共 50 条
- [42] Framework for Model-Based Design and Verification of Human-in-the-Loop Cyber-Physical Systems 10TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS - ICSTW 2017, 2017, : 401 - 402
- [43] Learning-based Falsification for Model Families of Cyber-Physical Systems 2019 IEEE 24TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC 2019), 2019, : 236 - 245
- [44] Cyber Security Based on Artificial Intelligence for Cyber-Physical Systems IEEE NETWORK, 2020, 34 (03): : 6 - 7
- [45] Cyber-Physical Systems Based Business Models PROCEEDINGS OF 2022 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS (AQTR 2022), 2022, : 281 - 286
- [46] Design and Evaluation of Jamming Resilient Cyber-Physical Systems IEEE 2018 INTERNATIONAL CONGRESS ON CYBERMATICS / 2018 IEEE CONFERENCES ON INTERNET OF THINGS, GREEN COMPUTING AND COMMUNICATIONS, CYBER, PHYSICAL AND SOCIAL COMPUTING, SMART DATA, BLOCKCHAIN, COMPUTER AND INFORMATION TECHNOLOGY, 2018, : 687 - 694
- [47] Pessoa 2.0: A Controller Synthesis Tool for Cyber-Physical Systems HSCC 11: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2011, : 315 - 316
- [48] Optimal sensor design for secure cyber-physical systems IFAC PAPERSONLINE, 2019, 52 (20): : 387 - 390
- [49] Certifiable and Efficient Autonomous Cyber-Physical Systems Design PROCEEDINGS OF THE 37TH INTERNATIONAL CONFERENCE ON VLSI DESIGN, VLSID 2024 AND 23RD INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS, ES 2024, 2024, : 259 - 263
- [50] A Conceptual Framework for Modeling and Design of Cyber-Physical Systems STUDIES IN INFORMATICS AND CONTROL, 2017, 26 (03): : 325 - 334