期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
线性系统同时镇定中广义香槟问题的解
1
作者
关强
王龙
+3 位作者
夏壁灿
杨路
郁文生
曾振柄
《中国科学(E辑)》
CSCD
北大核心
2007年第6期770-780,共11页
利用复分析理论,结合Blondel的方法,对线性系统同时镇定中著名的广义香槟问题给出理论上的解答,完整地回答了Patel等人文中的未解决问题,自然包含原香槟问题的解,结合杨路等人新近发展的不等式型定理机器证明理论,给出控制器的设计方法...
利用复分析理论,结合Blondel的方法,对线性系统同时镇定中著名的广义香槟问题给出理论上的解答,完整地回答了Patel等人文中的未解决问题,自然包含原香槟问题的解,结合杨路等人新近发展的不等式型定理机器证明理论,给出控制器的设计方法,得到的数值例子明显改进了已有文献中的结果.
展开更多
关键词
线性系统
镇定
同时镇定
香槟问题
广义
香槟问题
复分析
不等式型定理
机器证明
原文传递
线性系统的同时镇定问题
被引量:
9
2
作者
关强
何冠男
+1 位作者
王龙
郁文生
《控制理论与应用》
EI
CAS
CSCD
北大核心
2011年第1期1-12,共12页
线性系统的同时镇定问题,是系统与控制理论中的基本问题,有着广泛的理论意义和应用价值.本文介绍了线性系统同时镇定问题的研究现状和最新进展.首先回顾了同时镇定问题的研究内容、基本方法及相关结果.其次,从理论求解和控制器设计的角...
线性系统的同时镇定问题,是系统与控制理论中的基本问题,有着广泛的理论意义和应用价值.本文介绍了线性系统同时镇定问题的研究现状和最新进展.首先回顾了同时镇定问题的研究内容、基本方法及相关结果.其次,从理论求解和控制器设计的角度对线性系统同时镇定研究中著名的"香槟问题","比利时巧克力问题"和"威士忌问题"进行了分析探讨,并基于不等式型定理机器证明理论,给出了线性系统同时镇定问题的相关工作.最后指出了对于同时镇定多个线性系统方面的若干研究方向.
展开更多
关键词
线性系统
同时镇定
香槟问题
比利时巧克力
问题
威士忌
问题
复分析
不等式型定理
机器证明
半代数系统
下载PDF
职称材料
题名
线性系统同时镇定中广义香槟问题的解
1
作者
关强
王龙
夏壁灿
杨路
郁文生
曾振柄
机构
中国科学院自动化研究所
北京大学工学院
北京大学数学科学学院
华东师范大学软件学院
清华大学智能技术与系统国家重点实验室
出处
《中国科学(E辑)》
CSCD
北大核心
2007年第6期770-780,共11页
基金
国家自然科学基金重点项目(批准号:60572056
60528007
+7 种基金
60334020
60204006
10471044和10372002)
国家重点基础研究发展规划(批准号:2005CB321902
2004CB318003
2002CB312200)
中国科学院海外杰出学者基金
清华大学智能技术与系统国家重点实验室开放课题资助项目
文摘
利用复分析理论,结合Blondel的方法,对线性系统同时镇定中著名的广义香槟问题给出理论上的解答,完整地回答了Patel等人文中的未解决问题,自然包含原香槟问题的解,结合杨路等人新近发展的不等式型定理机器证明理论,给出控制器的设计方法,得到的数值例子明显改进了已有文献中的结果.
关键词
线性系统
镇定
同时镇定
香槟问题
广义
香槟问题
复分析
不等式型定理
机器证明
分类号
O231.1 [理学—运筹学与控制论]
原文传递
题名
线性系统的同时镇定问题
被引量:
9
2
作者
关强
何冠男
王龙
郁文生
机构
中国科学院自动化研究所综合信息系统研究中心
北京化工大学信息科学与技术学院
北京大学工学院机器感知与智能教育部重点实验室
华东师范大学上海高可信计算重点实验室
出处
《控制理论与应用》
EI
CAS
CSCD
北大核心
2011年第1期1-12,共12页
基金
国家自然科学基金资助项目(61070048
60874010)
+2 种基金
国家自然科学基金委员会创新研究群体科学基金资助项目(61021004)
国家重点基础研究发展规划资助项目(2011CB302802)
上海市教育委员会科研创新资助项目(11ZZ37)
文摘
线性系统的同时镇定问题,是系统与控制理论中的基本问题,有着广泛的理论意义和应用价值.本文介绍了线性系统同时镇定问题的研究现状和最新进展.首先回顾了同时镇定问题的研究内容、基本方法及相关结果.其次,从理论求解和控制器设计的角度对线性系统同时镇定研究中著名的"香槟问题","比利时巧克力问题"和"威士忌问题"进行了分析探讨,并基于不等式型定理机器证明理论,给出了线性系统同时镇定问题的相关工作.最后指出了对于同时镇定多个线性系统方面的若干研究方向.
关键词
线性系统
同时镇定
香槟问题
比利时巧克力
问题
威士忌
问题
复分析
不等式型定理
机器证明
半代数系统
Keywords
linear systems
simultaneous stabilization
champagne problem
Belgian chocolate problem
Whiskeyproblem
complex analysis
inequality-type theorem
automated theorem proving
semi-algebraic systems
分类号
TP13 [自动化与计算机技术—控制理论与控制工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
线性系统同时镇定中广义香槟问题的解
关强
王龙
夏壁灿
杨路
郁文生
曾振柄
《中国科学(E辑)》
CSCD
北大核心
2007
0
原文传递
2
线性系统的同时镇定问题
关强
何冠男
王龙
郁文生
《控制理论与应用》
EI
CAS
CSCD
北大核心
2011
9
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部