Modelling and temporal evaluation of networked control systems using timed automata with guards and (max,+) algebra

In this paper, we have proposed a new approach to evaluate the response time of Networked Control Systems (NCS) working under client/server protocol. For this, we have used two tools of discrete event systems: Timed Automata with Guards (TAGs) and (max,+) algebra. A preliminary result is to define a formal representation to describe the behaviour for TAGs with multiple clocks in (max,+) algebra and to deduce some performance indicators of these asynchronous models. The second contribution consists of modelling the NCS with TAGs and determining the upper bounds of the response time by an analytical formula. Finally, we have shown the agreement between experimental measures of the response time found in the literature and the theoretical predictions of our formulas.