


Vol 77, No 4 (2016)
- Year: 2016
- Articles: 17
- URL: https://ogarev-online.ru/0005-1179/issue/view/8983
Linear Systems
Structural decomposition of a polynomial transition function into a collection of linear automation links
Abstract
We consider a method of structural decomposition for an object’s polynomial transition function obtained from an output transition function into a set of structural circuits consisting of standard automation links. The choice of an “optimal” structural circuit is done with the minimal “entropy” criterion.



Nonlinear Systems
Oscillation family in weakly coupled identical systems
Abstract
Consideration was given to an autonomous model with weakly coupled identical subsystems. Existence of a family of periodic solutions which is similar to the family in a subsystem was established. A scenario of bifurcations of the characteristic exponents was given, and the stabilization problem was solved. An example was given.



Evaluation of the domain of attraction of time-varying systems with sector and polynomial nonlinearities
Abstract
In this paper, we propose a method for computing an estimate of the domain of attraction of a system containing time-varying sector nonlinearity together with quadratic and cubic nonlinearities. The method is based on use of non-symmetric Lyapunov functions combined with scanning the phase space in polar coordinates. Examples testifying to the efficiency of the new approach are presented.



Synthesis of a stabilizing feedback for a wheeled robot with constrained control resource
Abstract
Stabilization of motion of a wheeled robot with constrained control resource by means of a continuous feedback linearizing the closed-loop system in a neighborhood of the target path is considered. We pose the problem of finding the feedback coefficients such that the phase portrait of the nonlinear closed-loop system is topologically equivalent to that of a linear system with a stable node, with the asymptotic rate of decrease of the deviation from the target path being as high as possible. On this family, we pose the problem of minimization of “overshooting” for arbitrary initial conditions. The solution of this optimization problem is proved to be a limit discontinuous control law. A hybrid control law is proposed that, on the one hand, ensures the desired properties of the phase portrait and minimal overshooting and, on the other hand, does not result in a chattering inherent in systems with discontinuous feedbacks.



Robust and Adaptive Systems
Choosing optimal values of tuning parameters for technical devices and systems
Abstract
We consider the parametric synthesis problem for analog technical devices and systems, where tuning the elements is necessary to ensure required quality and reliability parameters. We pay the most attention to choosing optimal values of variable parameters established during industrial or maintenance tuning.



System Analysis and Operations Research
Stationary object servicing dispatching problems in a one-dimensional processor working zone
Abstract
We consider a system where servicing of a collection of stationary objects distributed inside a one-dimensional zone is done by a moving processor. One-time servicing of each object must be performed during two runs of the processor, direct and reverse. Servicing of any object cannot begin before a predefined time moment; each object is also associated with an individual penalty which is a monotone increasing function of the moment when servicing ends. For the resulting optimization problems, we propose algorithms based on dynamic programming, give examples of their implementation, show results of numerical experiments; we study the computational complexity of these algorithms and the problems themselves.



On one class of decision diagrams
Abstract
A class of decision diagrams for representation of the normal forms of Boolean functions was introduced. Consideration was given, in particular, to the disjunctive diagrams representing the disjunctive normal forms (DNF). In distinction to the binary decision diagrams (BDD) and reduced ordered binary decision diagram (ROBDD), the disjunctive diagram representing an arbitrary DNF is constructed in a time which is polynomial of the size of the DNF binary code. Corresponding algorithms were described, and the results were presented of the computer-aided experiments where the proposed diagrams were used to reduce the information content accumulated in the course of deciding hard variants of Boolean satisfiability problem (SAT).



Control in Social Economic Systems, Medicine, and Biology
Hierarchical games with deliberately distorted information
Abstract
Consideration was given to the hierarchical two-person game where the lower-level player informs the principal about his decisions, and at that it can communicate invalid information. The principal, however, can verify at random the presented information and penalize its partner for the distorted information. Calculation of the maximal guaranteed result in a corresponding game is a complicated variational game. The present paper reduced this problem to calculation of multiple maximins in the “finite-dimensional” spaces. This result enables one to gain an insight into the logical structure of the optimal strategy of the upper-level player.



Existence of Berge equilibrium in conflicts under uncertainty
Abstract
The main tool for conflict resolution (equilibration) is the equilibrium strategy. Among the torrent of publications in this field, including the seven Nobel prize winners of 1994–2012, the Nash equilibrium is the fundamental one. Such equilibrium. however, does not necessarily exist. In this case, it is only natural to introduce a new notion of equilibrium, that of Berge. It was discussed in the paper which established existence of the Berge equilibrium in the mixed strategies and proposed sufficient conditions reducible to determination of the saddle point of a special Germeier convolution of the gain functions.



Intellectual Control Systems
Minimization of the maximal lateness for a single machine
Abstract
Consideration was given to the classical NP-hard problem 1|rj|Lmax of the scheduling theory. An algorithm to determine the optimal schedule of processing n jobs where the job parameters satisfy a system of linear constraints was presented. The polynomially solvable area of the problem 1|rj|Lmax was expanded. An algorithm was described to construct a Pareto-optimal set of schedules by the criteria Lmax and Cmax for complexity of O(n3logn) operations.



Generating conditions for preserving the properties of controlled discrete event systems
Abstract
We show how to apply the method of logic-algebraic equations as a representative of reduction methods that preserve system properties after a transformation. We study the problem of preserving properties of a supervisor for a controllable discrete event system represented as a finite state machine: completeness, non-rejecting property, and others. We relax previously known requirements imposed on mappings between supervisors.



Navigation and Control of Moving Systems
Algorithm for calibration of the electromagnetic positioning system
Abstract
Consideration was given to the problem of relative positioning with the use of variable magnetic field. Preliminary calibration of the positioning system was shown to be necessary to increase precision in determination of the navigation parameters. Various approaches to the calibration experiment were discussed. Efficient calibration algorithms were proposed, and a numerical example of solving a calibration problem was presented.



Mathematical Game Theory and Applications
Game problems of harvesting in a biological community
Abstract
This paper considers the game problem of biological community control. A set of players with individual utility criteria control a biological community. All players are mutually independent and possess information on the current state of the community. In a special case, this can be a fish community (ichtyocenosis) in an ocean or sea under the impact of different types of harvesting. And finally, the proposed game structures are illustrated using numerical simulation results for populations and communities of marine fish.



Fixed point search in a discrete monotone decreasing operator
Abstract
This paper analyzes the computational complexity of fixed point search in a nonincreasing additive operator. A power algorithm determining a fixed point is proposed. A constructive proof of fixed point existence is given in a special case of a nonincreasing additive bounded-variation operator. Possible applications include voluntary financing of public good, the Cournot oligopoly and others.






Bidding games with several risky assets
Abstract
This paper considers multistep bidding models where several types of risky assets (shares) are traded between two agents that have different information on the liquidation prices of traded assets. These random prices depend on “a state of nature” determined by the initial chance move according to a probability distribution that is known to both players. Player 1 (insider) is aware of the state of nature, but Player 2 is not. Player 2 knows that Player 1 is an insider. The bids may take any integer values. The n-step model is reduced to a zero-sum repeated game with incomplete information of Player 2. It is shown that, if the liquidation prices of shares have finite variances, then the value sequence of n-step games is bounded. This property makes it reasonable to consider the bidding of unlimited duration. The solutions of the corresponding infinite-duration games are constructed. By analogy with the case of two risky assets (see [9]), the optimal strategy of Player 1 induces a random walk of the transaction prices. The symmetry of this random walk is broken at the final steps of the game.



Uniform Tauberian theorem in differential games
Abstract
This paper establishes the uniform Tauberian theorem for differential zero-sum games. Under rather mild conditions imposed on the dynamics and running cost, two parameterized families of games are considered, i.e., the ones with the payoff functions defined as the Cesaro mean and Abel mean of the running cost. The asymptotic behavior of value in these games is investigated as the game horizon tends to infinity and the discounting parameter tends to zero, respectively. It is demonstrated that the uniform convergence of value on an invariant subset of the phase space in one family implies the uniform convergence of value in the other family and that the limit values in the both families coincide. The dynamic programming principle acts as the cornerstone of proof.


