科拉

此软件的关键字
zbMATH中的参考文献(参考文献 15条 )
拉古兰,维涅什; Koeln,Justin P.:约束zonotopes的集合操作和订单缩减(2022) 弗迪埃,塞斯·费迪南德; 科奇杜珀,尼格拉斯; 阿尔托夫,马提亚斯; Mazo,Manuel:STL规范下非线性连续时间系统的闭式采样数据控制器的形式化综合(2022) 阿尔托夫,马提亚斯; Rath,Jagat Jyoti:线性时不变系统保证状态估计量的比较(2021) 卡塔鲁扎,达里奥; 亚伯特,亚历山德罗; 施拉梅尔,彼得; Kroneing,Daniel:通过抽象加速度输入的带保护LTI模型的无界时间安全验证(2021) 库尔堡,阿德里安; Althoff,Matthias:关于zonotope包含问题的co-NP完备性(2021) Serry,Mohamed:可达集和管近似下的收敛性:分段常数法(2021) 申凯; 罗伯逊,迪拉德L。; Scott,Joseph K.:使用均值微分不等式的约束非线性系统的紧可达界(2021) Hoang Dung Tran,Xiaodong Yang,Diego Manzanas Lopez,Patrick Musau,Luan Vietuan Nguyen,Weiming Xiang,Stanley Bak,Taylor T Johnson:NNV:用于深层神经网络和学习的网络物理系统的神经网络验证工具(2020) 阿尔十四 舒曼,巴斯蒂安; 维格纳利,里卡多; 普兰迪尼,玛丽亚; Althoff,Matthias:具有状态和驱动约束的扰动分段仿射系统的集基控制(2020) 维莱加斯皮科,雨果内斯特; Aliprantis,Dionysios C.:具有恒定、任意和Lipschitz连续输入的线性动态系统的可达性分析(2018) 杨雪娇; Scott,Joseph K.:zonotope降阶技术比较(2018) 巴克,斯坦利; 博戈莫洛夫,塞尔吉; Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017) 巴克,斯坦利; Duggirala,Parasara Sridhar:基于严格仿真的线性混合系统分析(2017) 舒曼,巴斯蒂安; Althoff,Matthias:扰动和约束非线性系统的形式保证凸插值控制(2017) 罗姆,亨德里克; Oehlerking,詹斯; 悲哀,马提亚; Althoff,Matthias:混合自动机的Reachset一致性测试(2016)