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.
Exploiting model continuity in agent-based cyber-physical systems
Cicirelli F;
2017
Abstract
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.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
