Memory efficient symbolic solution of quantitative reach-avoid problems
Memory efficient symbolic solution of quantitative reach-avoid problems
复制标题
定量到达避免问题的记忆有效符号解决方案
DOI：
10.23919/acc.2019.8814850
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
G. Reissig
中科院分区：
文献类型：
--
作者：
E. Macoveiciuc;G. Reissig
登录
查看更多内容
DOI：
10.1137/130945983
发表时间：
2013-11
期刊：
SIAM J. Control. Optim.
影响因子：
--
作者：
Alexander Weber;G. Reissig
通讯作者：
Alexander Weber;G. Reissig
关于线性时不变微分代数方程的不一致初始条件
DOI：
10.1109/iscas.2002.1010272
发表时间：
2002
期刊：
2002 IEEE International Symposium on Circuits and Systems. Proceedings (Cat. No.02CH37353)
影响因子：
--
作者：
G. Reissig;H. Boche;P. I. Barton
通讯作者：
P. I. Barton
影响因子：
1.3
作者：
Alexander Weber;G. Reissig
通讯作者：
G. Reissig
随机控制系统有限状态抽象的组合构造
DOI：
10.1109/cdc.2017.8263720
发表时间：
2017
期刊：
2017 IEEE 56th Annual Conference on Decision and Control (CDC)
影响因子：
--
作者：
Kaushik Mallik;S. Soudjani;Anne;R. Majumdar
通讯作者：
R. Majumdar
影响因子：
3
作者：
Omar Hussien;A. Ames;P. Tabuada
通讯作者：
P. Tabuada