共 50 条
- [2] Guess and Then Check: Controller Synthesis for Safe and Secure Cyber-Physical Systems [J]. FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2024, 2024, 14678 : 230 - 238
- [3] Invited Talk: A Roadmap for Engineering Safe and Secure Cyber-Physical Systems [J]. NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 113 - 114
- [4] Modeling Architectures of Cyber-Physical Systems [J]. MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2017, 2017, 10376 : 34 - 50
- [5] Designing Safe and Secure Embedded and Cyber-Physical Systems with SysML-Sec [J]. MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT (MODELSWARD 2015), 2015, 580 : 293 - 308
- [6] View Consistency in Architectures for Cyber-Physical Systems [J]. 2011 ACM/IEEE SECOND INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SYSTEMS (ICCPS 2011), 2011, : 151 - 160
- [7] Cyber-physical systems alter automation architectures [J]. ANNUAL REVIEWS IN CONTROL, 2014, 38 (01) : 123 - 133
- [9] Deployment Architectures for Cyber-Physical Control Systems [J]. 2020 AMERICAN CONTROL CONFERENCE (ACC), 2020, : 5287 - 5294
- [10] SECURE DISTRIBUTED ESTIMATION IN CYBER-PHYSICAL SYSTEMS [J]. 2013 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), 2013, : 5209 - 5213