Publication:5889310

DOI10.1017/S0960129522000251OpenAlexW4294708697MaRDI QIDQ5889310

Vivek Nigam, Ian A. Mason, Carolyn L. Talcott, Min-Young Kim

Publication date: 19 April 2023

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129522000251

zbMATH Keywords

cyber-physical systemsrewriting logiccounterfactual reasoningsoft agents

Mathematics Subject Classification ID

Computer science (68-XX)

Related Items

On the formalization and computational complexity of resilience problems for cyber-physical systems

Uses Software

• Maude

Cites Work

• Unnamed Item
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Conditional rewriting logic as a unified model of concurrency
• Twenty years of rewriting logic
• Coordinated decentralized protocols for failure diagnosis of discrete event systems
• Causality analysis and fault ascription in component-based systems
• Provably Repairing the ISO/IEC 9798 Standard for Entity Authentication
• A rewriting framework and logic for activities subject to regulations
• Semiring-based constraint satisfaction and optimization
• Soft Agents: Exploring Soft Constraints to Model Robust Adaptive Distributed Cyber-Physical Agent Systems
• Causes and Explanations: A Structural-Model Approach. Part I: Causes
• Fault Ascription in Concurrent Systems