日期/日期

此软件的关键字
zbMATH参考文献(36篇文章引用)
Tsachouridis,Vassilios A.;Giantamidis,Georgios;Basagiannis,Stylianos;Kouramas,Kostas:Schulz矩阵反演算法的形式分析:通用矩阵流求解器的计算机辅助验证范式(2020) Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017) Sankaranarayanan,Sriram:非线性混合系统的基础抽象变化(2016) Prabhakar,Pavithra;Duggirala,Parasara Sridhar;Mitra,Sayan;Viswanathan,Mahesh:基于混合自动机的矩形混合系统CEGAR(2015) Liberzon,Daniel:切换和混合线性系统的有限数据速率反馈镇定(2014) Beneregetti,Massimo;Faella,Marco;Minopoli,Stefano:线性混合系统开关控制器的自动综合:安全控制(2013) Prabhakar,Pavithra;Duggirala,Parasara Sridhar;Mitra,Sayan;Viswanathan,Mahesh:基于混合自动机的矩形混合系统CEGAR(2013) Damm,Werner;Dierks,Henning;Disch,Stefan;Hagemann,Willem;Pigorsch,Florian;Scholl,Christoph;Waldmann,Uwe;Wirtz,Boris:具有大离散状态空间的线性混合自动机的精确和完全符号验证(2012) Althoff,Matthias;Le Guernic,Colas;Krogh,Bruce H.:不确定时变线性系统的可达集计算(2011) 卜磊;赵建华;李宣东:一类非线性混合自动机的凸规划路径可达性验证(2010) Campagna,Dario;Piazza,Carla:混合自动机、可达性和系统生物学(2010) 2009年《Bahttad与Bahttac混合系统的验证》(the verification of the hybrid systems of the Lawrence,Bahtextc;2009年) Bartocci,E.;Corradini,F.;Di Berardini,M.R.;Entcheva,E.;Smolka,S.A.;Grosu,R.:使用混合I/O自动机对心脏组织进行建模和仿真(2009年) Campagna,Dario;Piazza,Carla:系统生物学中的混合自动机:我们能走多远? (2009年) 卡萨格兰德,阿尔伯托;皮亚扎,卡拉;波利克里蒂,阿尔伯托:混合自动机的离散语义。 避免系统生物学中的误导性假设(2009) Plaku,Erion;Kavraki,Lydia E.;Vardi,Moshe Y.:混合系统:通过结合运动规划和离散搜索从验证到证伪(2009) Bartocci,Ezio;Corradini,Flavio;Di Berardini,Maria Rita;Entcheva,Emilia;Grosu,Radu;Smolka,Scott A.:用于模拟可兴奋组织的混合I/O自动机的空间网络(2008) Bhatia,Amit;Frazzoli,Emilio:线性系统安全证伪的基于采样的解析完整算法(2008) Hamadeh,Abdullah;Goncalves,Jorge:连续时间分段仿射系统的可达性分析(2008) Sankaranarayanan,Sriram;Dang,Thao;Ivančić,Franjo:使用模板多面体对混合系统进行符号模型检查(2008)