Section: New Results

Formal model of computations, mobility and resource discovery adapted for CPS

Participants : Robert de Simone, Luigi Liquori.

We will adapt formal Models of Computations and formal system like Type Theory to capture properties for distributed, networked and mobile CPS. Discovering and synchronizing, possibly in presence of mobility, are important issues in CPS. We will extend our past distributed resource discovery model with a notion of logical time; the difficulty comes to both discover and synchronize CPSs having different logical times.