安德鲁·索戈孔
人员信息
优化列表
2020年–今天
2023 [i4] 安德鲁·索戈孔 , 伯克·尤克塞克 , 戈坎·伊纳汉(Gökhan Inalhan) , 内拉杰·苏里 以下为:
指定自治系统行为。 CoRR公司 abs/2302.10087 ( 2023 ) 2022 [j6] 哈利勒·古尔巴尔 , 安德鲁·索戈孔 以下为:
刻画正不变集:归纳和拓扑方法。 J.赛姆布。 计算。 113 以下为: 1-28 ( 2022 ) 2021 [j5] 安德鲁·索戈孔 , 斯特凡·米奇 , Yong Kiam Tan(陈勇健) , 凯瑟琳·科德威尔 , 安德烈·普拉泽 以下为:
飞马座:声音连续不变生成。 形式方法系统。 设计。 58 ( 1-2 ) 以下为: 5-41 ( 2021 ) 2020 [i3] 安德鲁·索戈孔 , 斯特凡·米奇 , Yong Kiam Tan先生 , 凯瑟琳·科德威尔 , 安德烈·普拉泽 以下为:
飞马座:声音持续不变的一代。 CoRR公司 abs/2005.09348 ( 2020 ) [i2] 哈利尔·戈巴尔 , 安德鲁·索戈孔 以下为:
刻画正不变集:归纳和拓扑方法。 CoRR公司 abs/2009.09797 ( 2020 )
2010 – 2019
2019 [j4] 安德鲁·索戈孔 , 保罗·杰克逊 , 泰勒·T·约翰逊 以下为:
使用流管道和连续不变量验证混合系统中的安全性和持久性。 J.汽车。 原因。 63 ( 4 ) 以下为: 1005-1029 ( 2019 ) [j3] 罗斯·博勒 , Yong Kiam Tan先生 , 斯特凡·米奇 , 安德鲁·索戈孔 , 安德烈·普拉泽 以下为:
地面机器人航路点跟踪的正式安全网。 IEEE机器人自动化。 莱特。 4 ( 三 ) 以下为: 2910-2917 ( 2019 ) [第13条] 斯特凡·米奇 , 安德鲁·索戈孔 , Yong Kiam Tan先生 , 金祥宇 , 伯华詹 , 王淑玲(Shuling Wang) , 詹乃军(Naijun Zhan) 以下为:
ARCH-COMP19类别报告:混合系统定理证明。 建筑@CPSIoTWeek 2019 以下为: 141-161 [第12条] 安德鲁·索戈孔 , 斯特凡·米奇 , Yong Kiam Tan先生 , 凯瑟琳·科德威尔 , 安德烈·普拉泽 以下为:
飞马座:声音连续不变生成的框架。 FM公司 2019 以下为: 138-157 [i1] 罗斯·博勒 , Yong Kiam Tan先生 , 斯特凡·米奇 , 安德鲁·索戈孔 , 安德烈·普拉泽 以下为:
地面机器人航路点跟踪的正式安全网。 CoRR公司 abs/1903.05073 ( 2019 ) 2018 [第11条] 斯特凡·米奇 , 安德鲁·索戈孔 , Yong Kiam Tan先生 , 安德烈·普拉泽 , 赵恒军 , 金祥宇 , 王淑玲(Shuling Wang) , 詹乃军(Naijun Zhan) 以下为:
ARCH-COMP18类别报告:混合系统定理证明。 ADHS建筑 2018 以下为: 110-127 [第10条] 安德鲁·索戈孔 , 哈利尔·戈巴尔 , Yong Kiam Tan先生 , 安德烈·普拉泽 以下为:
病媒屏障证书和比较系统。 FM公司 2018 以下为: 418-437 2017 [注2] 哈利尔·戈巴尔 , 安德鲁·索戈孔 , 安德烈·普拉泽 以下为:
用于检查代数集和半代数集的正不变性的证明规则层次。 计算。 语言系统。 结构。 47 以下为: 19-43 ( 2017 ) [j1] 安德鲁·索戈孔 , 哈利尔·戈巴尔 , 泰勒·T·约翰逊 以下为:
分段平滑系统的操作模型。 ACM变速器。 嵌入。 计算。 系统。 16 ( 5秒 ) 以下为: 185:1-185:19 ( 2017 ) 【c9】 安德鲁·索戈孔 , 保罗·杰克逊 , 泰勒·T·约翰逊 以下为:
使用流管道和连续不变量验证混合系统的安全性和持久性。 非金融市场 2017 以下为: 194-211 2016 【b1】 安德鲁·索戈孔 以下为:
连续动力系统时间特性的直接演绎验证方法。 英国爱丁堡大学, 2016 【c8】 Parasara Sridhar Duggirala公司 , 楚楚凡 , 马修·波托克 , 布伦齐 , 萨扬密特拉 , 马赫什·维斯瓦纳坦 , 斯坦利·巴克 , 塞尔吉·博戈莫洛夫 , 泰勒·T·约翰逊 , 越南阮 , 克里斯蒂安·席林 , 安德鲁·索戈孔 , Hoang-Dung Tran公司 , 魏明祥 以下为:
教程:用于混合系统验证、转换和合成的软件工具:C2E2、HyST和TuLiP。 CCA公司 2016 以下为: 1024-1029 【c7】 安德鲁·索戈孔 , 哈利尔·戈巴尔 , 泰勒·T·约翰逊 以下为:
用于安全验证的非线性连续系统。 建筑@CPSWeek 2016 以下为: 42-51 【c6】 安德鲁·索戈孔 , 哈利尔·戈巴尔 , 泰勒·T·约翰逊 以下为:
非线性常微分方程的解耦抽象。 FM公司 2016 以下为: 628-644 【c5】 安德鲁·索戈孔 , 哈利勒·古尔巴尔 , 保罗·杰克逊 , 安德烈·普拉泽 以下为:
多项式连续系统的不变量生成方法。 VMCAI公司 2016 以下为: 268-288 2015 【c4】 安德鲁·索戈孔 , 保罗·杰克逊 以下为:
连续和混合动力系统活性性质的直接形式验证。 FM公司 2015 以下为: 514-531 【c3】 哈利尔·戈巴尔 , 安德鲁·索戈孔 , 安德烈·普拉泽 以下为:
检查代数集微分不变性的证明规则层次。 VMCAI公司 2015 以下为: 431-448 2014 [c2] 保罗·杰克逊 , 安德鲁·索戈孔 , 詹姆斯·布里奇 , 劳伦斯·C·保尔森 以下为:
验证包含超越功能的混合系统。 NASA形式方法 2014 以下为: 188-202 【c1】 哈利尔·戈巴尔 , 安德鲁·索戈孔 , 安德烈·普拉泽 以下为:
代数微分方程多项式等式的共轭不变性。 SAS公司 2014 以下为: 151-167