Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems

DOI10.1007/978-3-319-15545-6_18zbMath1454.68148OpenAlexW71507039MaRDI QIDQ5256354

Maneesh K. Yadav, Farhad Arbab, Carolyn L. Talcott

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/23982

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Distributed systems (68M14) Agent technology and artificial intelligence (68T42) Multi-agent systems (93A16)

Related Items (4)

Detection and diagnosis of deviations in distributed systems of autonomous agents ⋮ On the formalization and computational complexity of resilience problems for cyber-physical systems ⋮ Unnamed Item ⋮ A semantic model for interacting cyber-physical systems

Uses Software

• Maude
• PAGODA

Cites Work

• Unnamed Item
• A calculus of quality for robustness against unreliable communication
• Semantics and pragmatics of real-time maude
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Adopt: asynchronous distributed constraint optimization with quality guarantees
• Safety versus Security in the Quality Calculus
• A Rewriting Logic Framework for Soft Constraints
• A Distributed Logic for Networked Cyber-Physical Systems
• Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing

This page was built for publication: Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems