The design of a complex system warrants a compositional methodology, i.e., composing simple components to obtain a larger system that exhibits their collective behavior in a meaningful way. We propose an automaton-based paradigm for compositional design of such systems where an action is accompanied by one or more preferences. At run-time, these preferences provide a natural fallback mechanism for the component, while at design-time they can be used to reason about the behavior of the component in an uncertain physical world. Using structures that tell us how to compose preferences and actions, we can compose formal representations of individual components or agents to obtain a representation of the composed system. We extend Linear Temporal Logic with two unary connectives that reflect the compositional structure of the actions, and show how it can be used to diagnose undesired behavior by tracing the falsification of a specification back to one or more culpable components.
Detection and Diagnosis of Deviations in Distributed Systems of Autonomous Agents
Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands

Kappé, T.W.J, Arbab, F, & Talcott, C. (2017). A component-oriented framework for autonomous agents. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence (pp. 20–38). doi:10.1007/978-3-319-68034-7_2