The Phi-calculus - a new language for distributed control of continuous reconfigurable systems

Joint work with Hosung Song.

In this talk we present a new language which allows concurrent programs to interact with continuous environments. It is an extension of the powerful pi-calculus of Milner, which already provides for concurrency and reconfigurability. Our contribution adds the notion of active environments which can specify flows over continuous time using ordinary differential equations. This allows us to extend ordinary hybrid automata to specify systems of physical agents which can reconfigure themselves. We prove a theorem stating that processes (weakly) bisimilar in the process-algebraic sense remain bisimilar in a fully hybrid sense when embedded in the same continuous environment.  

hosted by