安德鲁·索戈孔
人员信息
优化列表
2020年–今天
2024 [第14条] 奥维尼·V·W·古纳塞克拉 , 安德鲁·索戈孔 , 安东尼奥斯·古利迪斯 , 内拉杰·苏里 :
TLAPM中的实数运算。 非金融市场 2024 : 136-143 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 [j2] 哈利尔·戈巴尔 , 安德鲁·索戈孔 , 安德烈·普拉泽 :
用于检查代数集和半代数集的正不变性的证明规则层次。 计算。 语言系统。 结构。 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】 哈利尔·戈巴尔 , 安德鲁·索戈孔 , 安德烈·普拉泽 :
检查代数集微分不变性的证明规则层次。 虚拟计算机辅助教学 2015 : 431-448 2014 【c2】 保罗·杰克逊 , 安德鲁·索戈孔 , 詹姆斯·布里奇 , 劳伦斯·保尔森 :
验证包含超越功能的混合系统。 NASA形式方法 2014 : 188-202 【c1】 哈利尔·戈巴尔 , 安德鲁·索戈孔 , 安德烈·普拉泽 :
代数微分方程多项式等式的共轭不变性。 萨斯 2014 : 151-167年