A distributed logic for Networked Cyber-Physical Systems |
| |
Authors: | Minyoung Kim Mark-Oliver Stehr Carolyn Talcott |
| |
Affiliation: | SRI International, Menlo Park, CA, USA |
| |
Abstract: | We describe a distributed logical framework designed to serve as a declarative semantic foundation for Networked Cyber-Physical Systems. The framework provides notions of facts and goals that include interactions with the environment via external goal requests, observations that generate facts, and actions that achieve goals. Reasoning rules are built on a partially ordered knowledge-sharing model for loosely coupled distributed computing. The logic supports reasoning in the context of dynamically changing facts and system goals. It can be used both to program systems and to reason about possible scenarios and emerging properties. |
| |
Keywords: | Distributed declarative logic Partially ordered knowledge Networked cyber-physical systems |
本文献已被 ScienceDirect 等数据库收录! |