In this paper we study the problem of estimating the time required to process decompositions of hard SAT instances encoding inversion problems of some cryptographic functions. In particular, we consider one type of SA...
详细信息
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 ar...
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.
The problem of finding a Nash equilibrium in polymatrix game of three players (hexamatrix game) is considered. For the equivalent nonconvex optimization problem an issue of local search is investigated. First, we stud...
详细信息
Observer-based self sensing for digital (on–off) single-coil solenoid valves is investigated. Self sensing refers to the case where merely the driving signals used to energize the actuator (voltage and coil current) ...
详细信息
In this study, we describe a volunteer computing BOINC-based project aimed at solving computationally hard inverse problems in underwater acoustics. We used this project to solve two instances of single-hydrophone dis...
详细信息
Modern detectors of cosmic gamma-rays are a special type of imaging telescopes (air Cherenkov telescopes) supplied with cameras with a relatively large number of photomultiplier-based pixels. For example, the camera o...
详细信息
In spite of intensive study since 1980s, there are still a lot of open problems in the supervisory controltheory of discrete-event systems (DES), especially partially observed and decentralized ones, due to complexit...
In spite of intensive study since 1980s, there are still a lot of open problems in the supervisory controltheory of discrete-event systems (DES), especially partially observed and decentralized ones, due to complexity issues of supervisor’s construction and verification algorithms. An important problem is the decentralized supervisory control, implemented by a set of automata each observing its own part of the system behavior. Preservation of co-observability of specification languages for DES under state space reduction, which is applied to reduce SCT algorithms computational complexity, is studied. One popular automata abstraction is considered and conditions for its applicability are obtained using the method of logical-algebraic equations.
35L65, 93B03We consider the Cauchy problem for a multidimensional scalar conservation law and construct an outer estimate for the domain of dependence of its Kružkov solution. The estimate can be represented as the co...
详细信息
An optimal control problem for the continuity equation is considered. The aim of a controller is to maximize the total mass within a target set at a given type moment. An iterative numerical algorithm for solving this...
详细信息
暂无评论