Context-Dependent Reachability Analysis for Hybrid Systems
Context-Dependent Reachability Analysis for Hybrid Systems
复制标题
混合系统的上下文相关可达性分析
DOI：
10.1109/iri.2018.00082
复制
发表时间：
2018
期刊：
影响因子：
--
通讯作者：
Erika Ábrahám
中科院分区：
文献类型：
--
作者：
Stefan Schupp;Justin Winkens;Erika Ábrahám
登录
查看更多内容
使用严格函数微积分计算混合系统的演化
DOI：
10.3182/20120606-3-nl-3011.00063
发表时间：
2012
期刊：
Acta endocrinologica
影响因子：
--
作者：
P. Collins;D. Bresolin;Luca Geretti;T. Villa
通讯作者：
T. Villa
分散工作：混合系统的多线程安全分析
DOI：
10.1007/978-3-319-92970-5_6
发表时间：
2018
期刊：
影响因子：
--
作者：
Stefan Schupp;Erika Ábrahám
通讯作者：
Erika Ábrahám
DOI：
10.1007/978-3-319-57288-8_20
发表时间：
2017-05
期刊：
--
影响因子：
--
作者：
Stefan Schupp;E. Ábrahám;Ibtissem Ben Makhlouf;S. Kowalewski
通讯作者：
Stefan Schupp;E. Ábrahám;Ibtissem Ben Makhlouf;S. Kowalewski
使用 SoapBox 和 Stabhyli 验证 PI 控制器
DOI：
10.29007/h9hb
发表时间：
2017
期刊：
2016 IEEE Real-Time Systems Symposium (RTSS)
影响因子：
--
作者：
Eike Möhlmann;Willem Hagemann;Astrid Rakow
通讯作者：
Astrid Rakow
ZEUS：基于 KRONOS 的分布式定时模型检查器
DOI：
10.1016/s1571-0661(05)80389-5
发表时间：
2002
期刊：
Acta endocrinologica
影响因子：
--
作者：
V. Braberman;A. Olivero;F. Schapachnik
通讯作者：
F. Schapachnik