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...

Full description

Saved in:
Bibliographic Details
Published in:International journal of systems science 2018-07, Vol.49 (10), p.2073-2088
Main Authors: Tamssaouet, F., Amari, S.
Format: Article
Language:English
Subjects:
(max,+) algebra
Algebra
Automata theory
Automatic
Client server systems
Clocks
Control systems
Discrete event systems
Engineering Sciences
Guards
Modelling
Networked control systems
performance evaluation
Response time
Tags
timed automata with guards
Upper bounds
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0020-7721
1464-5319
DOI:10.1080/00207721.2018.1483541