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.

Only after information system implementation it is possible to ensure effective and save computerisation and automation for smart house, which gives possibilities for remote devices or subsystems manage. Information system must ensure effective information collection, processing, monitoring or presentation measures. Changeable functional and information requirements are intrinsic for smart house information systems. Such a system must be flexible for new objects or systems integration. The flexible structure provides the rapid adaptation of the system to the control object directly. There was analysed smart house CIS development methods, smart house peculiarities and described systems integration problems in this job. Also presented objective model for smart house CIS and it main principals. According to analysed problems it was made model verification during experimental phase. The result - offered flexible smart house CIS model that allows save new objects implementation and olds modification.