@InProceedings{Driouich_etal2017, author="Driouich, Y. and Parente, M. and Tronci, E.", title="Modeling cyber-physical systems for automatic verification", booktitle="14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017)", year="2017", pages="1--4", optkeywords="cyber-physical systems", optkeywords="formal verification", optkeywords="maximum power point trackers", optkeywords="power engineering computing", optkeywords="Modelica", optkeywords="automatic verification", optkeywords="complex power electronics systems", optkeywords="cyber-physical systems modeling", optkeywords="distributed maximum power point tracking system", optkeywords="open standard modeling language", optkeywords="Computational modeling", optkeywords="Control systems", optkeywords="Integrated circuit modeling", optkeywords="Mathematical model", optkeywords="Object oriented modeling", optkeywords="Radiation effects", optkeywords="Automatic Formal Verification", optkeywords="DMPPT", optkeywords="Modeling", optkeywords="Photovoltaic systems", optkeywords="Simulation", optkeywords="System Analysis and Design", optnote="exported from refbase (http://mclab.di.uniroma1.it/publications/show.php?record=168), last updated on Tue, 23 Jan 2018 10:07:12 +0100", doi="10.1109/SMACD.2017.7981621", file=":http://mclab.di.uniroma1.it/publications/papers/driouich/2017/168\textit{Driouich}etal2017.pdf:PDF" }