共 50 条
- [31] Compositional Modeling and Control for Safety-Critical Manufacturing Systems 2012 2ND INTERNATIONAL ELECTRIC DRIVES PRODUCTION CONFERENCE (EDPC), 2012,
- [33] Designing a B Model for safety-critical software systems B'98: RECENT ADVANCES IN THE DEVELOPMENT AND USE OF THE B METHOD, 1998, 1393 : 210 - 225
- [35] Model Proposal for Performance Testing of Safety-Critical Systems PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION AND SYSTEMS ENGINEERING (CASE-13), 2013, 45 : 42 - 45
- [36] Timing Model for Predictive Simulation of Safety-critical Systems PROCEEDINGS OF THE 17TH INTERNATIONAL CONFERENCE ON SOFTWARE TECHNOLOGIES (ICSOFT), 2022, : 331 - 339
- [37] Almost Sure Safety Analysis and Safety-Critical Control of Stochastic Systems 2024 14TH ASIAN CONTROL CONFERENCE, ASCC 2024, 2024, : 1068 - 1073
- [38] The Safety Filter: A Unified View of Safety-Critical Control in Autonomous Systems ANNUAL REVIEW OF CONTROL ROBOTICS AND AUTONOMOUS SYSTEMS, 2024, 7 : 47 - 72
- [40] Dependability of safety-critical systems 2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566