共 50 条
- [21] Modular Verification of Opacity for Interconnected Control Systems via Barrier Certificates IEEE CONTROL SYSTEMS LETTERS, 2022, 6 : 890 - 895
- [23] Synthesizing Barrier Certificates Using Neural Networks PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC2020) (PART OF CPS-IOT WEEK), 2020,
- [24] Compositional Safety Analysis using Barrier Certificates HSCC 12: PROCEEDINGS OF THE 15TH ACM INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2012, : 15 - 23
- [26] Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates IFAC PAPERSONLINE, 2021, 54 (05): : 7 - 12
- [27] Verification of Diagnosability for Cyber-Physical Systems via Hybrid Barrier Certificates IFAC PAPERSONLINE, 2024, 58 (11): : 81 - 86
- [30] Safety Verification of Dynamical Systems via k-Inductive Barrier Certificates 2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 1314 - 1320