An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields
An Approximation Algorithm for Box Abstraction of Transition Systems on Real Vector Fields
复制标题
实向量场上转捩系统的盒抽象近似算法
DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
K. Hiraishi and K. Kobayashi
中科院分区：
文献类型：
--
作者：
福光正幸;長谷川真吾;磯辺秀司;小泉英介;静谷啓樹;Kazuyuki Amano;市原佐保子,劉芳,山田芳司,室原豊明,伊東健,山本雅之,市原学;K. Hiraishi and K. Kobayashi
DOI：
--
发表时间：
1996
期刊：
--
影响因子：
--
作者：
T. Henzinger;Pei-Hsin Ho
通讯作者：
T. Henzinger;Pei-Hsin Ho
DOI：
10.1016/j.arcontrol.2009.03.002
发表时间：
2009
期刊：
Annu. Rev. Control.
影响因子：
--
作者：
H. Guéguen;Marie-Anne Lefebvre;J. Zaytoon;Othman Nasri
通讯作者：
H. Guéguen;Marie-Anne Lefebvre;J. Zaytoon;Othman Nasri
用于在混合系统上实施算法的快速原型设计工具
DOI：
--
发表时间：
2006
期刊：
JIAST Research Report IS-RR-2006-012
影响因子：
--
作者：
Kunihiko;Hiraishi;KCLP-HS
通讯作者：
KCLP-HS