A new formal approach to safe response time upper bound evaluation for distributed control systems using dioid algebra.

This paper presents an approach to computing a safe upper bound of the response time of Distributed Control System (DCS). From a graphical model of live autonomous Timed Event Graphs (TEGs) with asynchronous links and weights, we draw algebraic representations of the time/event dynamics using the M〚γ,δ〛 dioid. By introducing scalers and two operators for handling batching or multiplying events, we are able to calculate the trajectories and transfer functions.