佩索阿

pessoa2.0:一个用于网络物理系统的控制器综合工具。我们介绍了pessoa2.0,一个基于正确设计方法自动综合网络物理系统控制器的工具。pessoa2.0接受一个由一组光滑的微分方程和自动机表示的网络物理系统,以及一个线性时态逻辑片段中的规范,该规范具有足够的表达能力来描述有趣的属性,但又足够简单,可以避免Safra的构造。如果可能,它为系统输出一个控制器,该控制器将规范强制到抽象参数。我们报告了一些例子,说明了该工具合成的片段和控制器的表现力。


zbMATH中的参考文献(参考文献19条)

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

  1. 亚历山德罗,阿巴特;贝萨,尤里;科尔代罗,卢卡斯;大卫,克里斯蒂娜;凯塞利,帕斯卡;丹尼尔·克罗宁;Polgreen,Elizabeth:连续装置可证明安全数字控制器的自动形式综合(2020)
  2. 附表ü曼恩,巴斯蒂安;维格纳利,里卡多;普兰迪尼,玛丽亚;Althoff,Matthias:具有状态和驱动约束的扰动分段仿射系统的集基控制(2020)
  3. 西尼丝,斯特凡诺;瓦迪姆·阿里古日恩;曼奇尼,托尼;恩里科特朗奇;玛丽,费德里科;Leeners,Brigitte:通过对数字双胞胎患者的电子临床试验进行的最佳个性化治疗计算(2020年)
  4. 桥本、和硕门;Dimarogonas,Dimos V.:时间逻辑规范下的资源感知网络控制系统(2019)
  5. 哈立德,马哈茂德;Zamani,Majid:\textspffaces:符号控制的加速生态系统(2019)
  6. 迈耶,皮埃尔·让;德文波特,亚历克斯;Arcak,Murat:TIRA:区间可达性分析工具箱(2019)
  7. 乐高公司ënt,阿德里安;迪特·桑德雷托,朱利安·亚历山德拉;查普特,亚历山大德;Fribourg,Laurent:非线性采样切换系统控制综合的改进算法(2018)
  8. 厉、沂南;刘俊:ROCS:非线性动力系统鲁棒完全控制综合工具(2018)
  9. 艾姆斯,亚伦·D。;保罗,塔布阿达;琼斯,奥斯汀;马文龙;伦格,马提亚斯;附表ü曼恩,巴斯蒂安;科拉塔亚、什叶;Grizzle,Jessy W.:双足机器人正式控制器综合的第一步与实验实现(2017)
  10. 金,埃里克S。;阿尔卡,穆拉特;Seshia,Sanjit A.:具有定向规范的单调系统的符号控制设计(2017)
  11. 笨蛋,安妮·凯瑟琳;马朱姆达尔,鲁帕克;Leva,Adrian:动态分层无功控制器综合(2017)
  12. 伦格,马提亚斯;Zamani,Majid:SCOTS:符号控制器合成工具(2016)
  13. 乐高公司ënt,阿德里安;德维斯特,弗洛里安;雷伊,克里斯蒂安;查蒙,卢多维奇;Fribourg,Laurent:使用模型降阶和状态空间对分的切换控制系统的保证控制(2015)
  14. Girard,Antoine:使用近似互模拟的低复杂度量化开关控制器(2013)
  15. 扎马尼,马吉德;范德沃,内森;Majumdar,Rupak:Backstepping控制器综合与增量稳定性特征(2013)
  16. 查特吉,克莉什南杜;Majumdar,Rupak:欧米茄规则目标的最小注意控制器合成(2011)
  17. 吉拉德,安托万;乔治J.帕帕斯:《近似互模拟:计算机科学与控制理论之间的桥梁》(2011)
  18. 马祖,曼努埃尔·俊。;保罗,塔布阿达:符号近似时间最优控制(2011)
  19. 马祖,小曼努埃尔。;戴维安,安娜;保罗,塔布阿达:一个嵌入式控制器综合工具(2010)ioport公司