栾越元
人员信息
优化列表
2020年–今天
2023 [公元10年] 欧内斯特·邦纳 , 栾越元 , 卡扎·阿努尔·霍克 :
使用时间窗口时序逻辑的超属性进行运动规划。 IEEE机器人自动化。 莱特。 8 ( 8 ) : 4386-4393 ( 2023 ) [公元9年] 栾越元 , Hoang-Dung Tran公司 , 泰勒·T·约翰逊 , 维杰·古普塔 :
基于实时可达性分析的分布式网络物理系统分散安全控制。 IEEE传输。 控制。 净值。 系统。 10 ( 三 ) : 1234-1244 ( 2023 ) 【c21】 米哈伊洛·伊瓦什琴科 , 宋宇才 , 栾越元 , Hoang-Dung Tran公司 :
利用星可达性验证连续输入空间上的二元神经网络。 正式SE 2023 : 7-17 [公元20年] 欧内斯特·邦纳 , 栾越元 , 卡扎·阿努尔·霍克 :
模型检查超属性的时间窗口时序逻辑。 记忆码 2023 : 100-110 [i7] 欧内斯特·邦纳 , 栾越元 , 卡扎·阿努尔·霍克 :
模型检查超属性的时间窗口时序逻辑。 CoRR公司 abs/2308.02554 ( 2023 ) 2022 [j8] Hoang-Dung Tran公司 , 栾越元 , 帕特里克·穆萨乌 , 魏明祥 , 泰勒·T·约翰逊 :
分布式网络物理系统的实时验证。 莱布尼茨运输公司。 嵌入。 系统。 8 ( 2 ) : 07:1-07:19 ( 2022 ) 2021 [j7] 奥马尔·阿里·贝格 , 栾越元 , 泰勒·T·约翰逊 , 阿里·达沃迪 :
使用时频逻辑形式主义检测微电网中的网络物理异常。 IEEE接入 9 : 20012-20021 ( 2021 ) [j6] Hoang-Dung Tran公司 , 尼拉尼亚娜·帕尔 , 迭戈·曼扎纳斯·洛佩兹 , 帕特里克·穆萨乌 , 杨晓东 , 栾越元 , 魏明祥 , 斯坦利·贝克 , 泰勒·T·约翰逊 :
分段深度神经网络的验证:带zonotope预滤波器的星集方法。 形式方面计算。 33 ( 4-5 ) : 519-545 ( 2021 ) [j5] 栾越元 , 维杰·古普塔 :
建立一个框架,以加强具有未知动力学的网络物理系统的弹性操作。 IET Cyper-Phys公司。 系统: 理论与应用。 6 ( 三 ) : 125-138 ( 2021 ) [第19条] 栾越元 , 韦萨姆·哈达德 , 泰勒·T·约翰逊 :
矩形混合系统的模型检验:一种量化编码方法。 信噪比 2021 : 9-23 2020 [第18条] Hoang-Dung Tran公司 , 杨晓东 , 迭戈·曼扎纳斯·洛佩兹 , 帕特里克·穆萨乌 , 栾越元 , 魏明祥 , 斯坦利·贝克 , 泰勒·T·约翰逊 :
NNV:深度神经网络和学习型网络物理系统的神经网络验证工具。 CAV(1) 2020 : 3-17 [c17] 栾越元 , 乔塔姆·莫汉 , 詹姆斯·魏默 , 奥列格·索科尔斯基 , 因苏普·李 , 拉杰夫·阿鲁尔 :
重申:基于模型的混合系统维修,以提高弹性。 记忆码 2020 : 1-12 [i6] Hoang-Dung Tran公司 , 杨晓东 , 迭戈·曼扎纳斯·洛佩兹 , 帕特里克·穆萨乌 , 栾越元 , 魏明祥 , 斯坦利·贝克 , 泰勒·T·约翰逊 :
NNV:深度神经网络和学习型网络物理系统的神经网络验证工具。 CoRR公司 abs/2004.05519 ( 2020 )
2010 – 2019
2019 【j4】 斯坦利·贝克 , 奥马尔·阿里·贝格 , 塞尔吉·博戈莫洛夫 , 泰勒·T·约翰逊 , 栾越元 , 克里斯蒂安·席林 :
混合自动机:从验证到实现。 国际期刊软件。 技术工具。 Transf公司。 21 ( 1 ) : 87-104 ( 2019 ) [j3] 奥马尔·阿里·贝格 , 栾越元 , 泰勒·T·约翰逊 , 阿里·达沃迪 :
DC微电网中基于信号时序逻辑的攻击检测。 IEEE传输。 智能电网 10 ( 4 ) : 3585-3595 ( 2019 ) [第16条] Hoang-Dung Tran公司 , 迭戈·曼扎纳斯·洛佩兹 , 帕特里克·穆萨乌 , 杨晓东 , 栾越元 , 魏明祥 , 泰勒·T·约翰逊 :
基于星形的深度神经网络可达性分析。 FM公司 2019 : 670-686 [第15条] Hoang-Dung Tran公司 , 栾越元 , 纳撒尼尔·汉密尔顿 , 项伟明 , 泰勒·T·约翰逊 :
高指数线性微分代数方程的可达性分析。 格式 2019 : 160-177 [第14条] Hoang-Dung Tran公司 , 栾越元 , 帕特里克·穆萨乌 , 魏明祥 , 泰勒·T·约翰逊 :
分布式网络物理系统的分散实时安全验证。 复地 2019 : 261-277 [第13条] Hoang-Dung Tran公司 , 帕特里克·穆萨乌 , 迭戈·曼扎纳斯·洛佩兹 , 杨晓东 , 栾越元 , 魏明祥 , 泰勒·T·约翰逊 :
用于前馈神经网络的可并行可达性分析算法。 FormaliSE@ICSE 2019 : 31-40 [第12条] 栾越元 , 乔塔姆·莫汉 , 詹姆斯·魏默 , 奥列格·索科尔斯基 , 因苏普·李 , 拉杰夫·阿鲁尔 :
使用信息流分析检测混合系统中的安全漏洞。 记忆码 2019 : 14:1-14:11 [i5] 栾越元 , 高塔姆·莫汉 , 詹姆斯·魏默 , 奥列格·索科尔斯基 , 因苏普·李 , 拉杰夫·阿鲁尔 :
重申:基于模型的混合系统维修,以提高弹性。 CoRR公司 abs/1902.04064 ( 2019 ) [i4] Hoang-Dung Tran公司 , 栾越元 , 帕特里克·穆萨乌 , 魏明祥 , 泰勒·T·约翰逊 :
分布式网络物理系统的实时验证。 CoRR公司 abs/1909.09087 ( 2019 ) 2018 [注2] 栾越元 , 卡扎·阿努尔·霍克 , 斯坦利·贝克 , 史蒂文·德拉格 , 泰勒·T·约翰逊 :
网络物理规范不匹配。 ACM事务处理。 网络物理。 系统。 2 ( 4 ) : 23:1-23:26 ( 2018 ) [第11条] 栾越元 , 巴德·霍夏 , 泰勒·T·约翰逊 , 乔治·费内科斯 :
使用UxAS对具有时间规格的多辆车进行任务规划。 ADHS公司 2018 : 67-72 [i3] 栾越元 , 卡扎·阿努尔·霍克 , 斯坦利·贝克 , 史蒂文·德拉格 , 泰勒·T·约翰逊 :
网络物理规范不匹配。 CoRR公司 abs/1806.09224 ( 2018 ) 2017 [j1] Hoang-Dung Tran公司 , 栾越元 , 魏明祥 , 泰勒·T·约翰逊 :
用于高维线性系统安全验证的降阶抽象。 谨慎。 事件动态。 系统。 27 ( 2 ) : 443-461 ( 2017 ) [第10条] Hoang-Dung Tran公司 , 栾越元 , 项伟明 , 泰勒·T·约翰逊 :
分布式自治系统。 建筑@CPSWeek 2017 : 33-43 【c9】 栾越元 , 詹姆斯·卡宾斯基 , 金晓青 , Jyotirmoy V.Deshmukh公司 , 肯·布茨 , 泰勒·T·约翰逊 :
使用时频时序逻辑进行异常数据分类。 高速列车控制中心 2017 : 237-242 【c8】 栾越元 , 詹姆斯·卡宾斯基 , 金晓青 , Jyotirmoy V.Deshmukh公司 , 泰勒·T·约翰逊 :
实值信号的超属性。 记忆码 2017 : 104-113 2016 【c7】 Parasara Sridhar Duggirala公司 , 楚楚凡 , 马修·波托克 , 伯伦奇 , 萨扬·米特拉 , 马赫什·维斯瓦纳坦 , 斯坦利·贝克 , 塞尔吉·博戈莫洛夫 , 泰勒·T·约翰逊 , 栾越元 , 克里斯蒂安·席林 , 安德鲁·索戈孔 , Hoang-Dung Tran公司 , 魏明祥 :
教程:用于混合系统验证、转换和合成的软件工具:C2E2、HyST和TuLiP。 CCA公司 2016 : 1024-1029 【c6】 Hoang-Dung Tran公司 , 栾越元 , 泰勒·T·约翰逊 :
从降阶到大尺度线性系统。 建筑@CPSWeek 2016 : 60-67 [i2] Hoang-Dung Tran公司 , 栾越元 , 魏明祥 , 泰勒·T·约翰逊 :
高维线性系统安全验证的降阶抽象。 CoRR公司 abs/1602.06417 ( 2016 ) 2015 【c5】 Hoang-Dung Tran公司 , 栾越元 , 泰勒·T·约翰逊 :
基准:数值分析的非线性可达性分析测试集。 建筑@CPSWeek 2015 : 89-97 【c4】 栾越元 , 克里斯蒂安·席林 , 塞尔吉·博戈莫洛夫 , 泰勒·T·约翰逊 :
HyRG:仿射混合自动机的随机生成工具。 高速列车控制中心 2015 : 289-290 【c3】 栾越元 , 克里斯蒂安·席林 , 塞尔吉·博戈莫洛夫 , 泰勒·T·约翰逊 :
混合分析工具的运行时验证。 RV汽车 2015 : 281-286 2014 【c2】 栾越元 , 泰勒·T·约翰逊 :
基准:DC-DC开关电源转换器(Buck转换器、Boost转换器和Buck-Boost转换器)。 建筑@CPSWeek 2014 : 19-24 【c1】 栾越元 , 埃里克·纳尔逊 , 阿莫尔·文古勒卡尔 , 张若希 , 克里斯托弗·I·怀特 , 维克托·萨利纳斯 , 泰勒·T·约翰逊 :
基于模型的可重构连续培养生物反应器的设计与分析。 CyPhy公司 2014 : 48-51 [i1] 栾越元 , 泰勒·T·约翰逊 :
分布式多电平逆变器太阳能电池阵的虚拟样机和分布式控制。 CoRR公司 abs/1404.2259 ( 2014 )