A graphical notation for the propositionalμ-calculus, called modal graphs, ispresented. It is shown that both the textu......

The supervisory control problem for discrete event system(DES) under control involves identifying the supervisor, if one......

并发加权μ-演算(concurrent weightedμ-calculus,CWC)是对Kim.G.Larsen所提出的并发加权逻辑的强有力的扩充,通过加入不动点算子......

最近,针对为组合性标记加权转移系统建模的需要,Larsen等人提出了并发加权逻辑。该逻辑是多模态的,包含了反映给定状态的资源总量......

命题μ-演算局部模型检测算法中，目前最好的算法的时间复杂度与不动点算子交替嵌套深度d呈指数关系。针对命题μ-演算局部模型检测......