模仿者

仿真器是用于参数化实时系统参数验证和鲁棒性分析的软件工具。它依赖于参数时间自动机网络的形式主义,增加了整型变量和秒表。它实现了安全合成、鲁棒性、非定时语言保存、非芝诺或无死锁参数合成、接受循环合成等多种算法,具有分布式能力。


ZBMaX中的参考文献(26篇)2篇标准文章

显示结果1至20的26。
按年份排序(引文
  1. Markey,尼古拉斯:参数时间自动机中的语言保存问题(2020)
  2. Mhiri,萨哈尔:Time4Sys2imi:一种在不确定条件下正式化实时系统模型的工具(2019)
  3. 安德烈艾蒂恩:什么是参数时间自动机?(2016)
  4. 参数化死锁自由度检验时间自动机(2016)
  5. 安德烈,刘,杨;孙,军;Dong,金松:分层并发实时系统的参数综合(2014)
  6. 安德烈,艾瑟蒂恩;弗里堡,劳伦特;苏拉特,罗曼:融合与征服:参数化时间自动机中的状态合并(2013)
  7. 安德鲁,艾蒂恩;弗里堡,劳伦特;Sproston,杰瑞米:概率时间自动机逆方法的推广(2013)
  8. Waez,MD TaHuff-bin;Dingel,Juergen;Rudie,凯伦:实时系统开发的时间自动机综述(2013)
  9. 安德烈,艾瑟蒂恩;弗里堡,劳伦特;K·洪,Ulrich;索拉特,罗曼:仿效者2.5:一种分析排序问题的稳健性的工具(2012)伊波尔特
  10. Suralt,RoMn:合成满足安全特性的定时参数(2011)
  11. 弗里堡,劳伦特;Kuh Hne,Ulrich:利用逆方法对混合自动机的参数验证和测试覆盖(2011)
  12. Palokangas,Tapio:一个具有创造性破坏和不可分散风险的经济体的最优专利长度和宽度(2011)
  13. 弗里堡,劳伦特:时间自动机的行为制图(2010)
  14. 松岛,Noriaki;Matsumura,东非:利润增加的平行进口(2010)
  15. Roshtkhari,Mehrsan Javan;Arami,阿拉什;卢卡斯,卡罗:基于模仿学习的不稳定系统未知系统的情感控制器(2010)
  16. AdReE.E.TIENN:仿拟器:时间自动机定时界约束的综合工具(2009)伊波尔特
  17. 托马斯,弗里堡,劳伦特,Ennalz,Emmanuelle:参数时间自动机的逆方法(2009)
  18. Hehenkamp,Burkhard;Kaabb e,Oddvar M.:变化环境中的仿真器和优化器(2008)
  19. Jonathan P.,哈特尔,Richard F.;Kort,Peter M.;费希廷格,Gustav:解释时尚周期:产品空间中追求创新者的仿效者(2007)
  20. 谢,Wenxin;周,亚;李,Keqiang:人力资本投资失衡的演化博弈分析(2007)