...
机译:随机混合系统的组成建模与验证框架
Chinese Acad Sci Inst Software State Key Lab Comp Sci Bldg 5 Software Pk 4 South 4th St Beijing Peoples R China;
Chinese Acad Sci Inst Software State Key Lab Comp Sci Bldg 5 Software Pk 4 South 4th St Beijing Peoples R China;
Chinese Acad Sci Inst Software State Key Lab Comp Sci Bldg 5 Software Pk 4 South 4th St Beijing Peoples R China;
Stochastic hybrid systems; Stochastic hybrid CSP; Deductive verification; Invariants;
机译:随机混合系统的组成建模与验证框架
机译:随机混合系统的组成建模与分析框架
机译:用于验证和控制离散时间随机混合系统的随机游戏框架
机译:用于智能电网的能量管理的组成框架:一种用于冷却地区网络的可扩展随机混合模型
机译:使用随机混合系统对生化过程进行建模,仿真和验证
机译:基于随机混合系统的框架用于对相关故障过程进行建模
机译:离散时间随机混合系统验证与控制的随机游戏框架?
机译:混合系统诊断的结构模型分解框架。