AI Seminar
    -------------------------------
    Tuesday, October 21st, 2003
    4:00 pm - 5:30 pm
    175 ATL (Large Conference Room)

    "A language for real-time control of distributed, reconfigurable 
    embedded systems"

    Bill Rounds
    Department of Electrical Engineering and Computer Science
    University of Michigan




----------------------------------
In this talk I'll report on an ongoing interdisciplinary project which 
aims to give a mathematical semantics to hybrid dynamical systems -- those 
with both a discrete and continuous evolution -- for the complicated case 
when these systems operate concurrently in real time and communicate via 
name-passing. The idea is to combine a powerful language for writing 
reconfigurable concurrent systems -- the pi-calculus of Robin Milner -- 
with systems of differential equations which themselves operate 
concurrently and reconfigure themselves. If there is time, I'll mention a 
logic called ``spatial logic'' which we can use to verify that such 
systems behave correctly.