科西玛

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