State space grids for low complexity abstractions
State space grids for low complexity abstractions
复制标题
用于低复杂度抽象的状态空间网格
DOI：
10.1109/cdc.2015.7403185
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
G. Reissig
中科院分区：
文献类型：
--
作者：
M. Rungger;A. Weber;G. Reissig
登录
查看更多内容
在具有双随机模式的矩阵上
影响因子：
1.3
作者：
David London
通讯作者：
David London
影响因子：
6.8
作者：
Reissig, Gunther;Weber, Alexander;Rungger, Matthias
通讯作者：
Rungger, Matthias
双足机器人正式控制器综合的第一步
DOI：
10.1145/2728606.2728611
发表时间：
2015
期刊：
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control
影响因子：
--
作者：
A. Ames;P. Tabuada;Austin M. Jones;Wen;M. Rungger;B. Schürmann;Shishir N Y Kolathaya;J. Grizzle
通讯作者：
J. Grizzle
线性系统和安全线性时间时序逻辑的规范引导控制器综合
影响因子：
6.8
作者：
M. Rungger;M. Mazo;P. Tabuada
通讯作者：
P. Tabuada
离散时间线性系统的语言引导控制器综合
DOI：
10.1145/2185632.2185649
发表时间：
2012
期刊：
Proceedings of the 17th international conference on Hybrid systems: computation and control
影响因子：
--
作者：
Ebru Aydin Gol;M. Lazar;C. Belta
通讯作者：
C. Belta