共 50 条
- [1] Enforcing Safety at Runtime for Systems with Disturbances 2020 59TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2020, : 2038 - 2043
- [2] Selection of Parallel Runtime Systems for Tasking Models PROCEEDINGS 2017 INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND COMPUTATIONAL INTELLIGENCE (CSCI), 2017, : 1091 - 1096
- [3] A Runtime Safety Monitoring Approach for Adaptable Autonomous Systems COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2019, 2019, 11699 : 166 - 177
- [4] Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2021, 8 (02): : 621 - 632
- [5] Runtime adaptation in safety-critical automotive systems PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2007, : 308 - +
- [6] Runtime Assurance for Safety-Critical Systems: An Introduction to Safety Filtering Approaches for Complex Control Systems IEEE CONTROL SYSTEMS MAGAZINE, 2023, 43 (02): : 28 - 65
- [8] Runtime Reconstruction of Simulation Models for Dynamic Structure Systems ASIASIM 2012, PT III, 2012, 325 : 27 - +
- [9] Runtime Verification of Operating Systems Based on Abstract Models Programming and Computer Software, 2023, 49 : 559 - 565
- [10] Engineering Optimization Models at Runtime for Dynamically Adaptive Systems 2010 15TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2010), 2010, : 253 - 254