Abstract State Machines; MAPE-K; formal modeling; self-adaptation; validation amp; verification;
机译:基于Petri网的自适应系统中MAPE-K回路的建模与分析
机译:分析游戏数据以告知The Radix Endeavor中的反馈循环
机译:NetDS:一个Cytoscape插件,用于分析动力学和生物网络前馈/反馈回路结构的鲁棒性
机译:建模和分析自适应MAPE-K反馈回路
机译:建模二甲硫醚反馈环(硫磺循环,能量平衡模型)。
机译:使用modelMaGe进行自动集成建模:分析HOG Sho1分支中的反馈机制通路
机译:反馈控制作为自主计算中的mapE-K循环