Centre for Interdisciplinary Computational and Dynamical Analysis, University of Manchester,UK;
Centre for Interdisciplinary Computational and Dynamical Analysis, University of Manchester,UK;
Centre for Interdisciplinary Computational and Dynamical Analysis, University of Manchester,UK;
multi agent systems; cyber-physical systems; user centric control; stochastic model checking; bisimulation; runtime analysis; symmetries;
机译:一个以未来工厂在工厂的建模,仿真和控制的数据库为中心的框架
机译:基于时间的多主体系统中模型连续性的控制中心框架
机译:移动网络 - 物理系统控制的多代理深增强学习概念
机译:用于用户中心控制的正式框架,概率多代理网络物理系统
机译:概率约束网:用于概率混合系统建模和验证的正式框架。
机译:网络物理系统中控制模块的正式验证
机译:概率多agent网络物理系统以用户为中心控制的形式框架