上云母

Supremica-一个用于离散事件系统验证、综合和仿真的集成环境。提出了一个用于离散事件系统验证、综合和仿真的集成环境Supremica。Supremica中的基本模型是有限自动机,其中转换有一个关联事件、一个保护条件和一个更新自动机变量的动作函数。Supremica使用两种主要方法来处理大型状态空间。第一种方法利用模块化,将原始问题分成许多更小的问题,共同解决原始问题。第二种方法使用一种有效的数据结构,即二进制决策图,来象征性地表示可达状态。SUPERMICA中的模型可以在环境中进行模拟。也可以使用iec61131和iec61499标准生成实现模型行为的代码


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

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

  1. 马利克,罗比;Teixeira,Marcelo:带变量抽象的扩展有限状态机的最小限制可控监控器的合成(2020)
  2. 马利克,罗比;Ware,Simon:关于合成非阻塞验证中反例的计算(2020)
  3. 雷伊宁,费迪·费迪费希尔。;古尔登,马蒂金A。;范德莫泰尔弗隆扎克,乔安娜M。;Rooda,Jacobus E.:监管机构综合建模——船闸桥组合案例研究(2020)
  4. 哈格布林,弗雷德里克;Lennartson,Bengt:使用组合优化的大规模系统的时间最优控制(2019)
  5. 孟吉,克劳迪奥;斯波莱蒂尼,保拉;玛莎契克;Ghezzi,Carlo:控制器迭代设计的验证驱动框架(2019)
  6. 王喜;李志武;Moor,Thomas:基于SCT的具有精确任务执行时间的模块化实时系统的无优先级条件抢占调度(2019)
  7. 苏荣;Wonham,W.Murray:在减少主管方面,哪些信息真正重要?(2018年)
  8. 萨哈尔,莫哈杰拉尼;马利克,罗比;Fabian,Martin:状态机和状态图形式的监管者合成(2017)
  9. 萨哈尔,莫哈杰拉尼;马利克,罗比;Fabian,Martin:扩展有限状态机的组合非阻塞验证框架(2016)
  10. 库里,乔斯·E·R。;德奎罗斯,马克斯·赫林;布松,古斯塔沃;Teixeira,Marcelo:离散事件系统的监督控制(2015)
  11. 马利克,罗比;Leduc,Ryan:使用离散事件系统和冲突预订单的制造系统分层建模(2015)
  12. Markovski,Jasen:使用行为预序来定义非确定性离散事件系统的可控性(2015)
  13. 萨哈尔,莫哈杰拉尼;马利克,罗比;Fabian,Martin:模块化非阻塞监测仪的合成框架(2014)
  14. 威尔,西蒙;Malik,Robi:使用带注释自动机的离散事件系统的冲突保持抽象(2012)
  15. 科贝茨基,阿凡纳;Fabian,Martin:使用确定性有限自动机和混合整数线性规划的柔性制造系统的时间最优协调(2009)