PESSOA公司 swMATH ID: 20123 软件作者: 罗伊,普里塔姆;保罗·塔布阿达;鲁帕克·马朱姆达尔 描述: Pessoa 2.0:用于网络物理系统的控制器合成工具。我们介绍了Pessoa 2.0,这是一个基于正确设计方法的自动合成网络物理系统控制器的工具。Pessoa 2.0接受一个由一组平滑微分方程和自动机表示的网络物理系统,以及一段线性时间逻辑中的规范,该规范具有足够的表达能力,可以描述有趣的属性,但也足够简单,可以避免Safra的构造。如果可能的话,它为系统输出一个控制器,将规范强制到抽象参数。我们报告了一些示例,以说明片段的表达能力以及该工具合成的控制器。 主页: http://dl.acm.org/citation.cfm?doid=19677011.967748 关键词: 控制器综合;计算机物理系统;线性时序逻辑;符号算法 相关软件: 斯科特;科西马;TuLiP公司;ROCS公司;p面;长期平均价格;Matlab公司;GRKLib公司;条纹;流量*;太空探索技术公司;马蒂斯;PHAVer公司;古罗比;UMDES公司;FaST机架;Python机器人;数字Py;科学Py;皮波曼 引用于: 26文件 全部的 前5名62位作者引用 5 马吉德·扎马尼 三 马哈茂德·哈立德 三 鲁帕克·马朱姆达尔 三 巴斯蒂安·舒尔曼 2 马蒂亚斯·阿尔霍夫 2 阿帕扎·佩雷斯,W.亚历杭德罗 2 穆拉特·阿卡克 2 克利斯朵夫·康巴斯特 2 迪马罗戈纳斯,迪莫斯五世。 2 樊楚楚 2 劳伦·弗里堡 2 安托万·吉拉德 2 阿德里安·勒科恩特 2 马蒂亚斯·伦格 2 保罗·塔布阿达 2 阿里·佐尔加德里 1 亚历山德罗·阿巴特 1 亚历山大·迪特·桑德雷托,朱利安 1 亚伦·D·埃姆斯。 1 贝莎,尤里 1 卢多维奇·查莫因 1 亚历山大·查普托 1 克里希南德·查特吉 1 陈景凯 1 卢卡斯·科迪罗 1 克里斯蒂娜·大卫 1 弗洛里安·德·维斯特 1 亚历克斯·德文波特 1 Gaßmann,维克多 1 杰西·格里斯。 1 费利克斯·格鲁伯 1 Kazumune桥本 1 奥斯汀·H·琼斯。 1 帕斯卡·凯塞利 1 埃里克·S·金。 1 莫里茨·克利沙特 1 尼古拉斯·科奇杜普尔 1 希希尔Kolathaya 1 丹尼尔·科宁 1 阿德里安·莱瓦 1 李依南 1 刘军 1 马文龙 1 伊利赛·马科维奇克(Elisei Macoveiciuc) 1 Manuel jun,马祖。 1 皮尔雷·梅耶(Pierre-Jean Meyer) 1 克里斯蒂娜·米勒 1 萨扬·密特拉 1 安卡·穆斯科尔 1 乔治·帕帕斯。 1 伊丽莎白·波尔格林 1 玛丽亚·普兰迪尼 1 Reißig、Gunther 1 克里斯蒂安·雷伊(Christian A.Rey)。 1 安妮·凯瑟琳·施穆克 1 桑吉特·阿伦库马尔·塞希亚 1 内森·范德沃 1 里卡多·维格纳利 1 伊戈尔·瓦卢基维奇 1 亚历山大·韦伯 1 布莱恩·查尔斯·威廉姆斯 1 余、片 全部的 前5名8篇连载文章中引用 三 非线性分析。混合动力系统 2 Automatica公司 2 系统和控制信件 2 离散事件动态系统 2 欧洲控制杂志 1 信息学学报 1 系统设计中的形式化方法 1 国际应用数学与计算机科学杂志 全部的 前5名在7个字段中引用 25 系统论;控制(93至XX) 9 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 粒子和系统力学(70-XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文