Author:
Xue Bai,Zhan Naijun,Franzle Martin
Funder
Deutsche Forschungsgemeinschaft
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Stability Verification for Heterogeneous Complex Networks via Iterative SOS Programming;IEEE Control Systems Letters;2023
2. Outer-approximating Controlled Reach-avoid Sets for Polynomial Systems;2022 IEEE 61st Conference on Decision and Control (CDC);2022-12-06
3. k-Inductive Barrier Certificates for Stochastic Systems;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04
4. Reach-Avoid Analysis for Delay Differential Equations;2021 60th IEEE Conference on Decision and Control (CDC);2021-12-14