郁金香

郁金香：一个后退时间逻辑规划的软件工具箱。本文描述了TuLiP，一个基于Python的软件工具箱，用于综合嵌入式控制软件，对于线性时态逻辑（LTL）规范的一个表示子集来说，它是正确的。郁金香结合了以下例程：（1）控制系统的有限状态抽象，（2）基于LTL规范的数字设计合成，以及（3）滚动地平线规划。底层数字设计综合程序将环境视为对手；因此，所得到的控制器保证对任何允许的环境概要文件都是正确的。郁金香采用了滚动时域框架，使得综合问题可以分解为一组较小的问题，从而在保证正确性的前提下，降低了合成过程的计算复杂性。

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

zbMATH中的参考文献（参考文献14条)

显示第1至14个结果，共14个。
按年份排序(引用)

  1. 阿帕扎·佩雷斯，华盛顿州。；康巴斯特，C。；瓦鲁基维茨，I。；马斯克尔，A。；Zolghadri，A.：使用部分信息的基于抽象的控制综合（2022）
  2. 阿姆拉姆，加尔；毛兹，沙哈尔；Pistiner或：GR（1）*:GR（1）使用存在保证扩展的规范（2021）
  3. 萨哈尔，莫哈杰拉尼；马利克，罗比；温滕伯格，安德鲁；拉福琼，圣潘；Ozay，Necmiye:具有线性时序逻辑规范的控制器综合的发散性stutter双模拟抽象（2021）
  4. 阿帕扎·佩雷斯，W.亚历杭德罗；康巴斯特，克里斯托夫；佐尔加德里，阿里：持续性规范下互联系统的分布式符号控制（2020）
  5. 范楚楚；米勒，克里斯蒂娜；Mitra，Sayan:非线性车辆模型的快速和有保证的安全控制器综合（2020年）
  6. 桥本、和硕门；Dimarogonas，Dimos V.：时间逻辑规范下的资源感知网络控制系统（2019）
  7. 哈立德，马哈茂德；Zamani，Majid:\textspffaces:符号控制的加速生态系统（2019）
  8. 巴特，安妮特；德拉哈耶，贝诺；福尼尔，波林；石灰，迪迪埃；蒙弗里克；Truchet，Charlotte:使用约束的参数区间马尔可夫链的可达性（2018）
  9. 厉、沂南；刘俊：ROCS：非线性动力系统鲁棒完全控制综合工具（2018）
  10. 尼尔森，皮特；奥扎，奈米耶；Liu，Jun:作为控制综合抽象的增广有限转移系统（2017）
  11. 笨蛋，安妮·凯瑟琳；马朱姆达尔，鲁帕克；Leva，Adrian:动态分层无功控制器综合（2017）
  12. 刘军；Ozay，Necmiye:基于时序逻辑的控制综合的有限抽象（2016）
  13. 伦格，马提亚斯；Zamani，Majid:SCOTS:符号控制器合成工具（2016）
  14. 斯沃雷·奥娃，Mária；Kwiatkowska，Marta:随机博弈的定量验证与策略综合（2016）