%0 Conference Proceedings
%T Modeling cyber-physical systems for automatic verification
%A Driouich, Y.
%A Parente, M.
%A Tronci, E.
%S 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017)
%D 2017
%F Driouich_etal2017
%O exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=168), last updated on Tue, 23 Jan 2018 10:07:12 +0100
%K cyber-physical systems
%K formal verification
%K maximum power point trackers
%K power engineering computing
%K Modelica
%K automatic verification
%K complex power electronics systems
%K cyber-physical systems modeling
%K distributed maximum power point tracking system
%K open standard modeling language
%K Computational modeling
%K Control systems
%K Integrated circuit modeling
%K Mathematical model
%K Object oriented modeling
%K Radiation effects
%K Automatic Formal Verification
%K DMPPT
%K Modeling
%K Photovoltaic systems
%K Simulation
%K System Analysis and Design
%R 10.1109/SMACD.2017.7981621
%U http://mclab.di.uniroma1.it/publications/papers/driouich/2017/168_Driouich_etal2017.pdf
%U https://doi.org/10.1109/SMACD.2017.7981621
%P 1-4