知坤社
人员信息
优化列表
2020年–今天
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 ) [公元20年] 王磊(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 ) [公元10年] 白雪 , 知坤社 , 阿尔文德·伊斯瓦兰 以下为:
用半代数集对后向可达集进行欠逼近。 IEEE传输。 自动。 控制。 62 ( 10 ) 以下为: 5185-5197 ( 2017 ) [公元9年] 梁全一 , 知坤社 , 王磊(Lei Wang) , 苏厚生 以下为:
非线性多智能体系统一致性的广义Lyapunov函数。 IEEE传输。 电路系统。 II快速简报 64-二 ( 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 ) [c12] 知坤社 , 李浩阳 以下为:
一类平面切换线性系统渐近稳定性的可验证条件。 中国科学院 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] 知坤社 , 碧灿霞 , 荣晓 以下为:
李亚普诺夫函数计算的半代数方法。 计算智能 2006 以下为: 7-12 2005 【c1】 Stefan Ratschan公司 , 知坤社 以下为:
基于约束传播的抽象精化对混合系统的安全性验证。 高速列车控制中心 2005 以下为: 573-589