We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.LO

Change to browse by:

cs

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Logic in Computer Science

Title: A Rewriting Framework for Interacting Cyber-Physical Agents

Abstract: The analysis of cyber-physical systems (CPS) is challenging due to the large state space and the continuous changes occurring in their constituent parts. Design practices favor modularity to help reducing this complexity. In a previous work, we proposed a discrete semantic model for CPS that captures both cyber and physical aspects as streams of discrete observations, which ultimately form the behavior of a component. This semantic model is denotational and compositional, where each composition operator algebraically models an interaction between a pair of components. In this paper, we propose a specification of components as rewrite systems. The specification is operational and executable, and we study conditions for its semantics as components to be compositional. We demonstrate our framework by modeling a coordination of robots moving on a shared field. We show that our system of robots can be coordinated by a protocol in order to exhibit a desired emerging behavior. We use an implementation of our framework in Maude to give practical results.
Subjects: Logic in Computer Science (cs.LO)
Cite as: arXiv:2206.03997 [cs.LO]
  (or arXiv:2206.03997v2 [cs.LO] for this version)

Submission history

From: Benjamin Lion [view email]
[v1] Wed, 8 Jun 2022 16:21:03 GMT (21kb)
[v2] Tue, 2 Aug 2022 07:23:30 GMT (35kb)

Link back to: arXiv, form interface, contact.