В роботі розроблено архітектурно-логічну модель подання керування процесами в виробничих об'єктах на базі кіберфізичних систем. Вона базується на науково обґрунтованих теоріях мультисистем і моносистем та методах формалізованого подання систем. Це дозволило об'єднати стратегічні, фізичні та кібернетичні складові системи у єдиний інформаційний простір. На базі моделі запропоновано технологію розробки кіберфізичних виробничих систем, що дозволило розробити метод подання структурних системних моделей кіберфізичного керування процесами. Це, в свою чергу, дозволило формалізувати алгоритм функціонування та побудувати структурні і подієві моделі функціонування кіберфізичних виробничих систем. Удосконалено метод синтезу алгоритмів функціонування кіберфізичних виробничих систем. Це призвело до мінімізації кількості операторів і спрощення структури системи функціонування виробничого об'єкту. Розроблено модель формалізації кібернетичної складової виробничого об'єкта у вигляді взаємопов'язаних багаторівневих GUI елементів, що дозволило автоматизувати реалізацію функцій відповідно до вимог HMI кіберфізичних виробничих систем. Також розроблено синтаксичну і семантичну моделі декларативної мови визначення й опису моделювання кібернетичної складової. Проведено ряд досліджень, які показали підвищення продуктивності та ритмічності виробництва. Монографія може бути корисна науковцям, аспірантам, студентам, які займаються питаннями розробки методологій проєктування кіберфізичних виробничих систем в концепції Industry 4.0.