most citedFormal Verification of Consistency for Systems with Redundant Controllers

2 citations · 2 across the 2 of their papers we have counts for

collaborators

1 paper

cs.NI2026

Traffic-Aware Configuration of OPC UA PubSub in Industrial Automation Networks

Kasra Ekrad, Bjarne Johansson, Inés Alvarez Vadillo +2

Interoperability across industrial automation systems is a cornerstone of Industry 4.0. To address this need, the OPC Unified Architecture (OPC UA) Publish-Subscribe (PubSub) model…