Formal Abstraction of General Stochastic Systems via Noise Partitioning
Formal Abstraction of General Stochastic Systems via Noise Partitioning
复制标题
通过噪声划分对一般随机系统进行形式化抽象
DOI：
10.1109/lcsys.2023.3340621
复制
发表时间：
2023
影响因子：
3
通讯作者：
Lahijanian, Morteza
中科院分区：
文献类型：
--
作者：
Skovbekk, John;Laurenti, Luca;Frew, Eric;Lahijanian, Morteza
登录
查看更多内容
非线性系统的基于网格的多面划分的分段仿射抽象
影响因子：
3
作者：
Zeyuan Jin;Qiang Shen;Sze Zheng Yong
通讯作者：
Sze Zheng Yong
影响因子：
3
作者：
Jesse Jiang;Ye Zhao;S. Coogan
通讯作者：
Jesse Jiang;Ye Zhao;S. Coogan
JuliaReach：基于集合的可达性工具箱
DOI：
--
发表时间：
2019
期刊：
International Conference on Hybrid Systems: Computation and Control
影响因子：
--
作者：
Sergiy Bogomolov;M. Forets;Goran Frehse;Kostiantyn Potomkin;Christian Schilling
通讯作者：
Christian Schilling
基于学习的符号抽象
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
通讯作者：
--
产品空间的概率测度
DOI：
--
发表时间：
2020
期刊：
Probability Theory
影响因子：
--
作者：
A. Klenke
通讯作者：
A. Klenke