郁金香

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


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)