Modeling cyber-physical systems for automatic verification
Youssef Driouich, Mimmo Parente, Enrico Tronci · 2017
In this paper we show how the open standard modeling language Modelica can be effectively used to support model-based design and verification of cyber-physical systems stemming from complex power electronics systems. To this end we present a Modelica model for a Distributed Maximum Power Point Tracking system along with model validation results.