Для программируемых логических контроллеров это Codesys (МЭК 61131-3).
Текстовые языки: IL (Instruction Language) - типа ассемблера, сейчас почти не используется.
ST (Structured Text) - аналог Паскаля. В 3 версии Codesys поддерживаются интерфейсы и объекты (ООП)
Графические языки: LD (Ladder Diagram) - релейно-контактная схема
FBD (Function Block Diagrams) - функциональные схемы
Вместо двух предыдущих используют CFC (Continuous Function Chart) - функц. схемы с возможностью делать обратные связи
Наконец, SFC (Sequentual Function Chart) - граф состояний. Переходы между блоками - логические условия. Блоки могут быть двух типов: МЭК и упрощенные.
Если умный дом на распределённой сети (KNX, LON, HDL), то используются методы параметрирования для стандартных блоков (реле, диммеры...)