PT Unknown
AU Driouich, Y
   Parente, M
   Tronci, E
TI Modeling cyber-physical systems for automatic verification
SE 14th International Conference on Synthesis, Modeling, Analysis and Simulation Methods and Applications to Circuit Design (SMACD 2017)
PY 2017
BP 1
EP 4
DI 10.1109/SMACD.2017.7981621
DE cyber-physical systems; formal verification; maximum power point trackers; power engineering computing; Modelica; automatic verification; complex power electronics systems; cyber-physical systems modeling; distributed maximum power point tracking system; open standard modeling language; Computational modeling; Control systems; Integrated circuit modeling; Mathematical model; Object oriented modeling; Radiation effects; Automatic Formal Verification; DMPPT; Modeling; Photovoltaic systems; Simulation; System Analysis and Design
ER