Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
复制标题
使用多分辨率量化器的非线性系统的离散状态抽象
DOI：
--
复制
发表时间：
2009
期刊：
影响因子：
--
通讯作者：
J.Imura
中科院分区：
文献类型：
--
作者：
Y.Tazaki;J.Imura
登录
查看更多内容
根据 LTL 规范控制线性系统的全自动框架
DOI：
--
发表时间：
2006
期刊：
International Conference on Hybrid Systems: Computation and Control
影响因子：
--
作者：
Marius Kloetzer;C. Belta
通讯作者：
C. Belta
量化控制系统的近似仿真关系和有限抽象
DOI：
10.1007/978-3-540-71493-4_41
发表时间：
2007
期刊：
--
影响因子：
--
作者：
P. Tabuada
通讯作者：
P. Tabuada
DOI：
10.1109/cdc.1998.761977
发表时间：
1998
期刊：
Proceedings of the 37th IEEE Conference on Decision and Control (Cat. No.98CH36171)
影响因子：
--
作者：
M. Broucke
通讯作者：
M. Broucke
使用近似互模拟的非线性控制系统的符号模型
DOI：
10.1109/cdc.2007.4434911
发表时间：
2007
期刊：
2007 46th IEEE Conference on Decision and Control
影响因子：
--
作者：
G. Pola;A. Girard;P. Tabuada
通讯作者：
P. Tabuada
DOI：
--
发表时间：
2006
期刊：
--
影响因子：
--
作者：
Iroon Polytechniou-
通讯作者：
Iroon Polytechniou-