[IEEE IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Beijing (2017.10.29-2017.11.1)] IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - PV parameter identification using reduced I-V dataTay, Shaun; Lim, Idris; Ye, Zhen; Yang, Dazhi; Garrigos, Ausias · 2017

[IEEE IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Beijing (2017.10.29-2017.11.1)] IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Common DC bus concept in power plant auxiliary system: Part I reliability evaluationRongrong, Yu; Yao, Chen · 2017

[IEEE IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Beijing, China (2017.10.29-2017.11.1)] IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - The influence of internal current loop on transient response performance of I-V droop controlled paralleled DC-DC convertersWang, Haojie; Han, Minxiao; Guerrero, Josep M.; Vasquez, Juan C.; Han, Renke · 2017

[IEEE 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) - Porto (2018.7.18-2018.7.20)] 2018 IEEE 16th International Conference on Industrial Informatics (INDIN) - Counterexample visualization and explanation for function block diagramsPakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy · 2018

[IEEE 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - Poitiers, France (2016.7.19-2016.7.21)] 2016 IEEE 14th International Conference on Industrial Informatics (INDIN) - A study on user-friendly formal specification languages for requirements formalizationPang, Cheng; Pakonen, Antti; Buzhinsky, Igor; Vyatkin, Valeriy · 2016

[IEEE 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Cairns, QLD (2018.6.13-2018.6.15)] 2018 IEEE 27th International Symposium on Industrial Electronics (ISIE) - Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking PurposesBuzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy · 2018

[IEEE IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Beijing (2017.10.29-2017.11.1)] IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society - Scalable methods of discrete plant model generation for closed-loop model checkingBuzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy · 2017

[IEEE 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) - Berlin, Germany (2016.9.6-2016.9.9)] 2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA) - User-friendly formal specification languages - conclusions drawn from industrial experience on model checkingPakonen, Antti; Pang, Cheng; Buzhinsky, Igor; Vyatkin, Valeriy · 2016