共 50 条
- [42] Safety-Critical Control of Compartmental Epidemiological Models With Measurement Delays IEEE CONTROL SYSTEMS LETTERS, 2021, 5 (05): : 1537 - 1542
- [43] A Compositional Verification Method for AADL Models of Safety-Critical Software Jisuanji Xuebao/Chinese Journal of Computers, 2020, 43 (11): : 2134 - 2151
- [44] HAZOP analysis of formal models of safety-critical interactive systems COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 371 - 381
- [45] Safety-Critical Control of Compartmental Epidemiological Models with Measurement Delays 2021 AMERICAN CONTROL CONFERENCE (ACC), 2021, : 1052 - 1057
- [47] CMTS: A Conditional Multiple Trajectory Synthesizer for Generating Safety-Critical Driving Scenarios 2020 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), 2020, : 4314 - 4321
- [48] Identification of Warning Signs in Car Driving Behavior Before Safety-Critical Events 2011 14TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2011, : 873 - 878
- [49] Identification of Warning Signs in Truck Driving Behavior Before Safety-Critical Events 2011 14TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2011, : 558 - 563
- [50] Augmenting Safety-Critical Driving Scenarios while Preserving Similarity to Expert Trajectories 2024 35TH IEEE INTELLIGENT VEHICLES SYMPOSIUM, IEEE IV 2024, 2024, : 2085 - 2090