Method of development Smart-House-Systems Models, based on Petri-Markov Nets, and extended by functional components. - Vasyl Teslyuk; Pavlo Denysyuk; Khrystyna Beregovska; Marta Mashevska (CSIT (1), 2017)

Neural controller for smart house security subsystem. - Vasyl Teslyuk; Pavlo Denysyuk; Natalia Kryvinska; Khrystyna Beregovska; Taras Teslyuk (EUSPN/ICTH, 2019)