| Autor: |
Oparin, Gennady, Bogdanova, Vera, Gorsky, Sergey, Pashinin, Anton |
| Předmět: |
|
| Zdroj: |
AIP Conference Proceedings; 2018, Vol. 2046 Issue 1, p020070-1-020070-9, 9p, 1 Color Photograph, 2 Diagrams |
| Abstrakt: |
We offer a new logical method for a parametric synthesizing linear static regulator in binary dynamic systems. To describe the dynamics in the general case of a nonlinear object and linear regulator state equations are used. The required dynamics property (in our case the property of stability) specification of a closed system is given in the formal logic language. In this formulation, the synthesis problem is reduced to the qualitative analysis problem - the verification of the truth of the quantified Boolean formula with the simultaneous search for the feedback matrix. The proposed method allows the natural parallelization based on data and high scalability with increasing the problem dimension in case of it is implemented in a high-performance computing environment. We develop a service-oriented solver, including the tools intended to automatically create a Boolean model of the original problem and solve the synthesis problem of a linear regulator using this model. [ABSTRACT FROM AUTHOR] |
| Databáze: |
Complementary Index |
| Externí odkaz: |
|
