Optimized State Space Grids for Abstractions
Optimized State Space Grids for Abstractions
复制标题
用于抽象的优化状态空间网格
DOI：
10.1109/tac.2016.2642794
复制
发表时间：
2017
影响因子：
6.8
通讯作者：
G. Reissig
中科院分区：
文献类型：
--
作者：
A. Weber;M. Rungger;G. Reissig
登录
查看更多内容
在具有双随机模式的矩阵上
影响因子：
1.3
作者：
David London
通讯作者：
David London
影响因子：
6.8
作者：
Reissig, Gunther;Weber, Alexander;Rungger, Matthias
通讯作者：
Rungger, Matthias
线性系统和安全线性时间时序逻辑的规范引导控制器综合
影响因子：
6.8
作者：
M. Rungger;M. Mazo;P. Tabuada
通讯作者：
P. Tabuada
非线性系统的计算抽象
影响因子：
6.8
作者：
Gunther Reissig
通讯作者：
Gunther Reissig
关于非负矩阵的注意事项
DOI：
10.1090/s0002-9939-1970-0257114-x
发表时间：
1970
影响因子：
1.3
作者：
D. Djoković
通讯作者：
D. Djoković