A semantic model for interacting cyber-physical systems

DOI10.4204/EPTCS.347.5MaRDI QIDQ6649543

Farhad Arbab, Benjamin Lion, Carolyn L. Talcott

Publication date: 6 December 2024

Mathematics Subject Classification ID

Automated systems (robots, etc.) in control theory (93C85) Algebraic methods (93B25) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Defining liveness
• Hybrid I/O automata.
• Strictly causal functions have a unique fixed point
• Universal coalgebra: A theory of systems
• Abstract behavior types: a foundation model for components and their composition
• A modular formal semantics for Ptolemy
• Dynamic networks of heterogeneous timed machines
• Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems

Related Items (1)

Runtime composition of systems of interacting cyber-physical components

This page was built for publication: A semantic model for interacting cyber-physical systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6649543)