基准

此软件的关键字
zbMATH中的参考文献(参考
24篇文章
24篇, 1标准件 )
杨正峰;吴敏;林,王:不确定非线性混合系统障碍证书生成的有效框架(2020) Doyen,Laurent;Frehse,Goran;Pappas,George J.;Platzer,André:混合动力系统验证(2018) 张辉;吴金钊:MPSoC数据动态的形式化验证与量化度量(2018) 戴丽云;甘、婷;夏、碧灿;詹乃军:重新审查障碍证书(2017年) Bernardeschi,Cinzia;Domenici,Andrea:通过与原型验证系统的交互定理证明验证非线性控制的安全特性(2016) Navarro-López,Eva M.;Carter,Rebekah:混合动力系统中的死亡与如何反驳活性(2016) Dzetkulič,Tomš:切比雪夫基非线性常微分方程的严格积分(2015) Lin,Wang;Wu,Min;Yang,Zhengfeng;Zeng,Zhenbing:使用平方和表示混合动力系统的精确安全性验证(2014) Hahn,Ernst Moritz;Hartmanns,Arnd;Hermanns,Holger;Katoen,Joost Pieter:随机混杂系统的组合建模与分析框架(2013) Hiraishi,Kunihiko;Kobayashi,Koich:实态空间上过渡系统盒抽象的近似算法(2013) 佘志坤;李浩阳;薛,白;郑志明;夏碧康:发现连续动力系统的多项式李雅普诺夫函数(2013) Zhang,Lijun;She,Zhikun;Ratschan,Stefan;Hermanns,Holger;Hahn,Ernst Moritz:概率混合系统的安全验证(2012) Ramdani,Nacim;Nedialkov,Nedialko S.:使用区间约束传播技术计算不确定非线性混合系统的可达集(2011) Geuvers,Herman;Koprowski,Adam;Synek,Dan;van der Weegen,Eelis:自动机器检查混合动力系统安全证明(2010) Ratschan,Stefan;She,Zhikun:通过计算类Lyapunov函数为多项式系统的目标区域提供吸引域(2010) Akbarpour,Behzad;Paulson,Lawrence C.:\texttmetitarski在控制和混合动力系统验证中的应用(2009) Plaku,Erion;Kavraki,Lydia E.;Vardi,Moshe Y.:混合系统:通过结合运动规划和离散搜索从验证到证伪(2009) Sankaranarayanan,Sriram;Dang,Thao;Ivančić,Franjo:使用模板多面体对混合系统进行符号模型检查(2008) 佘志坤;郑志明:线性混合系统验证的可及性约束(2008) Ratschan,Stefan;She,Zhikun:基于约束传播的抽象精化对混合系统的安全性验证。 (2007年) ioport公司