Microservice approach to the qualitative study of attractors of binary dynamic systems based on the Boolean constraint method

Oparin, Gennady A.; Bogdanova, Vera; Pashinin, Anton A.

doi:10.23919/mipro48935.2020.9245300

Cited by 3 publications

(2 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The implementation of the proposed approach to the qualitative analysis of the considered dynamic property is based on the Boolean constraints method and performed in the form of an applied microservices package (AMP) [20]. This AMP was created based on the HPCSOMAS framework [21].…”

Section: Some Aspects Of Program Implementationmentioning

confidence: 99%

See 1 more Smart Citation

Investigation of observability property of controlled binary dynamical systems: a logical approach

Oparin¹,

Bogdanova²,

Pashinin³

2021

3rd International Workshop on Information, Computation, and Control Systems for Distributed Environments 2021

Self Cite

View full text Add to dashboard Cite

The property of observability of controlled binary dynamical systems is investigated. A formal definition of the property is given in the language of applied logic of predicates with bounded quantifiers of existence and universality. A Boolean model of the property is built in the form of a quantified Boolean formula accordingly to the Boolean constraints method developed by the authors. This formula satisfies both the logical specification of the property and the equations of the binary system dynamics. Aspects of the proposed approach implementation for the study of the observability property are considered. The technology of checking the feasibility of the property using an applied microservice package is demonstrated in several examples.

show abstract

Section: Some Aspects Of Program Implementationmentioning

confidence: 99%

“…In figure 1, the structural connections of AMP complexes, grouped in these complexes objects and corresponding used layers of knowledge are shown. The conceptual model of AMP, the construction and use of AMP for solving the problems of qualitative analysis of BDS are discussed in detail in [20].…”

Section: Some Aspects Of Program Implementationmentioning

confidence: 99%