高超声速

此软件的关键字
zbMATH中的参考文献(引用于, 1标准件 )
Bacci,Giovanni;Bouyer,Patricia;Fahrenberg,Uli;Larsen,Kim G.;Markey,Nicolas;Reynier,Pierre Alain:使用不确定性能量时间自动机的最优鲁棒控制器综合(2021) 安娜·贝奇(Becchi);扎法内拉(Zaffanella),Enea:PPLite:NNC多面体零开销编码(2020) 法伦伯格,乌利;莱盖,阿克塞尔;夸斯,卡林:用定量游戏计算分支距离(2020年) Suenaga,Kohei;Ishizawa,Takuya:混合动力系统的广义属性导向可达性(2020) Yang,Jung Min;Moor,Thomas;Raisch,Jörg:混合动力系统监督控制的行为抽象细化(2020) Jovanović,Aleksandra;Lime,Didier;Roux,Olivier H.:实时系统参数控制的博弈方法(2019) Júlvez,Jorge;Oliver,Stephen G.:通过防护柔性网络对混合系统进行建模、分析和控制(2019年) 塞萨尔桑切斯;施耐德,杰拉多;阿伦特,沃尔夫冈;巴托奇,埃齐奥;比安库利,多梅尼科;科伦坡,克里斯蒂安;法尔科内,伊莱;弗朗卡兰扎,阿德里安;克尔斯蒂奇,斯里安;卢伦索,若昂;尼科维奇,德扬;佩斯,戈登J;鲁菲诺,何塞;西诺尔,朱利安;特劳特尔,德米特里;韦斯, Alexander:来自高级应用领域(超越软件)的运行时验证挑战调查(2019) Doyen,Laurent;Frehse,Goran;Pappas,George J.;Platzer,André:混合动力系统验证(2018) Majumdar,Rupak;Raskin,Jean François:非布尔域中的符号模型检查(2018) Nasti,Lucia;Milazzo,Paolo:社交网络成瘾的混合自动机模型(2018) 张辉;吴金钊:MPSoC数据动态的形式化验证与量化度量(2018) Bak,Stanley;Bogomolov,Sergiy;Althoff,Matthias:混合自动机可达性分析的时间触发保护转换(2017) Bak,Stanley;Duggirala,Parasara Sridhar:基于严格仿真的线性混合系统分析(2017) Bogomolov,Sergiy;Frehse,Goran;Giacobbe,Mirco;Henzinger,Thomas A.:反例引导的模板多面体细化(2017) Dreossi,Tommaso:Sapo:多项式动力系统的可达性计算和参数综合(2017) Dreossi,Tommaso;Dang,Thao;Piazza,Carla:多项式动力系统的可达性计算(2017) Letichevsky,A.A.;Letychevskyi,O.O.;Skobelev,V.G.;Volkov,V.A.:网络物理系统(2017) Baştuí,Mert;Petreczky,Mihály;Wisniewski,Rafael;Leth,John:具有约束交换的线性交换系统的可达性和可观测性缩减(2016) Colvin,Robert J.:使用混合过程代数建模和分析神经网络(2016)