Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes
Backward Reachability Analysis of Neural Feedback Systems Using Hybrid Zonotopes
复制标题
使用混合区域位的神经反馈系统的后向可达性分析
作者：
Zhang, Y.;Zhang, H.;Xu, X.
登录
查看更多内容
使用受限区域的 Minkowski 差的高效后向可达性
DOI：
--
发表时间：
2022
期刊：
IEEE transactions on computeraided design of integrated circuits and systems
影响因子：
--
作者：
Yang, Liren;Zhang, Hang;Jeannin, Jean-Baptiste;Ozay, Necmiye
通讯作者：
Ozay, Necmiye
通过混合区域的神经反馈系统的可达性分析和安全验证
DOI：
10.23919/acc55779.2023.10156417
发表时间：
2022
期刊：
2023 American Control Conference (ACC)
影响因子：
--
作者：
Yuhao Zhang;Xiangru Xu
通讯作者：
Xiangru Xu
DOI：
10.1109/cdc51059.2022.9992655
发表时间：
2022-04
期刊：
2022 IEEE 61st Conference on Decision and Control (CDC)
影响因子：
--
作者：
Yuhao Zhang;Xiangru Xu
通讯作者：
Yuhao Zhang;Xiangru Xu
影响因子：
6.8
作者：
Fazlyab, Mahyar;Morari, Manfred;Pappas, George J.
通讯作者：
Pappas, George J.
DOI：
10.1109/cdc40024.2019.9029610
发表时间：
2019
期刊：
2019 IEEE 58th Conference on Decision and Control (CDC
影响因子：
--
作者：
Anevlavis, Tzanis;Tabuada, Paulo
通讯作者：
Tabuada, Paulo