This work is dedicated to the making and research of smarthouse control systems. The main problem in such systems is that there are many subsystems in the living house that we have to control in real time. Following tasks were completed in order to tackle this problem:  in-house processes analysis;  formal modeling methods analysis;  composition of control system model;  control system model verification. Petri nets were chosen as formal modeling method for control system. Control system model was created using timed Petri nets (TPN). Models of functional elements and control system model was simulated using Matlab software. Following conclusions were made after model research:  models of functional elements operated correctly;  models of functional elements can be used for systems with specific requirements;  control system model dispensed time for functional elements properly;  composed model can be easily changed and expanded;  composed model will be implemented and used in “Structural Solutions and Functionality Optimization of Dwelling Houses” project.

Theoretic part: Business plan and his structure, Practikal part: Buseness plan Smart House