×

混合(pi)演算的空间逻辑。 (英语) 兹比尔1135.93342

Alur,Rajeev(编辑)等人,《混合系统:计算和控制》。2004年3月25日至27日在美国宾夕法尼亚州费城举行的HSCC 2004第七届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21259-0/pbk)。计算机科学课堂讲稿2993508-522(2004)。
摘要:我们提出了一种形式化逻辑,用于说明用混合(pi)演算或(Phi)演算表示的系统的属性。它是一个非常有表现力的逻辑,包含了许多标准逻辑,如CTL和模态演算。因为\(\pi\)-演算和\(\Phi\)-演算法允许传递名称以实现混合系统的可重构性,并且因为我们必须对这些名称进行抽象,所以逻辑(Caires和Cardelli对\(\ pi\)的逻辑的混合扩展)-演算)使用一种新的定义抽象的方法——FM集理论——来表达演算模型的语法和语义,以及表达空间逻辑的语义。我们为该逻辑提供了几个新的构造,包括假设保证原则,并使用一个小型工厂中机器人零件进料器和零件搬运器的扩展示例来说明许多语义特征。
关于整个系列,请参见[Zbl 1046.93002号].

MSC公司:

93立方 由微分方程以外的函数关系控制的控制/观测系统(如混合系统和开关系统)
68甲18 函数编程和lambda演算
60年第68季度 规范和验证(程序逻辑、模型检查等)
PDF格式BibTeX公司 XML格式引用
全文: 内政部