共 50 条
- [22] Safety Barrier Certificates for Stochastic Hybrid Systems 2022 AMERICAN CONTROL CONFERENCE, ACC, 2022, : 880 - 885
- [23] Conservative Safety Monitors of Stochastic Dynamical Systems NASA FORMAL METHODS, NFM 2023, 2023, 13903 : 140 - 156
- [24] COMPARISON OF SOME APPROACHES FOR ANALYSIS OF STOCHASTIC-SYSTEMS WITH SHORT CORRELATION TIME NOISE PHYSICA A, 1992, 184 (3-4): : 493 - 498
- [27] Safety-Probability Analysis and Control for Stochastic Systems Based on Lyapunov Candidate Functions 2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 4818 - 4823
- [28] Safety Analysis of Linear Discrete-time Stochastic Systems: Work-in-Progress PROCEEDINGS OF THE 2020 INTERNATIONAL CONFERENCE ON EMBEDDED SOFTWARE (EMSOFT), 2020, : 34 - 36
- [29] Extraction and systems analysis of factors that prevent safety and security by structural models SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5, 2002, : 1752 - 1759
- [30] Grey interrelated analysis to factors affecting production and safety systems of mine PROGRESS IN SAFETY SCIENCE AND TECHNOLOGY, VOL 4, PTS A and B, 2004, 4 : 979 - 983