A new formal approach to safe response time upper bound evaluation for distributed control systems using dioid algebra
{{output}}
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... ...
