Programming Support for Distributed Optimization and Control in Cyber-Physical Systems
Large-scale actuator control problems in Cyber-Physical Systems (CPSs) are often expressed within the networked optimization model. While significant advances have taken place in optimization techniques, their widespread adoption in practical implementations is impeded by the complexity of inter-node coordination and lack of programming support that is necessary for sharing information coherently between distributed and concurrent controller processes. In this paper, the authors propose a Distributed Shared Memory (DSM) architecture that abstracts away the details of inter-node coordination from the programmer resulting in simplified application design. It maintains data coherency through explicit use of mutual exclusion lock primitives that serialize access to coarse subsets of shared variables using fine-grained read/write permissions.