Abstract
In the first part of this paper, we solve the problem of verifying stability of an interconnection of embedded control systems under a timing contract which specifies the time instants at which some operations in each subsystem are performed such as sampling, actuation, or control input computation. In our approach, we reformulate each subsystem into an impulsive system and then derive a small gain condition on the stability of the interconnection using reachability analysis. In the second part of the paper, we consider the problem of synthesizing a set of timing contracts that guarantee the stability of the interconnected embedded control system by exploiting the monotonicity of stability with respect to timing contract parameters. Linear and nonlinear examples are provided allowing us to compare our results with existing techniques and to show the effectiveness of our approach.
Item Type: | Journal article |
---|---|
Faculties: | Mathematics, Computer Science and Statistics > Computer Science |
Subjects: | 000 Computer science, information and general works > 004 Data processing computer science |
Language: | English |
Item ID: | 82272 |
Date Deposited: | 15. Dec 2021 15:01 |
Last Modified: | 15. Dec 2021 15:01 |