Department of Electrical Engineering and Computer Science
University of Michigan
4pm Tuesday 12th November 2002
Room 2511, JCMB, King's Buildings
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.
(Joint work with Hosung Song.)