Royal Holloway, University of London/Brunel University London(英国)
Royal Holloway, University of London/Brunel University London(英国)
复制标题
伦敦大学皇家霍洛威学院/伦敦布鲁内尔大学（英国）
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
登录
查看更多内容
影响因子：
3.5
作者：
Calinescu, Radu;Ceska, Milan;Paoletti, Nicola
通讯作者：
Paoletti, Nicola
使用前馈神经网络控制器满足 STL 规范的最坏情况：拉格朗日乘子方法
DOI：
10.1109/ita50056.2020.9244969
发表时间：
2019
期刊：
2020 Information Theory and Applications Workshop (ITA)
影响因子：
--
作者：
Shakiba Yaghoubi;Georgios Fainekos
通讯作者：
Georgios Fainekos
线性无漂移系统的定量弹性
DOI：
10.1137/1.9781611976847.5
发表时间：
2021
期刊：
Proceedings of the SIAM Conference on Control and Its Applications. SIAM Conference on Control and Its Applications
影响因子：
--
作者：
Jean;Kathleen Xu;Melkior Ornik
通讯作者：
Melkior Ornik
STL 规范的时间鲁棒控制
DOI：
10.1109/cdc45484.2021.9683477
发表时间：
2021
期刊：
2021 60th IEEE Conference on Decision and Control (CDC)
影响因子：
--
作者：
Alena Rodionova;Lars Lindemann;M. Morari;George Pappas
通讯作者：
George Pappas
ParetoLib：用于参数综合的 Python 库
DOI：
10.1007/978-3-030-29662-9_7
发表时间：
2019
期刊：
International Conference on Formal Modeling and Analysis of Timed Systems
影响因子：
--
作者：
Alexey Bakhirkin;Nicolas Basset;O. Maler;José
通讯作者：
José