Єлісєєва, М. С.2022-03-312022-03-312018Єлісєєва М. С. Програмна система керування розумним ліжком «beddest» / М. С. Єлісєєва // Міжнародна весняна школа з верифікації та штучного інтелекту : зб. доп., 24-25 квітня 2018 р. – Харків, 2018. – С. 73–84.https://openarchive.nure.ua/handle/document/20020The research is devoted to the optimization of the human sleep process regulation with the object of the Internet of things such as smart bed. The factors that affect the sleep quality were described, the market of smart beds was analyzed, the formal model of high quality sleep and the bed model that affects sleep quality the most was build. The system of the smart bed was provided.ukінтернет речейфактори якості снурозумне ліжкоположення тілатемпературний режимThesis