SGER: Algebraic Languages for Reconfigurable Hybrid Systems

圆CCR-0233960该项目，根据嵌入式和混合系统计划（EHS）， 研究了一种令人惊讶的简单方法，用于将过程代数技术与基于混合自动机的技术相结合，以创建用于混合和嵌入式系统的真实的编程语言可以基于的数学基础。更具体地说，它解决了一类新的混合系统，可以重新配置自己，以处理不同的物理任务在不同的时间，但同时运行。很少有进展已经取得了这样的problems.This研究的混合扩展的米尔纳的π演算，让这种语言编写的过程中进行交互与连续的环境。其扩展是phi演算，采用这种方法的原因如下。(1)phi演算被认为是继承和适当扩展大多数当前版本的混合系统;例如，混合自动机，混合I-O自动机，混合Petri网和HybridCC;（2）目标是能够以原则性的结构方式建模分布式逻辑控制和与连续过程的交互。π演算，使用它的代数过程结构原语，已被证明是一种丰富的语言，在其中可以表达许多有趣的离散并发现象：一种语言，理论，通信过程，可以重新配置自己，语言，其中分布式对象和类可以被定义;一种语言和理论，不仅能够表达相互作用，而且能够表达任意计算，因为丘奇的微积分可以翻译成它;（3）这一切都表明，成功的代数演算的混合版本将有新的和优雅的方式来表达混合系统-分布式控制的可能性，这将是尴尬的，如果不是不可能的，在目前的形式主义表达。

RoundsCCR-0233960This project, under theembedded and hybrid systems program (EHS), investigates a surprisingly simple method forintegrating process-algebraic techniques with hybrid automaton-based techniques for creating a mathematical foundation upon which real programming languages for hybrid and embedded systems can be based. More specifically, it addresses a new class of hybrid systemswhich can reconfigure themselves to handle different physical tasks at different times, yet operating concurrently. Very little progress has been achieved to date on such problems.This research investigates a hybrid extension of Milner's pi-calculus to allow processes written in this language to interact with continuous environments. The extension is the phi-calculus.The reasons for pursuing this approach are as follows. (1) The phi-calculus is believed to subsume and properly extend most of the current versions of hybrid systems; for example, hybrid automata hybrid I-O automata hybrid Petri nets, and HybridCC; (2) The goal is to be able to model distributed logical control and interaction with continuous processes in a principled structural way. The pi-calculus, using its algebraic process-structuring primitives, has been shown to bea rich language in which many interesting discrete concurrent phenomena can be expressed: a language for, and theory of, communicating processes which can reconfigure themselves; a language in which distributed objects and classes can be defined; and a language and theorycapable not only of expressing interaction, but arbitrary computation, in that the lambda-calculus of Church can be translated into it; (3) This all suggests that successful hybrid versions of algebraic calculi will have novel and elegant ways of expressing hybrid systems --possibilities for distributed control which would be awkward, if not impossible, to express in current formalisms.