×

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 余、片

按年份列出的引文