Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
From MaRDI portal
Publication:5256354
DOI10.1007/978-3-319-15545-6_18zbMath1454.68148MaRDI 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
68Q42: Grammars and rewriting systems
68M14: Distributed systems
68T42: Agent technology and artificial intelligence
93A16: Multi-agent systems
Related Items
Unnamed Item, Detection and diagnosis of deviations in distributed systems of autonomous agents, On the formalization and computational complexity of resilience problems for cyber-physical systems, A semantic model for interacting cyber-physical systems
Uses Software
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
