编辑配置文件(在新选项卡中打开) 皮埃尔·洛伊奇·卡洛什 合著者距离 作者ID: 大蒜青椒 发布日期: 皮埃尔·洛伊奇·卡洛什;皮埃尔·洛伊·卡洛什 外部链接: ORCID公司 已编制索引的文档: 22出版物自2006年以来,包括1本书 合著者: 24位合著者具有21联合出版物 384位合作作者 全部的 前5名合著者 1 单作者的 5 阿萨勒阿杰 5 鲁克斯,皮埃尔 4 埃里克·费龙 4 迪迪埃·亨利昂 4 罗曼·乔布雷多 4 泽维尔Thirioux 3 Açıkmeşe,贝塞特 3 Temesghen Kahsai 2 阿里·古芬克尔 2 维克托·马格伦 2 马克·潘特尔 2 Timothy E.王。 1 Dany Abou Jaoude 1 哈姆扎布尔布 1 亚历山大·查普托 1 纪尧姆·戴维 1 法胡德,马赞 1 克里斯托夫·加里昂 1 迪伦·贾纳克 1 埃利亚斯·哈利夫 1 Sarah H.Q,Li。 1 毛元奇 1 保罗·罗斯 1 亚历克西斯·威利 全部的 前5名系列 1 Automatica公司 1 IEEE自动控制汇刊 1 SIAM控制与优化杂志 1 国际鲁棒非线性控制杂志 1 系统设计中的形式化方法 1 欧洲控制杂志 1 优化与工程 1 计算机语言、系统和结构 1 非线性分析。混合动力系统 1 普林斯顿应用数学系列 全部的 前5名领域 15 计算机科学(68至XX) 13 系统论;控制(93至XX) 8 运筹学、数学规划(90-XX) 2 数学逻辑和基础(03-XX) 2 数值分析(65-XX) 1 数论(11-XX) 1 凸和离散几何(52至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用36中的次30文件 引用人▼ 年份▼ 离散时间多项式系统可达集的半定逼近。 Zbl 1421.90110号 维克托·马格伦;皮埃尔·洛伊·卡洛什;迪迪埃·亨利昂;泽维尔·蒂里欧 9 2019 线性时不变系统的通用椭球抽象域。 Zbl 1362.93065号 皮埃尔·鲁克斯;罗曼·乔布雷多;皮埃尔·洛伊奇·卡洛什;埃里克·费伦 8 2012 积分二次约束线性定常系统可达性分析的抛物集模拟。 Zbl 1458.93022号 保罗·鲁斯;皮埃尔·洛伊奇·卡洛什;迪迪埃·亨利昂 4 2021 在抽象解释器中集成策略迭代。 Zbl 1410.68078号 皮埃尔·鲁克斯;皮埃尔·洛伊奇·卡洛什 3 2013 程序分段线性二次不变量的自动合成。 Zbl 1432.68254号 阿萨勒阿杰;皮埃尔·洛伊奇·卡洛什 3 2015 作为模块化Horn子句的分层状态机。 Zbl 1482.68102号 皮埃尔·洛伊奇·卡洛什;Temesghen Kahsai;泽维尔Thirioux 2 2016 为同步代码合成模不变量。 Zbl 1464.68078号 Pierre Loic Garoche先生;阿里·古芬克尔;Temesghen Kahsai 2 2014 控制系统软件的正式验证。 Zbl 1410.68005号 皮埃尔·洛伊奇·卡洛什 1 2019 控制命令软件的闭环分析。 Zbl 1364.93504号 皮埃尔·鲁克斯;罗曼·乔布雷多;皮埃尔·洛伊奇·卡洛什 1 2015 在模型和代码级别对健壮性进行形式化分析。 Zbl 1364.93249号 Timothy E.王。;皮埃尔·洛伊奇·卡洛什;皮埃尔·鲁克斯;罗曼·乔布雷多;埃里克·费伦 1 2016 实际政策迭代。静态分析中策略迭代的实际应用:二次型情况。 Zbl 1341.68031号 皮埃尔·鲁克斯;皮埃尔·洛伊奇·卡洛什 1 2015 线性模型预测控制验证实验:内点法算法的自动生成和形式验证。 Zbl 1415.68143号 纪尧姆·戴维;埃里克·费龙;皮埃尔·洛伊·卡洛什;迪迪埃·亨利昂 1 2018 积分二次约束线性定常系统可达性分析的抛物集模拟。 Zbl 1458.93022号 保罗·罗斯;皮埃尔·洛伊奇·卡洛什;迪迪埃·亨利昂 4 2021 离散时间多项式系统可达集的半定近似。 Zbl 1421.90110号 维克托·马格伦;皮埃尔·洛伊·卡洛什;迪迪埃·亨利昂;泽维尔·蒂里欧 9 2019 控制系统软件的正式验证。 Zbl 1410.68005号 皮埃尔·洛伊奇·卡洛什 1 2019 线性模型预测控制验证实验:内点法算法的自动生成和形式验证。 Zbl 1415.68143号 纪尧姆戴维;埃里克·费龙;皮埃尔·洛伊·卡洛什;迪迪埃·亨利昂 1 2018 作为模块化Horn子句的分层状态机。 Zbl 1482.68102号 皮埃尔·洛伊奇·卡洛什;Temesghen Kahsai;泽维尔·蒂里欧 2 2016 在模型和代码级别对健壮性进行形式化分析。 Zbl 1364.93249号 Timothy E.王。;皮埃尔·洛伊奇·卡洛什;皮埃尔·鲁克斯;罗曼·乔布雷多;埃里克·费伦 1 2016 程序分段线性二次不变量的自动合成。 Zbl 1432.68254号 阿萨勒阿杰;皮埃尔·洛伊奇·卡洛什 3 2015 控制命令软件的闭环分析。 Zbl 1364.93504号 皮埃尔·鲁克斯;罗曼·乔布雷多;皮埃尔·洛伊奇·卡洛什 1 2015 实际政策迭代。静态分析中策略迭代的实际应用:二次型情况。 Zbl 1341.68031号 皮埃尔·鲁克斯;皮埃尔·洛伊奇·卡洛什 1 2015 为同步代码合成模不变量。 Zbl 1464.68078号 皮埃尔·洛伊·卡洛什;阿里·古芬克尔;Temesghen Kahsai 2 2014 在抽象解释器中集成策略迭代。 Zbl 1410.68078号 鲁克斯,皮埃尔;皮埃尔·洛伊奇·卡洛什 3 2013 线性时不变系统的通用椭球抽象域。 Zbl 1362.93065号 皮埃尔·鲁克斯;罗曼·乔布雷多;皮埃尔·洛伊奇·卡洛什;埃里克·费伦 8 2012 所有引用出版物 前5名被引用出版物 全部的 前5名64位作者引用 6 皮埃尔·洛伊奇·卡洛什 3 阿萨勒阿杰 3 阿纳·侯赛因 3 Nesir Huseyin先生 3 维克托·马格伦 2 詹森·布兰伯格。 2 乔瓦尼·范图齐 2 大卫·戈卢斯金 2 哈利克·古塞诺夫。 2 Jean-Bernard Lasserre 2 赫尔穆特·塞德尔 1 亚历山德罗·阿巴特 1 Dany Abou Jaoude 1 西蒙·巴尔迪 1 斯蒂芬·贝克尔。 1 本·萨西,穆罕默德·阿明 1 伊奥里·贝萨 1 陈明帅 1 利迪亚·切尔尼戈夫斯卡娅 1 Lucas科代罗 1 伊娃·达鲁洛娃 1 克里斯蒂娜·大卫 1 丹尼斯,路易斯·阿比盖尔 1 马可·费拉 1 法胡德,马赞 1 格里戈里·费迪尤科维奇 1 埃里克·费龙 1 劳伦·弗里堡 1 托马斯·马丁·高利察 1 埃里克·古堡 1 杰西卡·格伦斯基。 1 米哈伊尔·伊万诺维奇(Mikhail Ivanovich Gusev) 1 迪迪埃·亨利昂 1 阿纳斯塔西亚·伊齐切娃 1 罗曼·乔布雷多 1 Temesghen Kahsai 1 乌洛什五·卡拉比奇。 1 Joost-Pieter卡托恩 1 帕斯卡·凯塞利 1 埃利亚斯·哈利夫 1 伊利亚·科尔马诺夫斯基。 1 米兰科尔达 1 丹尼尔·科宁 1 斯旺·马克思 1 萨米赫·穆罕默德 1 玛丽安·姆罗泽克 1 Nam、Phan Thanh 1 马克·潘特尔 1 根纳罗Parlato 1 伊丽莎白·波尔格林 1 Sylvie推杆 1 皮埃尔·鲁克斯 1 桑卡拉纳拉亚南,斯里拉姆 1 科尔比尼安·施洛瑟 1 马蒂奥·塔基 1 泽维尔·蒂里欧 1 乐光督安 1 王秋叶 1 Timothy E.王。 1 薛、白 1 Yang、Inson 1 奥利维尔·扎姆 1 卢卡斯·扎瓦利亚 1 詹乃军 全部的 前5名19篇连载文章中引用 3 系统设计中的形式化方法 2 Automatica公司 2 信息与计算 2 非线性分析。混合动力系统 1 信息学学报 1 数学笔记 1 最优化理论与应用杂志 1 国际鲁棒非线性控制杂志 1 SIAM优化杂志 1 非线性科学杂志 1 控制科学档案 1 优化与工程 1 SIAM应用动力系统杂志 1 计算机语言、系统和结构 1 Steklov数学研究所学报 1 优化信函 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 SIAM应用代数和几何杂志 1 乌拉尔数学杂志 全部的 前5名17个字段中引用 14 运筹学、数学规划(90-XX) 12 计算机科学(68至XX) 12 系统论;控制(93至XX) 3 数学逻辑和基础(03-XX) 3 动力系统和遍历理论(37至XX) 3 数值分析(65-XX) 2 代数几何(14-XX) 2 常微分方程(34-XX) 2 变分法与最优控制;最优化(49至XX) 1 实际功能(26年X月X日) 1 测量和集成(28-XX) 1 偏微分方程(35-XX) 1 积分方程(45-XX) 1 功能分析(46倍X倍) 1 算子理论(47-XX) 1 统计学(62-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文