几何学 搜索术语几何学在里面任何字段.查询是与案件无关.
 搜索澳大利亚雷神和ti公司tle公司. Theand运算符&默认可以省略.
切比雪夫 这个or运算符|允许搜索切比雪夫或切比雪夫.
"准地图", 结果文件有p出版是的耳朵 1989.
so:欧元*J*材料*Soc*cc:14 搜索特定出版物所以乌尔奇用一个数学学科C分类c颂歌(复写的副本)在里面14.
 这个d文件t类型设置为书本;或者:j对于期刊文章一对于书籍文章.
洛杉矶:中国人 在给定的洛杉矶语言.ISO 639-1标准也可以使用语言代码.
混合行为模型和离散系统相结合.由于数字控制器和物理环境之间的交互作用,它们经常出现在各个领域的安全关键应用中,如医疗,运输和机器人.它们也适用于其他领域,如系统生物学,其中离散动力学作为快速连续过程的抽象而出现.其中一个突出的模式是混成自动机,其中微分方程与每个节点关联,跳跃约束(如保护和重置)与每个边关联.
68Q60型 规范和验证(程序逻辑,模型检查等)
[4] 4.Althoff,M.:使用保守多项式和非凸集对非线性系统的可达性分析.第16届混合动力系统国际会议论文集:计算与控制,第173-182页.ACM,纽约(2013)·Zbl 1362.93011
[30] 30.Berz,M.,Makino,K.:在高阶泰勒模型上使用微分代数方法验证ODE和流的集成.雷亚布.计算机.第4卷第361-369页(1998年)·Zbl 0976.65061
[131号] 131.Nerode,A.,Yakhnis,A.:将混合系统建模为游戏.第31届IEEE决策与控制会议论文集,第3卷,第2947-2952页(1992)
[139号] 139.Platzer,A.:随机混合程序的随机微分动态逻辑.斯托尔曼斯托尔曼斯托尔曼斯托尔曼诺夫.LNCS,第6803卷,第431-445页.斯普林格,海德堡(2011)·Zbl 1341.68030
[157] 157.Ratschan,S.:非线性混合系统的安全验证是准半可判定的.2010年:第七届计算模型理论与应用年会.LNCS,第6108卷,第397-408页.斯普林格,海德堡(2010)·Zbl 1284.68415
[173] 173.Tiwary,H.R.:关于计算多面体的交,并和Minkowski和的困难.离散计算.Geom公司.第40卷第3期,第469-479页(2008年)·Zbl 1155.52008
此参考列表基于出版商或数字数学图书馆提供的信息.它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误.它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性.