×

TuLiP公司

swMATH ID: 20173
软件作者： Tichakorn Wongpiromsarn、Ufuk Topcu、Necmiye Ozay、Huan Xu、Richard M.Murray
描述： TuLiP：一个用于后退时域逻辑规划的软件工具箱。本文描述了TuLiP，这是一个基于Python的软件工具箱，用于合成嵌入式控制软件，相对于线性时序逻辑（LTL）规范的表达子集而言，它是可证明正确的。TuLiP结合了以下例程：（1）控制系统的有限状态抽象，（2）基于LTL规范的数字设计合成，以及（3）滚动时域规划。底层数字设计合成例程将环境视为敌人；因此，所得到的控制器对于任何允许的环境轮廓都是正确的。TuLiP应用了滚动时域框架，允许将合成问题分解为一组较小的问题，从而降低了合成过程的计算复杂性，同时保持了正确性保证。
主页： http://dl.acm.org/citation.cfm？id=1967747
相关软件： PESSOA公司;科西马;苏格兰;长期平均价格;CUDD公司;ROCS公司;棱镜;VeriPhy公司;Coq公司;凯伊迈拉;ModelPlex公司;C-CoRN公司;雷克斯;FaST机架;Python机器人;数字Py;科学Py;皮波曼;FACTEST（事实测试）;SENSE（感知）
引用于： 15文件
全部的 前5名

37位作者引用

三 刘军
三 内克米耶·奥扎伊
2 阿帕扎·佩雷斯，W.亚历杭德罗
2 克利斯朵夫·康巴斯特
2 马吉德·扎马尼
2 阿里·佐尔加德里
1 加尔阿姆拉姆
1 阿尼塞特·巴特
1 罗斯·波勒
1 贝诺·德拉哈耶
1 迪马罗戈纳斯，迪莫斯五世。
1 樊楚楚
1 波林·福尼尔
1 Kazumune桥本
1 马哈茂德·哈立德
1 Kwiatkowska，Marta Z。
1 圣菲拉福顿
1 阿德里安·莱瓦
1 李依南
1 莱姆，迪迪埃
1 鲁帕克·马朱姆达尔
1 罗比·马利克
1 沙哈尔·茂兹
1 克里斯蒂娜·米勒
1 萨扬·密特拉
1 萨哈尔·莫哈杰拉尼
1 埃里克·蒙弗罗伊
1 安卡·穆斯科尔
1 彼得·尼尔森
1 活塞，或
1 安德烈·普拉泽
1 马蒂亚斯·伦格
1 安妮·凯瑟琳·施穆克
1 马里亚·斯沃雷奥娃
1 夏洛特·特鲁切特
1 伊戈尔·瓦卢基维奇
1 安德鲁·温滕伯格
全部的 前5名

7篇连载文章中引用

三 离散事件动态系统
2 欧洲控制杂志
1 Automatica公司
1 理论计算机科学
1 计算的形式方面
1 国际应用数学与计算机科学杂志
1 非线性分析。混合动力系统
全部的 前5名

在6个字段中引用

12 系统论；控制（93至XX）
5 数学逻辑和基础（03-XX）
4 计算机科学（68至XX）
2 博弈论、经济学、金融和其他社会和行为科学（91-XX）
1 运筹学、数学规划（90-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文