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.
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...
详细信息
We formulate the problem of finding a Nash equilibrium point for the non-zero sum three-person game as a nonconvex optimization problem by generalizing Mills's theorem [10]. For solving the problem, we propose the...
详细信息
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...
详细信息
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.
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...
详细信息
Modern large-scale astroparticle setups measure high-energy particles, gamma rays, neutrinos, radio waves, and the recently discovered gravitational waves. Ongoing and future experiments are located worldwide. The dat...
详细信息
In the late sixties, N. Shor and B. Polyak independently proposed optimal first-order methods for solving non-smooth convex optimization problems. In 1982 A. Nemirovski proposed optimal first-order methods for solving...
详细信息
Today, PDF is one of the most popular document formats in the web. Many PDF documents are not images, but remain untagged. They have no tags for identifying the logical reading order, para- graphs, figures, and tables...
详细信息
ISBN:
(纸本)9781450344388
Today, PDF is one of the most popular document formats in the web. Many PDF documents are not images, but remain untagged. They have no tags for identifying the logical reading order, para- graphs, figures, and tables. One of the challenges with these doc- uments is how to extract tables from them. The paper discusses a new system for table structure recognition in untagged PDF doc- uments. It is formulated as a set of configurable parameters and ad-hoc heuristics for recovering table cells. We consider two dif- ferent configurations for the system and demonstrate experimental results based on the existing competition dataset for both of them.
暂无评论