知坤社
人员信息
优化列表
2020年–今天
2024 [公元31年] 梁全一 , 知坤社 , 王磊(Lei Wang) , 王庆国 :
某些边色网络的基于不变核的同步。 IEEE传输。 系统。 人类网络。 系统。 54 ( 8 ) : 4617-4629 ( 2024 ) [i2] Kun Yang(昆阳) , 白成钢 , 知坤社 , 全泉 :
基于图像的视觉伺服高速截获多机控制。 CoRR公司 abs/2404.08296 ( 2024 ) 2023 【j30】 王世杰 , 知坤社 , 梁全一 , 陆俊杰 , 吴文元 :
具有分段差分包含的离散非多项式系统的内估计吸引域。 国际期刊系统。 科学。 54 ( 2 ) : 423-442 ( 2023 ) 【c23】 贾庚 , 胡瑞琪(Ruiqi Hu) , 刘开荣 , 李志辉 , 知坤社 :
基于可达性的进化函数对目标集的一致可控性。 设置 2023 : 21-37 2022 [公元29年] 胡瑞琪(Ruiqi Hu) , 知坤社 :
OURS:解析时不变微分方程的过逼近和欠逼近可达集。 J.系统。 阿基特。 128 : 102580 ( 2022 ) [公元28年] 梁全一 , 王崇进(Chong-Jin Ong) , 知坤社 :
基于静态扩散输出反馈的二维异质线性代理网络的输出一致性。 系统。 控制。 莱特。 159 : 105084 ( 2022 ) [公元27年] 王世杰 , 知坤社 , 葛树志 :
具有多项式微分包含的非多项式系统的内在吸引域估计。 IEEE传输。 赛博。 52 ( 三 ) : 1628-1641 ( 2022 ) [公元26年] 张书远(Shuyuan Zhang) , 王磊(Lei Wang) , 梁全义 , 知坤社 , 王庆国 :
非线性耦合复杂网络同步的多项式Lyapunov函数。 IEEE传输。 赛博。 52 ( 三 ) : 1812-1821 ( 2022 ) [公元25年] 李美伦 , 安德烈亚·图里尼 , 恩斯特·莫里茨·哈恩 , 知坤社 , 张丽君 :
马尔可夫决策过程的概率偏好规划问题。 IEEE传输。 软件工程。 48 ( 5 ) : 1545-1559 ( 2022 ) [公元22年] 胡瑞琪(Ruiqi Hu) , 刘开荣 , 知坤社 :
具有不确定扰动的时变系统的到达无效验证。 记忆码 2022 : 1-12 2021 [公元24年] 刘开荣 , 李美伦 , 知坤社 :
一类随机混合系统的半定规划稳定性验证。 SIAM J.控制。 最佳方案。 59 ( 1 ) : 365-392 ( 2021 ) [公元23年] 白雪 , 王秋叶 , 詹乃军(Naijun Zhan) , 王世杰 , 知坤社 :
状态约束摄动多项式系统鲁棒吸引域的综合。 SIAM J.控制。 最佳方案。 59 ( 2 ) : 1083-1108 ( 2021 ) [公元22年] 知坤社 , 李美伦 :
演化函数级数表示的可达集的过逼近和欠逼近。 IEEE传输。 自动化。 控制。 66 ( 三 ) : 1414-1421 ( 2021 ) [公元21年] 陆俊杰 , 知坤社 , 刘伯丹 , 葛树志 :
非自治离散时间切换系统输入状态稳定性的半定规划分析与验证。 IEEE传输。 自动化。 控制。 66 ( 9 ) : 4452-4459 ( 2021 ) [j20] 王磊(Lei Wang) , 梁全一 , 知坤社 , 金湖路 , 王庆国 :
异构复杂网络同步的分解方法。 IEEE传输。 系统。 人类网络。 系统。 51 ( 2 ) : 853-863 ( 2021 ) [公元19年] 王世杰 , 知坤社 , 葛树志 :
不确定非线性系统最小吸引域的估计。 IEEE传输。 系统。 人类网络。 系统。 51 ( 12 ) : 7776-7787 ( 2021 ) 【c21】 胡瑞琪(Ruiqi Hu) , 李美伦 , 知坤社 :
$\mathbf{OURS}$:解析时变微分方程的过逼近和欠逼近可达集。 设置 2021 : 261-278 2020 [公元20年] 梁全一 , 王崇进(Chong-Jin Ong) , 知坤社 :
通过静态扩散控制器实现二维主体异质网络的输出一致性。 行政协调会 2020 : 3343-3348
2010 – 2019
2019 [公元18年] 田荣翁 , 王磊(Lei Wang) , 知坤社 , 梁全一 :
有向图上多智能体网络的闭凸集分布式优化。 J.弗兰克尔。 仪器。 356 ( 2 ) : 883-893 ( 2019 ) [公元17年] 陆俊杰 , 知坤社 , 冯伟杰 , 葛树志 :
基于分段连续标量函数的时变切换系统的稳定性。 IEEE传输。 自动化。 控制。 64 ( 6 ) : 2637-2644 ( 2019 ) [第19条] 刘开荣 , 李美伦 , 知坤社 :
随机动力系统的半定规划可达性估计。 疾病预防控制中心 2019 : 7727-7732 2018 [第18条] 李美伦 , 彼得·纳齐尔·莫萨德 , 马丁·弗伦泽 , 知坤社 , 白雪 :
自治动力系统可达集的安全过逼近和欠逼近。 格式 2018 : 252-270 [i1] 白雪 , 王秋叶 , 詹乃军(Naijun Zhan) , 王世杰 , 知坤社 :
状态约束摄动多项式系统鲁棒吸引域的综合。 CoRR公司 abs/1812.10588 ( 2018 ) 2017 [公元16年] 新疆 , 刘开荣 , 刚萌(Gang Meng) , 知坤社 :
振动梁特征值的连续性。 申请。 数学。 莱特。 67 : 60-66 ( 2017 ) [公元15年] 新疆 , 刚萌(Gang Meng) , 知坤社 :
具有Beddington-DeAngelis功能反应的非自治食物网中周期解的存在性。 申请。 数学。 莱特。 71 : 59-66 ( 2017 ) [公元14年] 程旭华 , 知坤社 :
等边三角形构型约束四体问题的混沌行为研究。 国际法学分会。 混乱 27 ( 2 ) : 1750026:1-1750026:12 ( 2017 ) [j13] 新疆 , 知坤社 , 冯兆生 , 郑秀良 :
具有比率依赖功能反应的捕食系统的分岔分析。 国际法学分会。 混乱 27 ( 14 ) : 1750222:1-1750222:21 ( 2017 ) [公元12年] 知坤社 , 陆俊杰 , 梁全一 , 葛树志 :
离散时间切换系统基于停留时间的稳定性准则。 国际期刊系统。 科学。 48 ( 14 ) : 3087-3097 ( 2017 ) [公元11年] 梁全一 , 知坤社 , 王磊(Lei Wang) , Michael Z.Q.陈 , 王庆国 :
异构网络到线性子空间同步的特征和标准。 SIAM J.控制。 最佳方案。 55 ( 6 ) : 4048-4071 ( 2017 ) [j10] 白雪 , 知坤社 , 阿尔文德·伊斯瓦兰 :
用半代数集对后向可达集进行欠逼近。 IEEE传输。 自动化。 控制。 62 ( 10 ) : 5185-5197 ( 2017 ) [公元9年] 梁全一 , 知坤社 , 王磊(Lei Wang) , 苏厚生 :
非线性多智能体系统一致性的广义Lyapunov函数。 IEEE传输。 电路系统。 II快速简报 第64页-第II页 ( 10 ) : 1232-1236 ( 2017 ) [第17条] 郑秀良 , 陆俊杰 , 知坤社 :
具有任意切换的离散时间切换系统吸引域的内部近似。 疾病预防控制中心 2017 : 6531-6536 2016 [j8] 李海音 , 刚萌(Gang Meng) , 知坤社 :
具有Beddington-DeAngelis功能反应的时滞密度相关捕食系统的稳定性和Hopf分支。 国际法学分会。 混乱 26 ( 10 ) : 1650165:1-1650165:17 ( 2016 ) [j7] 陆俊杰 , 知坤社 :
离散非线性切换系统具有一致局部指数稳定性的充要条件。 国际期刊系统。 科学。 47 ( 15 ) : 3561-3572 ( 2016 ) [第16条] 白雪 , 知坤社 , 阿尔文德·伊斯瓦兰 :
由多面体逼近后向可达集。 CAV(1) 2016 : 457-476 2015 [第15条] 李美伦 , 知坤社 , 安德里亚·图里尼 , 张丽君 :
马尔可夫决策过程的偏好规划。 AAAI公司 2015 : 3313-3319 [第14条] 知坤社 , 丹松 , 李美伦 :
使用经认证的多个类李亚普诺夫函数对混合系统进行安全验证。 中国科学院 2015 : 440-456 [第13条] 陆俊杰 , 知坤社 , 白雪 :
发现具有全局指数稳定性的切换混杂系统的多个Lyapunov函数。 疾病预防控制中心 2015 : 4252-4259 2014 [j6] 知坤社 , 白雪 :
切换混合系统的多Lyapunov函数发现。 SIAM J.控制。 最佳方案。 52 ( 5 ) : 3312-3340 ( 2014 ) 2013 [j5] 知坤社 , 李浩阳 , 白雪 , 郑志明 , 碧灿霞 :
发现连续动力系统的多项式Lyapunov函数。 J.塞姆。 计算。 58 : 41-63 ( 2013 ) 2012 【j4】 张丽君 , 知坤社 , 斯特凡·拉思坎(Stefan Ratschan) , 霍尔格·赫尔曼斯 , 恩斯特·莫里茨·哈恩 :
概率混合系统的安全验证。 欧洲药典控制 18 ( 6 ) : 572-587 ( 2012 ) [第12条] 知坤社 , 李浩阳 :
一类平面切换线性系统渐近稳定的可验证条件。 中国科学院 2012 : 334-348 [第11条] 知坤社 , 白雪 :
切换混杂系统渐近稳定性的代数分析。 高强度混凝土 2012 : 187-196 2011 [j3] 知坤社 , 碧灿霞 , 郑志明 :
求解多项式系统的基于条件数的复杂性估计。 J.计算。 申请。 数学。 235 ( 8 ) : 2670-2678 ( 2011 ) [第10条] 知坤社 , 白雪 :
通过求解双线性半定问题计算目标区域的吸引域。 中国科学院 2011 : 333-344 【c9】 知坤社 :
非线性鲁棒混合系统安全验证的终止分析。 ICINCO(1) 2011 : 251-261 【c8】 知坤社 , 白雪 , 郑志明 :
连续动力系统渐近稳定性的代数分析。 ISSAC公司 2011 : 313-320 2010 [注2] 斯特凡·拉思坎(Stefan Ratschan) , 知坤社 :
通过类李雅普诺夫函数的计算为多项式系统的目标区域提供吸引域。 SIAM J.控制。 最佳方案。 48 ( 7 ) : 4377-4394 ( 2010 ) 【c7】 张丽君 , 知坤社 , Stefan Ratschan公司 , 霍尔格·赫尔曼斯 , 恩斯特·莫里茨·哈恩 :
概率混合系统的安全验证。 CAV汽车 2010 : 196-211 【c6】 周洪波 , 强诚(Qiang Cheng) , 知坤社 :
基于重参数化的一致图结构线性程序。 囊 2010 : 974-978
2000 – 2009
2008 【c5】 Stefan Ratschan公司 , 知坤社 :
混合系统验证中的递归推理和反向推理。 ICINCO-SPSMC公司 2008 : 65-71 2007 [j1] Stefan Ratschan公司 , 知坤社 :
通过基于约束传播的抽象求精对混合系统进行安全验证。 ACM事务处理。 嵌入。 计算。 系统。 6 ( 1 ) : 8 ( 2007 ) 【c4】 费利克斯·克莱特克 , 斯特凡·拉思坎(Stefan Ratschan) , 知坤社 :
用于混合系统验证的基于语言的抽象精化。 VMCAI公司 2007 : 151-166 2006 【c3】 斯特凡·拉思坎(Stefan Ratschan) , 知坤社 :
混合系统验证中连续可达性的约束。 AISC公司 2006 : 196-210 【c2】 知坤社 , 碧灿霞 , 荣晓 :
计算Lyapunov函数的半代数方法。 计算智能 2006 : 7-12 2005 【c1】 斯特凡·拉思坎(Stefan Ratschan) , 知坤社 :
基于约束传播的抽象精化混合系统的安全验证。 高强度混凝土 2005 : 573-589