Toward Distributed Declarative Control of Networked Cyber-Physical Systems

Stehr, Mark-Oliver; Kim, Minyoung; Talcott, Carolyn

doi:10.1007/978-3-642-16355-5_32

Cited by 22 publications

(12 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The combination of the cyber-framework with our distributed logic [3] will facilitate a new style of distributed, declarative control. The use of the framework for large-scale distributed simulation and analysis of the NCPS (beyond our multi-threaded implementation) is an unexplored possibility and has the potential for better scalability than conventional simulators due to the locality of events and immutability of knowledge.…”

Section: Discussionmentioning

confidence: 99%

“…Similarly, a positioning application uses the resources of its underlying node to manage the positioning device, e.g., to post position updates as knowledge and react to knowledge that represents positioning goals. One advantage of using knowledge-based interfaces is the potential for a logical interpretation in terms of facts and goals [3], which can lead to a better understanding and a more principled treatment of an NCPS, even if they are not developed in a declarative paradigm. As described in Section II, the computational model of each cyber-node is based on events and knowledge with corresponding equivalence and ordering relations.…”

Section: Par%ally Ordered Knowledge Sharingmentioning

confidence: 99%

“…Local computations are also needed for tasks such as information fusion, based on which new goals may be triggered. In [3], we presented a declarative approach to avoid low-level programming by combining distributed reasoning and asynchronous control. In this paper, we present a case study of a dynamic distributed optimization and control problem that is not solved using a distributed logic but directly built on top of the proposed cyber-framework in Section V.…”

Section: B Architecturementioning

confidence: 99%

See 2 more Smart Citations

An Application Framework for Loosely Coupled Networked Cyber-Physical Systems

Kim

Stehr

Kim

et al. 2010

2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing

Self Cite

View full text Add to dashboard Cite

Abstract-Networked Cyber-Physical Systems (NCPSs) present many challenges since they require a tight combination with the physical world as well as a balance between autonomous operation and coordination among heterogeneous nodes. These fundamental challenges range from how NCPSs are architected, implemented, composed, and programmed to how they can be validated. In this paper, we describe a new paradigm for programming an NCPS that enables users to specify their needs and nodes to contribute capabilities and resources. This new paradigm is based on the partially ordered knowledge sharing model that makes explicit the abstract structure of a computation in space and time. Based on this model, we propose an application framework that provides a uniform abstraction for a wide range of NCPS applications, especially those concerned with distributed sensing, optimization, and control. The proposed framework provides a generic service to represent, manipulate, and share knowledge across the network under minimal assumptions on connectivity. Our framework is tested on a new distributed version of an evolutionary optimization algorithm that runs on a computing cluster and is also used to solve a dynamic distributed optimization problem in a simulated NCPS that uses mobile robots as controllable data mules.

show abstract

Section: Discussionmentioning

confidence: 99%

Section: Par%ally Ordered Knowledge Sharingmentioning

confidence: 99%

Section: B Architecturementioning

confidence: 99%

See 1 more Smart Citation

An Application Framework for Loosely Coupled Networked Cyber-Physical Systems

Kim

Stehr

Kim

et al. 2010

2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing

Self Cite

View full text Add to dashboard Cite

show abstract

“…However, Alvares de Oliveira et al only cover a single synchronization scheme for coordinating complete feedback loops while the Deurema modeling language supports the specification of arbitrary coordination schemes for individual feedback loop activities. Other examples for the coordination (R-08) and synchronization (R-14) of adaptive behavior are presented by Sykes et al [164] and Stehr et al [163]. Sykes et al extend the ideas from Georgiadis et al [80] in two ways.…”

Section: Domain Specific Approaches For Adaptive Systemsmentioning

confidence: 99%

“…Second, they introduce a three layer architecture that realizes the overall adaptation logic, where each layer focuses on a specific adaptation concern. In contrast, Stehr et al [163] describe the coordination in form of formal, declarative control rules, which specify the allowed interaction between independent CPS. In the context of the automotive domain, Zeller et al [189] present a control architecture that handles hierarchically arranged MAPE feedback loops, where each loop realizes an individual piece of adaptation functionality.…”

Section: Domain Specific Approaches For Adaptive Systemsmentioning

confidence: 99%

Modeling Collaborations in Adaptive Systems of Systems

Wätzoldt

Giese

2015

Proceedings of the 2015 European Conference on Software Architecture Workshops

View full text Add to dashboard Cite

Recently, due to an increasing demand on functionality and flexibility, beforehand isolated systems have become interconnected to gain powerful adaptive System of Systems (SoS) solutions with an overall robust, flexible and emergent behavior. The adaptive SoS comprises a variety of different system types ranging from small embedded to adaptive cyber-physical systems. On the one hand, each system is independent, follows a local strategy and optimizes its behavior to reach its goals. On the other hand, systems must cooperate with each other to enrich the overall functionality to jointly perform on the SoS level reaching global goals, which cannot be satisfied by one system alone. Due to difficulties of local and global behavior optimizations conflicts may arise between systems that have to be solved by the adaptive SoS.This thesis proposes a modeling language that facilitates the description of an adaptive SoS by considering the adaptation capabilities in form of feedback loops as first class entities. Moreover, this thesis adopts the Models@runtime approach to integrate the available knowledge in the systems as runtime models into the modeled adaptation logic. Furthermore, the modeling language focuses on the description of system interactions within the adaptive SoS to reason about individual system functionality and how it emerges via collaborations to an overall joint SoS behavior. Therefore, the modeling language approach enables the specification of local adaptive system behavior, the integration of knowledge in form of runtime models and the joint interactions via collaboration to place the available adaptive behavior in an overall layered, adaptive SoS architecture.Beside the modeling language, this thesis proposes analysis rules to investigate the modeled adaptive SoS, which enables the detection of architectural patterns as well as design flaws and pinpoints to possible system threats. Moreover, a simulation framework is presented, which allows the direct execution of the modeled SoS architecture. Therefore, the analysis rules and the simulation framework can be used to verify the interplay between systems as well as the modeled adaptation effects within the SoS. This thesis realizes the proposed concepts of the modeling language by mapping them to a state of the art standard from the automotive domain and thus, showing their applicability to actual systems. Finally, the modeling language approach is evaluated by remodeling up to date research scenarios from different domains, which demonstrates that the modeling language concepts are powerful enough to cope with a broad range of existing research problems.-I - Zusammenfassung

show abstract

Moded and Continuous Abstract State Machines

Banach

Zhu

2021

Logic, Computation and Rigorous Methods

View full text Add to dashboard Cite

Toward Distributed Declarative Control of Networked Cyber-Physical Systems

Cited by 22 publications

References 12 publications

An Application Framework for Loosely Coupled Networked Cyber-Physical Systems

An Application Framework for Loosely Coupled Networked Cyber-Physical Systems

Modeling Collaborations in Adaptive Systems of Systems

Moded and Continuous Abstract State Machines

Contact Info

Product

Resources

About