On the issue of stability of hybrid automata by a part of variables

被引：0

作者：

Bychkov A.S. ^{[1
]}

Suprun O.N. ^{[1
]}

Krzhyzh I. ^{[2
]}

Navotna V. ^{[2
]}

机构：

[1] Kiev National Taras Shevchenko University, Kiev

[2] Brno University of Technology, Brno

来源：

Journal of Automation and Information Sciences | 2019年 / 51卷 / 10期

关键词：

Dynamical system; Hybrid automata; Hybrid timed automata; Lyapunov function; Stability of a dynamical system;

D O I：

10.1615/JAutomatInfScien.v51.i10.20

中图分类号：

学科分类号：

摘要：

The problem of the stability of hybrid automata according to certain variables is considered. This problem is urgent and develops rapidly, especially in recent years. Aspects of its solution using the Lyapunov functions are also considered. The problem of hybrid automata stability regarding certain variables arises naturally for solving the applied problems. Namely, when based on the requirements of the normal functioning of an object, it is sufficient to ensure its stability only according to some variables. Formulation of the problem of stability regarding certain variables belongs to A.M. Lyapunov, but he himself did not investigate this problem. There is a great methodological similarity in the study of stability considering all, and a part of variables using the Lyapunov functions. However, there are certain differences in resolving some identical issues as applied to stability problems for all and a part of the variables. There are methods to reduce the problem of stability regarding certain variables to the study of stability in all variables of some auxiliary system, and vice versa. These two types of stability are closely related and mutually complementary. Currently, the problem of the stability of hybrid automata in terms of variables is considered as an independent section of the theory of stability. It is shown that the property of the y1-positive definiteness of Lyapunov functions is not sufficient for studying the stability of hybrid automata in terms of a part of variables. The concept of a y1 -uniform positive definiteness of a function had been introduced. Theorems that provide sufficient stability conditions had been proved. For linear hybrid automata the constructive stability conditions had been obtained. The article also shows how using the stated theorems one can investigate the stability of hybrid timed automata. © 2019 by Begell House Inc.

引用

页码：23 / 30

页数：7

共 8 条

[1]

Roumiantsev V.V., Oziraner A.S., Stability and Stabilization of Motion Relative to a Part of Variables, (1987)

[2]

Bychkov A.S., Merkuriev M.G., Sufficient conditions of stability of stationary state of linear hybrid automata, Upravlyayushchie Sistemy i Mashiny, 2, pp. 18-23, (2007)

[3]

Bychkov A.S., Ivanov E.V., Stability research of hybrid automata for modeling motion of flying apparatus, Upravlyayushchie Sistemy i Mashiny, 5, pp. 24-28, (2008)

[4]

Peleties P., DeCarlo R., Asymptotic stability of m-switched systems using Lyapunov functions, Proceedings of the 31st IEEE Conference on Decision and Control, pp. 3438-3439, (1992)

[5]

Pettersson S., Lennartson B., Stability and robustness for hybrid systems, Proceedings of the 35th Conference on Decision and Control, pp. 1202-1207, (1996)

[6]

Ye H., Michel A., Hou L., Stability theory for hybrid dynamical systems, IEEE Transactions on Automatic Control, 43, 4, pp. 461-474, (1998)

[7]

Panayotova G., Dimitrov G.P., Petrov P., Bychkov O.S., Modeling and data processing of information systems, Proceedings of the Third International Conference on Artificial Intelligence and Pattern Recognition (AIPR), pp. 154-158, (2016)

[8]

Dimitrov G., Bychkov O., Petrov P., One approach for analysis of fuzzy linear hybrid automata, Izvestia Journal of the Union of Scientists-Varna, Economic Sciences Series, Union of Scientists Varna, Economic Sciences Section, 7, 2, pp. 234-240, (2018)

← 1 →