A Distributed Logic for Networked Cyber-Physical Systems

DOI10.1007/978-3-642-29320-7_13MaRDI QIDQ2894562zbMATH OpenOpenAlexFDO

Authors Mark-Oliver Stehr, Min-Young Kim, Carolyn Talcott

Publication date 29 June 2012

Published in Fundamentals of Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-29320-7_13

zbMATH Keywords

distributed declarative logicnetworked cyber-physical systemspartially ordered knowledge

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Artificial intelligence for robotics (68T40)

Recommendations

• A formal framework for distributed cyber-physical systems
• A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems
• On distributed coordination in networks of cyber-physical systems
• Putting logic-based distributed systems on stable grounds
• Quantified Differential Dynamic Logic for Distributed Hybrid Systems
• Logical foundations of cyber-physical systems
• A Logic For Distributed Processes

Cited in

(8)

• Logics for actor networks: a case study in constrained hybridization
• A formal framework for distributed cyber-physical systems
• Logics for actor networks: a two-stage constrained-hybridisation approach
• A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems
• Soft agents: exploring soft constraints to model robust adaptive distributed cyber-physical agent systems
• Partially ordered knowledge sharing and fractionated systems in the context of other models for distributed computing
• scientific article; zbMATH DE number 5662518 (Why is no real title available?)
• A logical framework for reasoning about local and global properties of collective systems

Describes a project that uses

Uses Software

• Maude

This page was built for publication: A Distributed Logic for Networked Cyber-Physical Systems

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