SGER: Algebraic Languages for Reconfigurable Hybrid Systems

这个项目，在嵌入式和混合系统项目（EHS）下，研究了一种令人惊讶的简单方法，将过程代数技术与基于混合自动机的技术集成在一起，为混合和嵌入式系统创建一个真正的编程语言可以基于的数学基础。更具体地说，它解决了一类新的混合系统，这些系统可以重新配置自己，在不同的时间处理不同的物理任务，但同时运行。迄今为止，在这些问题上取得的进展很少。本研究探讨了米尔纳pi微积分的混合扩展，以允许用这种语言编写的过程与连续环境交互。扩展就是微积分。采用这种方法的原因如下。(1)认为π -演算包含并适当地扩展了大多数当前版本的混合系统；例如混合自动机混合I-O自动机混合Petri网，和HybridCC；(2)目标是能够以有原则的结构方式对分布式逻辑控制和与连续过程的交互进行建模。使用其代数过程结构原语的pi-calculus已被证明是一种丰富的语言，其中可以表达许多有趣的离散并发现象：一种可以重新配置自己的通信过程的语言和理论；一种可以定义分布式对象和类的语言；还有一种语言和理论，不仅可以表达相互作用，而且可以任意计算，因为丘奇的λ演算可以翻译成它；(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.