共 50 条
- [31] Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy 2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 7994 - 7999
- [32] Data-Driven Controller Synthesis via Finite Abstractions With Formal Guarantees IEEE CONTROL SYSTEMS LETTERS, 2023, 7 : 3453 - 3458
- [34] DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2018), 2018, 11138 : 3 - 19
- [36] Data-Driven Seismic Waveform Inversion: A Study on the Robustness and Generalization IEEE TRANSACTIONS ON GEOSCIENCE AND REMOTE SENSING, 2020, 58 (10): : 6900 - 6913
- [39] Data-driven control of input saturated systems: a LMI-based approach IFAC PAPERSONLINE, 2024, 58 (15): : 205 - 210