Modeling of a DC boost converter behavior in PV system using finite state machines | IEEE Conference Publication | IEEE Xplore