Exploiting model continuity in agent-based cyber-physical systems

This work develops a control-centric agent-based approach to modeling, analysis and implementation of Cyber-Physical Systems (CPSs). Novel in this software engineering approach is a support to model continuity, that is the possibility of transitioning a same model from property analysis based on simulation, down to design, implementation and real-time execution. The paper introduces the basic concepts of the methodology, illustrates some implementation issues and presents a case study concerned with power management in a smart micro-grid.