Formal model of temporal commitment in real-time multi-agent systems
Authors:
Abstract:
The formal model of inter-agent communication in real-time multi-agent systems is presented on the basis of the set theory and logics, using RTCTL. Proposed the extension of the commitment concept by embedding the temporal parameter as a necessary condition of the correct execution in real time.