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.
Modeling cyber-physical systems for automatic verification / Driouich, Y.; Parente, M.; Tronci, E.. - (2017), pp. 1-4. (Intervento presentato al convegno 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design, SMACD 2017 tenutosi a Atahotel Naxos Beach Conference Centre, Via Recanati, ita) [10.1109/SMACD.2017.7981621].
Modeling cyber-physical systems for automatic verification
Tronci, E.
2017
Abstract
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
Tronci_modeling_2017.pdf
solo gestori archivio
Note: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7981621
Tipologia:
Versione editoriale (versione pubblicata con il layout dell'editore)
Licenza:
Tutti i diritti riservati (All rights reserved)
Dimensione
419.57 kB
Formato
Adobe PDF
|
419.57 kB | Adobe PDF | Contatta l'autore |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
