zbMATH中的参考文献（参考 9篇文章 参考）

1. Boskos，Dimitris；Dimarogonas，Dimos V.：耦合动力学多智能体控制系统的有限时域离散模型（2020）
2. Hsu，Kyle；Majumdar，Rupak；Mallik，Kaushik；Schmuck，Anne Kathrin:基于惰性抽象的控制器合成（2019）
3. Khaled，马哈茂德；Zamani，Majid:\textspffaces:符号控制的加速生态系统（2019）
4. 李一南；刘军：一个非线性动力系统的鲁棒完全控制综合工具（2018）
5. Kim，Eric S.；Arcak，Murat；Seshia，Sanjit A.：具有指导规范的单调系统的符号控制设计（2017）
6. Liu，Jun；Ozay，Necmiye:基于时间逻辑的控制综合的具有鲁棒性裕度的有限抽象（2016）
7. Runger，Matthias；Zamani，Majid:SCOTS:符号控制器合成工具（2016）
8. Le Coënt，Adrien；De Vuyst，Florian；Rey，Christian；Chamoin，Ludovic；Fribourg，Laurent：使用模型降阶和状态空间平分的切换控制系统的保证控制（2015）
9. Zamani，Majid；Abate，Alessandro；Girard，Antoine:随机切换系统的符号模型：离散化和无离散化方法（2015）