基准

此软件的关键字
zbMATH中的参考文献(参考文献 25条 , 1标准件 )
赵恒军; 曾、夏; 陈韬略; 刘志明; 伍德考克,吉姆:学习安全神经网络控制器与障碍证书(2021年) 杨正峰; 吴敏; 林,王:不确定非线性混合系统障碍证书生成的有效框架(2020) 多恩,劳伦特; 弗雷希,戈兰; 帕帕斯,乔治J。; Platzer,André:混合动力系统验证(2018) 张辉; 吴金钊:MPSoC数据动态的形式化验证与量化度量(2018) 戴丽云; 甘、婷; 夏碧灿; 詹乃俊:重审障碍证书(2017年) 贝尔纳德斯基,辛齐亚; Domenici,Andrea:通过与原型验证系统的交互定理证明验证非线性控制的安全特性(2016) 纳瓦罗-洛佩斯,伊娃·M。; Carter,Rebekah:混合动力系统中的死亡与如何反驳活性(2016) Dzetkulič,Tomš:切比雪夫基非线性常微分方程的严格积分(2015) 林,王; 吴敏; 杨正峰; 曾振兵:用平方和表示混合动力系统的精确安全性验证(2014) 哈恩,恩斯特莫里茨; 哈特曼,阿恩德; 赫尔曼,霍尔格; Katoen,Joost Pieter:随机混杂系统的组合建模与分析框架(2013) 平井静子; Kobayashi,Koich:实态空间上过渡系统盒抽象的近似算法(2013) 她,志坤; 李浩阳; 薛、白; 郑志明; 夏比康:发现连续动力系统的多项式Lyapunov函数(2013) 张丽君; 她,志坤; 拉斯坎,斯特凡; 赫尔曼,霍尔格; Hahn,Ernst Moritz:概率混合系统的安全验证(2012) 拉姆达尼,纳西姆; Nedialkov,Nedialko S.:使用区间约束传播技术计算不确定非线性混合系统的可达集(2011) 格韦尔斯,赫尔曼; 科普罗夫斯基,亚当; 西内克,丹; van der Weegen,Eelis:自动机器检查混合动力系统安全证明(2010) 拉斯坎,斯特凡; 佘志坤:通过Lyapunov类函数的计算为多项式系统的目标区域提供吸引域(2010) 阿克巴普尔,贝沙德; Paulson,Lawrence C.:\texttmetitarski在控制和混合动力系统验证中的应用(2009) 广场,埃利昂; 卡夫拉基,莉迪亚·E。; Vardi,Moshe Y.:混合系统:通过结合运动规划和离散搜索从验证到证伪(2009) 斯里拉姆Sankaranarayanan; 当,曹; Ivančić,Franjo:使用模板多面体对混合系统进行符号模型检查(2008) 她,志坤; 郑志明:线性混合系统验证的可及性约束(2008)