编辑配置文件(在新选项卡中打开) 泰勒·T·约翰逊。 合著者距离 作者ID: 约翰逊·泰勒 发布日期: 泰勒·T·约翰逊。 外部链接: MGP公司·ORCID公司 已编制索引的文档: 29出版物自2003年以来,包括1个附加arXiv预打印 合著者: 35位合著者具有24份联合出版物 703合作作者 全部的 前5名合著者 0 单作者的 12 Tran,Hoang-Dung村 8 项伟明 7 斯坦利·巴克 4 阮、滦越 4 杨晓东 3 纳撒尼尔·P·汉密尔顿。 3 迭戈·曼扎纳斯·洛佩兹 3 萨扬·密特拉 3 帕特里克·穆索 2 塞尔吉·博戈莫洛夫 2 巴德省霍克萨 2 拉西克什·卡马拉普卡尔 2 内拉尼亚娜·帕尔 2 丹尼尔·普罗霍罗夫。 2 乔尔·罗森菲尔德。 2 Sogokon,安德鲁 1 西蒙·巴尔迪 1 赫伯特·L·伯克。 1 罗伯托·比拉奥 1 博尔巴,D.N。 1 C.J.博斯韦尔。 1 斯蒂芬·布伦纳 1 肯·布茨 1 威尔弗雷德·安东尼·库珀 1 Jyotirmoy V.德斯穆赫。 1 雷切尔·达德利 1 理查德·斯科特·埃尔文 1 哈利勒·戈尔巴尔 1 格雷夫斯,J.P。 1 杰里米·格林。 1 Gruss,L.森林 1 马库斯·哈森·赫尔 1 托马斯·亨辛格(Thomas A.Henzinger)。 1 凯莉安·霍布斯。 1 霍克,拉尔斯·约瑟夫 1 保罗·B·杰克逊。 1 金小青 1 朱克,M。 1 詹姆斯·卡宾斯基 1 北卡罗来纳州梅勒特。 1 加博·帕普 1 Pinches,S.D.公司。 1 普拉卡什,普拉多特 1 Russo,Benjamin P。 1 C.U.舒斯特。 1 沙拉波夫,S.E。 1 Sipilä,S.K。 1 J.瓦杰。 1 瓦桑塔,W.B。 1 汤姆·山口 1 山口,富古屋 1 袁成志 1 翟桂生 全部的 前5名系列 3 计算机物理通信 3 IEEE自动控制汇刊 1 《物理快报》。A类 1 理论计算机科学 1 自动推理杂志 1 计算的形式方面 1 离散事件动态系统 1 非线性科学杂志 1 瓦罗赫米希尔数学科学杂志 1 IET控制理论与应用 全部的 前5名领域 17 计算机科学(68至XX) 11 系统论;控制(93至XX) 4 统计力学,物质结构(82-XX) 2 常微分方程(34-XX) 2 流体力学(76-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 动力系统和遍历理论(37至XX) 1 差分方程和函数方程(39至XX) 1 功能分析(46倍X倍) 1 算子理论(47-XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 光学、电磁理论(78-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 18出版物有被引用120中的次90文件 引用人▼ 年份▼ 离散切换系统在任意切换下的鲁棒指数稳定性和干扰抑制。 Zbl 1395.93502号 项伟明;Tran,Hoang-Dung村;泰勒·T·约翰逊。 20 2018 切换线性系统的输出可达集估计及其在安全验证中的应用。 Zbl 1390.93142号 项伟明;Tran,Hoang-Dung村;泰勒·T·约翰逊。 19 2017 使用ImageStars验证深度卷积神经网络。 Zbl 1478.68180号 Tran,Hoang-Dung村;斯坦利·巴克;项伟明;泰勒·T·约翰逊。 15 2020 分段深度神经网络的验证:带zonotope预滤器的星集方法。 Zbl 1519.68143号 Tran,Hoang-Dung村;内拉尼亚娜·帕尔;迭戈·曼扎纳斯·洛佩兹;帕特里克·穆索;杨晓东;阮、滦越;项伟明;斯坦利·巴克;泰勒·T·约翰逊。 14 2021 最小停留时间约束下离散切换系统稳定性的非保守提升凸条件。 Zbl 1482.93293号 项伟明;Tran,Hoang-Dung村;泰勒·T·约翰逊。 11 2019 改进的几何路径枚举用于验证ReLU神经网络。 Zbl 1478.68142号 斯坦利·巴克;Tran,Hoang-Dung村;凯里安·霍布斯;泰勒·T·约翰逊。 10 2020 高达十亿维仿射系统的数值验证。 兹伯利07120137 斯坦利·巴克;Tran,Hoang-Dung村;泰勒·T·约翰逊。 8 2019 非线性系统分析的可伸缩静态杂交方法。 兹比尔1364.68243 斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格(Thomas A.Henzinger)。;泰勒·T·约翰逊。;普拉卡什,普拉多特 4 2016 基于松弛可达性的语义分割神经网络鲁棒性验证。 Zbl 1493.68221号 Tran,Hoang-Dung村;内拉尼亚娜·帕尔;帕特里克·穆索;洛佩兹,迭戈·曼扎纳斯;纳撒尼尔·汉密尔顿;杨晓东;斯坦利·巴克;泰勒·T·约翰逊。 4 2021 HYST:混合自动机模型的源代码转换和翻译工具。 Zbl 1364.68244号 斯坦利·巴克;塞尔吉·博戈莫洛夫;泰勒·T·约翰逊。 3 2015 观察和解释JET(n=0)啁啾模式。 Zbl 1142.76522号 博斯韦尔,C.J。;伯克·H·L。;D.N.博尔巴。;约翰逊,T。;Pinches,S.D.公司。;沙拉波夫,S.E。 3 2006 连续时间系统的Liouville算子动态模式分解。 Zbl 1497.37108号 乔尔·罗森菲尔德。;拉西克什·卡马拉普卡尔;Gruss,L.森林;泰勒·T·约翰逊。 3 2022 用于高维线性系统安全验证的降阶抽象。 Zbl 1379.93026号 Tran,Hoang-Dung村;阮、滦越;项伟明;泰勒·T·约翰逊。 2 2017 使用流管道和连续不变量验证混合系统中的安全性和持久性。 Zbl 1468.68135号 Sogokon,安德鲁;保罗·B·杰克逊。;泰勒·T·约翰逊。 2 2019 非线性常微分方程的解耦抽象。 Zbl 1427.68173号 Sogokon,安德鲁;哈利勒·戈尔巴尔;泰勒·T·约翰逊。 2 2016 使用时频时序逻辑进行异常数据分类。 Zbl 1366.94120号 阮、滦越;詹姆斯·卡宾斯基;金小青;Jyotirmoy V.德斯穆赫。;肯·布茨;泰勒·T·约翰逊。 1 2017 卫星交会和避免会合:非线性混合系统验证中的案例研究。 Zbl 1372.68172号 泰勒·T·约翰逊。;格林,杰里米;萨扬·密特拉;雷切尔·达德利;理查德·斯科特·埃尔文 1 2012 具有可达性分析的神经网络修复。 Zbl 07643437号 杨晓东;汤姆·山口;Tran,Hoang-Dung村;巴德省霍克萨;泰勒·T·约翰逊。;丹尼尔·普罗霍罗夫 1 2022 连续时间系统的Liouville算子动态模式分解。 Zbl 1497.37108号 乔尔·罗森菲尔德。;拉西克什·卡马拉普卡尔;Gruss,L.森林;泰勒·T·约翰逊。 3 2022 具有可达性分析的神经网络修复。 Zbl 07643437号 杨晓东;汤姆,山口;Tran,Hoang-Dung村;巴德省霍克萨;泰勒·T·约翰逊。;丹尼尔·普罗霍罗夫 1 2022 分段深度神经网络的验证:带zonotope预滤器的星集方法。 Zbl 1519.68143号 Tran,Hoang-Dung村;内拉尼亚娜·帕尔;迭戈·曼扎纳斯·洛佩兹;帕特里克·穆索;杨晓东;阮、滦越;项伟明;斯坦利·巴克;泰勒·T·约翰逊。 14 2021 基于松弛可达性的语义分割神经网络鲁棒性验证。 Zbl 1493.68221号 Tran,Hoang-Dung村;内拉尼亚娜·帕尔;帕特里克·穆索;洛佩兹,迭戈·曼扎纳斯;汉密尔顿,纳撒尼尔;杨晓东;斯坦利·巴克;泰勒·T·约翰逊。 4 2021 使用ImageStars验证深度卷积神经网络。 Zbl 1478.68180号 Tran,Hoang-Dung村;斯坦利·巴克;项伟明;泰勒·T·约翰逊。 15 2020 改进的几何路径枚举用于验证ReLU神经网络。 Zbl 1478.68142号 斯坦利·巴克;Tran,Hoang-Dung村;凯里安·霍布斯;泰勒·T·约翰逊。 10 2020 离散时间切换系统在最小停留时间约束下稳定性的非守恒提升凸条件。 Zbl 1482.93293号 项伟明;Tran,Hoang-Dung村;泰勒·T·约翰逊。 11 2019 高达十亿维仿射系统的数值验证。 Zbl 07120137号 斯坦利·巴克;Tran,Hoang-Dung村;泰勒·T·约翰逊。 8 2019 使用流管道和连续不变量验证混合系统中的安全性和持久性。 Zbl 1468.68135号 Sogokon,安德鲁;保罗·B·杰克逊。;泰勒·T·约翰逊。 2 2019 离散切换系统在任意切换下的鲁棒指数稳定性和干扰抑制。 Zbl 1395.93502号 项伟明;Tran,Hoang-Dung村;泰勒·T·约翰逊。 20 2018 切换线性系统的输出可达集估计及其在安全验证中的应用。 Zbl 1390.93142号 项伟明;Tran,Hoang-Dung村;泰勒·T·约翰逊。 19 2017 用于高维线性系统安全验证的降阶抽象。 Zbl 1379.93026号 Tran,Hoang-Dung村;阮、滦越;项伟明;泰勒·T·约翰逊。 2 2017 使用时频时序逻辑进行异常数据分类。 Zbl 1366.94120号 阮、滦越;詹姆斯·卡宾斯基;金小青;Jyotirmoy V.德斯穆赫。;肯·布茨;泰勒·T·约翰逊。 1 2017 非线性系统分析的可伸缩静态杂交方法。 兹比尔1364.68243 斯坦利·巴克;塞尔吉·博戈莫洛夫;托马斯·亨辛格(Thomas A.Henzinger)。;泰勒·T·约翰逊。;普拉卡什,普拉多特 4 2016 非线性常微分方程的解耦抽象。 Zbl 1427.68173号 Sogokon,安德鲁;哈利勒·戈尔巴尔;泰勒·T·约翰逊。 2 2016 HYST:混合自动机模型的源代码转换和翻译工具。 Zbl 1364.68244号 斯坦利·巴克;塞尔吉·博戈莫洛夫;泰勒·T·约翰逊。 3 2015 卫星交会和会合规避:非线性混合系统验证中的案例研究。 Zbl 1372.68172号 泰勒·T·约翰逊。;格林,杰里米;萨扬·密特拉;雷切尔·达德利;理查德·斯科特·埃尔文 1 2012 观察和解释JET(n=0)啁啾模式。 Zbl 1142.76522号 C.J.博斯韦尔。;伯克·H·L。;D.N.博尔巴。;约翰逊,T。;Pinches,S.D.公司。;莎拉波夫,S.E。 3 2006 所有引用出版物 前5名被引用出版物 全部的 前5名261位作者引用 7 斯坦利·巴克 6 Tran,Hoang-Dung村 6 项伟明 5 泰勒·T·约翰逊。 4 杨晓东 3 塞尔吉·博戈莫洛夫 3 范晨晨 3 冯志光 3 巴德省霍克萨 3 詹姆斯·兰姆 3 迭戈·曼扎纳斯·洛佩兹 3 帕特里克·穆索 3 丹尼尔·普罗霍罗夫。 3 张洪斌 2 马蒂亚斯·阿尔霍夫 2 西蒙·巴尔迪 2 克拉克·W·巴雷特。 2 Choi、Sungwoo 2 马塞洛·福雷茨 2 高慧 2 高慧军 2 高永丰 2 纳撒尼尔·P·汉密尔顿。 2 黄成超 2 拉西克什·卡马拉普卡尔 2 凯兹,盖伊 2 海塔姆·凯德 2 尼古拉斯·科奇杜普尔 2 李仁觉 2 阮,越南 2 内拉尼亚娜·帕尔 2 Park,Juhyun(杰西) 2 玛丽亚·普兰迪尼 2 乔尔·罗森菲尔德。 2 克里斯蒂安·席林 2 沈浩 2 石凯波 2 施、杨 2 亚瑟·舒克利 2 王鹏 2 王悦 2 吴迪 2 吴浩泽 2 谢晓晨 2 薛、白 2 山口,富古屋 2 杨鹏飞 2 余、星湖 2 张丽君 2 郑伟星 2 周坤 2 庄、松林 1 艾丽卡·阿尔布拉汉姆 1 阿文德·阿迪穆兰 1 哈马德·艾哈迈德 1 法兰克·奥尔戈 1 艾哈迈德·艾德·塞勒姆·阿尔萨迪 1 劳拉·阿尔蒂莉·桑巴托洛美 1 拉杰夫·阿鲁尔 1 盖伊·埃米尔 1 埃里克·阿塞林 1 阿尔卑斯山艾迪诺格鲁 1 埃齐奥·巴托西 1 朱利安·小檗 1 博斯科斯,迪米特里斯 1 史蒂文·布鲁顿。 1 Budišić,马尔科 1 鲁迪·本内尔 1 曹云宁 1 泰勒·卡彭特。 1 Chang,Dongsik公司 1 陈广科 1 陈国良 1 陈丽倩 1 陈明帅 1 陈瑞娟 1 陈、陶璐 1 陈一涵 1 陈子兰 1 程新明 1 亚历山德罗·西马蒂 1 亚瑟·克莱维尔 1 里卡多·德西米尼 1 迪马罗戈纳斯,迪莫斯五世。 1 丁,育才 1 泰勒·多曼 1 德拉赫斯勒-科恩,达纳 1 帕拉萨拉·斯里达尔·达吉拉拉 1 特里斯坦·埃伯特 1 费内科斯(Georgios E.Fainekos)。 1 樊楚楚 1 方,王 1 瓦尔·法塔斯西 1 马亚尔·法兹利亚布 1 詹姆斯·费雷兹 1 戈兰·弗雷斯 1 傅军 1 克里斯托夫·加里昂 1 埃里克·古堡 1 阿尔贝托·格里乔 …还有161位作者 全部的 前5名22篇连载文章中引用 9 非线性分析。混合动力系统 8 富兰克林研究所期刊 8 国际鲁棒非线性控制杂志 7 Automatica公司 3 信息与计算 3 计算的形式方面 3 国际系统科学杂志。系统与集成原理与应用 2 应用数学与计算 2 信息科学 1 模糊集与系统 1 系统和控制信件 1 机器学习 1 离散事件动态系统 1 SIAM审查 1 复杂性 1 工程中的数学问题 1 机器学习研究杂志(JMLR) 1 SIAM应用动力系统杂志 1 差分方程研究进展 1 离散和连续动力系统。S系列 1 模糊系统研究进展 1 计算动力学杂志 全部的 前5名在14个字段中引用 66 系统论;控制(93至XX) 39 计算机科学(68至XX) 4 运筹学、数学规划(90-XX) 3 常微分方程(34-XX) 3 生物学和其他自然科学(92-XX) 2 动力系统和遍历理论(37至XX) 2 功能分析(46倍X倍) 2 算子理论(47-XX) 2 数值分析(65-XX) 1 数学逻辑和基础(03-XX) 1 代数几何(14-XX) 1 凸和离散几何(52至XX) 1 概率论与随机过程(60-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文