Showing papers in "Automation and Remote Control in 2017"
TL;DR: The aim of this paper is to derive the converge rate of the proposed methods and to determine a noise level which does not significantly affect the convergence rate.
Abstract: In this paper the gradient-free modification of the mirror descent method for convex stochastic online optimization problems is proposed. The crucial assumption in the problem setting is that function realizations are observed with minor noises. The aim of this paper is to derive the convergence rate of the proposed methods and to determine a noise level which does not significantly affect the convergence rate.
49 citations
TL;DR: A brief survey of literature devoted to studying queueing systems withMarkovian and batch Markovian arrival processes and their application to modeling telecommunication networks is given.
Abstract: We give a brief survey of literature devoted to studying queueing systems with Markovian and batch Markovian arrival processes and their application to modeling telecommunication networks.
43 citations
TL;DR: A novel approach to constructing characteristic functions in cooperative differential games by computed values of a characteristic function for a specific differential game of pollution control, which is superadditive and possesses a number of other useful properties.
Abstract: We propose a novel approach to constructing characteristic functions in cooperative differential games. A characteristic function of a coalition S is computed in two stages: first, optimal control strategies maximizing the total payoff of the players are found, and next, these strategies are used by the players from the coalition S, while the other players, those from N S, use strategies minimizing the total payoff of the players from S. The characteristic function obtained in this way is superadditive. In addition, it possesses a number of other useful properties. As an example, we compute values of a characteristic function for a specific differential game of pollution control.
37 citations
TL;DR: Methods of making decisions from the results of diagnosis of the linear dynamic systems by the nonparametric method and an approach to fault localization were examined.
Abstract: Consideration was given to the problem of fault diagnosis of the linear dynamic systems by the nonparametric method distinguished for the fact that the system parameters may be unknown. An approach was proposed to fault localization. Methods of making decisions from the results of diagnosis were examined.
36 citations
TL;DR: Formalized were the organization principles and existence conditions for the affine block input–output form underlying the block design of the basic law of open-plus-closed-loop control providing invariance of the output variables with respect to the exogenous perturbations.
Abstract: Consideration was given to the nonlinear multiple-input multiple-output systems under the action of unmatched exogenous perturbations. For the general systems where the conditions for bounded problem of autonomous control are not met, formalized were the organization principles and existence conditions for the affine block input–output form underlying the block design of the basic law of open-plus-closed-loop control providing invariance of the output variables with respect to the exogenous perturbations. The constructions are augmented by the derivatives of the exogenous and control actions, but in distinction from the existing approaches their generating dynamic models are not included. To realize the basic law of control, used is an observer of the mixed phase and exogenous variables based on a virtual system with respect to the tracking errors with closed local links. An original decomposition procedure to design correcting observer actions was presented as a linear saturation functions estimating the mixed variables with the desired precision.
36 citations
TL;DR: The paper discusses the development of a generic platform underlying the design of custom CNC systems for hi-tech production complexes, where either conventional C NC systems are inapplicable or control tasks cannot be fully accomplished.
Abstract: The paper discusses the development of a generic platform underlying the design of custom CNC systems for hi-tech production complexes, where either conventional CNC systems are inapplicable or control tasks cannot be fully accomplished.
35 citations
TL;DR: A genetic algorithm with two versions of crossovers based on the idea of most rational use of constrained resources is proposed, which uses a heuristic that takes into account the degree of criticality for the resources.
Abstract: We consider the resource-constrained project scheduling problem with respect to the makespan minimization criterion. The problem accounts for technological constraints of activities precedence together with resource constraints. We propose a genetic algorithm with two versions of crossovers based on the idea of most rational use of constrained resources. The crossovers uses a heuristic that takes into account the degree of criticality for the resources, which is derived from the solution of a relaxed problem with a constraint on accumulative resources. A numerical experiment with examples from the PCPLIB library has shown that the proposed algorithm has competitive quality. For some examples from the j120 test series the best known solutions were improved and for j60 (50 000 and 500 000 iterations) and for j120 (500 000 iterations) we have obtain the best average deviations of the solutions from the critical path value.
32 citations
TL;DR: In certain cases, the structure of the concurrent error detection system on the basis of the optimal code is superior in complexity to the system of parity check.
Abstract: Proposed were new structures for concurrent error detection systems of the combinatorial logic circuits based on the codes with summation of the weighted transitions and their modifications. They were compared with the traditional systems of duplication and check by the Berger code. The structure based on the code with summation of the weighted transitions allowed one to improve the index of realization complexity as compared with the duplication system by 4 % on the average. The structure obtained by modifying the code with summation of the weighted transitions into the optimal code enables one to improve this index almost twice as much as compared with the system of checking by the Berger code. At that, this system has a better index of error detection. In certain cases, the structure of the concurrent error detection system on the basis of the optimal code is superior in complexity to the system of parity check.
25 citations
TL;DR: In this paper, robust versions of the principle component analysis approach are proposed along with numerical methods for their implementation.
Abstract: Modern problems of optimization, estimation, signal and image processing, pattern recognition, etc., deal with huge-dimensional data; this necessitates elaboration of efficient methods of processing such data. The idea of building low-dimensional approximations to huge data arrays is in the heart of the modern data analysis.
One of the most appealing methods of compact data representation is the statistical method referred to as the principal component analysis; however, it is sensitive to uncertainties in the available data and to the presence of outliers. In this paper, robust versions of the principle component analysis approach are proposed along with numerical methods for their implementation.
19 citations
TL;DR: It is shown that synthesis of Pareto optimal controls can be done in terms of linear matrix inequalities based on optimizing Germeier’s convolution, which also turns out to be the generalized H2-norm of the closed-loop system with output composed of the objective outputs multiplied by scalars.
Abstract: We consider a novel multi-objective control problem where the criteria are generalized H
2-norms of transfer matrices of individual channels from the disturbance input to various objective outputs. We obtain necessary conditions for Pareto optimality. We show that synthesis of Pareto optimal controls can be done in terms of linear matrix inequalities based on optimizing Germeier’s convolution, which also turns out to be the generalized H
2-norm of the closed-loop system with output composed of the objective outputs multiplied by scalars. As applications we consider multi-objective problems of vibration isolation and oscillation suppression with new types of criteria.
17 citations
TL;DR: The notion of a fully testable fault is introduced and it is shown that in order to ensure that all single faults in combination devices are detected with their concurrent checking based on Berger’s code, the property that it detects 100% of unidirectional errors is used.
Abstract: We formulate necessary and sufficient conditions for detecting a fault at the output of a logical element in a combination logical device in a concurrent error-detection system based on Berger's code. We introduce the notion of a fully testable fault. We show that in order to ensure that all single faults in combination devices are detected with their concurrent checking based on Berger's code we can use not only the property that it detects 100% of unidirectional errors but also the property that it detects 100% of asymmetrical errors. Due to the latter property, we can reduce structural redundancy of the combination device, when transforming its circuit to one amenable for control, compared to known algorithms for modifying the structure of combination devices into circuits with unidirectionally independent outputs.
TL;DR: The Stackelberg model with linear demand and cost functions for the agents where the leader agent and follower agents have imprecise initial information regarding the marginal costs of competitors is presented.
Abstract: We present the Stackelberg model with linear demand and cost functions for the agents where the leader agent and follower agents have imprecise initial information regarding the marginal costs of competitors. Agents dynamically refine their perceptions and actions based on observing the actions other agents. We obtain necessary and sufficient conditions of the event that the dynamic converges to a Stackelberg equilibrium with true values of marginal costs. We also clarify the situations when agents cannot come to an equilibrium.
TL;DR: The necessary and sufficient frequencydomain conditions (criteria) for the existence of a common quadratic Lyapunov function providing stability of the switched systems were proposed for them.
Abstract: Consideration was given to a special class of the hybrid systems with switchings of time-invariant linear right-hand sides. A narrower subclass of such systems, that of connected switched linear systems, was specified among them. The necessary and sufficient frequencydomain conditions (criteria) for the existence of a common quadratic Lyapunov function providing stability of the switched systems were proposed for them. The specified subclass includes control systems with several nonstationary nonlinearities from the finite sectors that are the matter at issue of the theory of absolute stability. For the connected switched linear systems of a special kind (triangular type systems), the separate necessary and separate sufficient existence conditions were obtained for such Lyapunov functions. The interrelations between these conditions were discussed in the example.
TL;DR: A comparative analysis of the efficiency of the proposed control mechanisms for the model of an ecosystem of a shallow body of water (with the example of the Azov sea) is shown.
Abstract: We study dynamical game-theoretic models of two-level control systems accounting for the conditions of sustainable development. As the hierarchical control mechanisms we consider compulsion and impulsion methods. We give definitions of equilibria and show algorithms for constructing them with simulation modeling for various information regulations. We show a comparative analysis of the efficiency of the proposed control mechanisms for the model of an ecosystem of a shallow body of water (with the example of the Azov sea).
TL;DR: This work considers a multicriterial optimization problem for volumes of buffers in a production line, and uses evolutionary algorithms SIBEA and SEMO to approximate the Pareto optimal set.
Abstract: We consider a multicriterial optimization problem for volumes of buffers in a production line. We assume that the line has a series-parallel structure, and during its operation equipment stops occur due to failures, stops that are random in the moments when they arise and in their durations. The volumes of buffers are integer-valued and bounded from above. As criteria we consider the average production rate of the line, capital costs for installing buffers, and the inventory cost for intermediate products. To approximate the Pareto optimal set we use evolutionary algorithms SIBEA and SEMO. Problems with larger dimension experimentally support the advantage of the modified SEMO algorithm with respect to the hypervolume of the resulting set of points.
TL;DR: The Berge–Pareto equilibrium is formalized and sufficient conditions for the existence of the equilibrium are found, and theexistence of the mixed strategy equilibrium is proved.
Abstract: The Berge equilibrium concept was suggested by Russian mathematician K. Vaisman in 1994. In this paper, we suggest to use this concept as a mathematical model of the Golden Rule. The Berge–Pareto equilibrium is formalized and sufficient conditions for the existence of the equilibrium are found. As a supplement, the existence of the mixed strategy equilibrium is proved.
TL;DR: To provide a highly efficient control of nonlinear systems in the presence of nonmodeled dynamics and external perturbations, a new control law with feedback based on the sliding modes with an observer of the “Super-Twist” kind was proposed.
Abstract: To provide a highly efficient control of nonlinear systems in the presence of nonmodeled dynamics and external perturbations, a new control law with feedback based on the sliding modes with an observer of the “Super-Twist” kind was proposed. For acceptable use of the continuous observer signal in the controller, presented were adaptive laws for adjustment of the control system parameters. Using the methods of Lyapunov function, system stability (convergence to a zone) was proved. This technique was proposed as an example of control and stabilization of the position of a parallel manipulator (Gough–Stewart platform). The presented mechanism with six degrees of freedom is used to control the secondary mirror of the “Large Millimeter Telescope Alfonso Serrano” situated in the state of Puebla, Mexico.
TL;DR: The problem is reduced to that of parametric optimal control of an initial-boundary value problem where unknown current values of temperature at the measurement points occur at the right side of its equation and the boundary conditions.
Abstract: Consideration was given to the problem of optimizing the locations of the control points over the object state within the framework of the optimal feedback control problems of the distributed parameter objects. For certainty, considered was heating of a rod in furnace where the temperature of controlled vs. the temperature measured at certain points of the rod. The problem is reduced to that of parametric optimal control of an initial-boundary value problem where unknown current values of temperature at the measurement points occur at the right side of its equation and the boundary conditions. Formulas were derived for the components of the objective functional gradient with respect to the coordinates of the control point locations and the parameters of the measurement-dependent current control. The results of the carried out numerical experiments were given.
TL;DR: Consideration was given to the problem of optimal control of the quasilinear stochastic continuous-time systems whose coefficients in the general case depend nonlinearly on the program control.
Abstract: Consideration was given to the problem of optimal control of the quasilinear stochastic continuous-time systems whose coefficients in the general case depend nonlinearly on the program control. A special case of this problem is represented by optimization of the incompletefeedback control strategies. An optimization algorithm was proposed based on the method of gradient descent in the functional space. Its relaxation property was substantiated in theoretical terms. The necessary optimality conditions are formulated and proved within the framework of the formulated problem.
TL;DR: In experiments on the recognition of continuous Russian speech with extra-large vocabulary, the relative reduction in the word error rate obtained after rescoring the 50 best list with the neural network language models interpolated with the trigram model was 14%.
Abstract: We show the results of studying models of the Russian language constructed with recurrent artificial neural networks for systems of automatic recognition of continuous speech We construct neural network models with different number of elements in the hidden layer and perform linear interpolation of neural network models with the baseline trigram language model The resulting models were used at the stage of rescoring the N best list In our experiments on the recognition of continuous Russian speech with extra-large vocabulary (150 thousands of word forms), the relative reduction in the word error rate obtained after rescoring the 50 best list with the neural network language models interpolated with the trigram model was 14%
TL;DR: A game-theoretic model for choosing the strategies for competitive and unbounded in capacity agents and a Pareto optimal solution for this model under complete information is defined.
Abstract: We develop an oligopoly model for nonlinear cost functions of the agents under constraints on the competitiveness and capacity of the agents and formulate Nash equilibrium conditions for this model. We develop a game-theoretic model for choosing the strategies for competitive and unbounded in capacity agents and define a Pareto optimal solution for this model under complete information.
TL;DR: The adequacy of the Cournot reaction model is demonstrated using the equilibrium modeling of the Volga region telecommunication market, where the price functions and agents’ cost functions for the voice and Internet services are defined by statistical analysis methods.
Abstract: In this paper, we consider the structural modeling problem of an oligopoly market for an arbitrary number of agents, the linear and nonlinear models of market demand, and the nonlinear models of agents' costs. The equilibrium behavior of the agents is described on the basis of conjectural variations in the Cournot or Stackelberg reaction models (in the cases of one or several leaders). The adequacy of the Cournot reaction model is demonstrated using the equilibrium modeling of the Volga region telecommunication market, where the price functions and agents' cost functions for the voice and Internet services are defined by statistical analysis methods.
TL;DR: A model for a servicing system with perishable inventory and a finite queue of impatient claims where the server can be in one of three states: operational, early and delaying vacations and a method for approximate computation of the system’s characteristics is developed.
Abstract: We propose a model for a servicing system with perishable inventory and a finite queue of impatient claims where the server can be in one of three states: operational, early and delaying vacations. We develop a method for approximate computation of the system’s characteristics. We show results of numerical experiments.
TL;DR: A mathematical model of joint servicing of the multiservice real time traffic and elastic data traffic with batch arrival of requests was constructed and investigated, and an algorithm to estimate numerically the characteristics of a model based on construction and solution of the equilibrium equations system was developed.
Abstract: A mathematical model of joint servicing of the multiservice real time traffic and elastic data traffic with batch arrival of requests was constructed and investigated. The definitions of the performance measures of joint requests servicing were formulated, and their interrelations established. An algorithm to estimate numerically the characteristics of a model based on construction and solution of the equilibrium equations system was developed. Consideration was given to some partial cases of the model for which convenient recursive algorithms to calculate the measures of joint requests servicing were constructed. A method to estimate the desired rate of data transmission was proposed on the basis of the asymptotic properties of the model under light load. Numerical examples illustrating the distinctions of realizing the developed computer procedures were described.
TL;DR: The identification problem for the technical parameters, i.e., hydraulic efficiency coefficients, of gas transmission systems (GTS) under standard unsteady gas flow is considered and an algorithm to solve it is proposed.
Abstract: We consider the identification problem for the technical parameters, ie, hydraulic efficiency coefficients, of gas transmission systems (GTS) under standard unsteady gas flow Coefficient estimation is reduced to a conditional optimization problem with equality type constraints We propose an algorithm to solve it The algorithm's efficiency has been tested with computational experiments, including a looped gas supply system The resulting model operates under the current level of GTS information support
TL;DR: It is shown that this choice of an executor for a new task is to a large extent defined by the structure of the lattice of tasks and the definition of the multiplication operation on it.
Abstract: We consider the possibility to explain manifestations of collective intelligence via the presence of structure in the set of tasks may being fulfilled. A distributed system corresponds to a lattice of tasks that the system can fulfill. On this lattice, we define an external multiplication operation for lattice elements and respective operations of linear logic. The implication operation is used to choose the version of system reconfiguration, i.e., choose an executor for a new task. We show that this choice is to a large extent defined by the structure of the lattice of tasks and the definition of the multiplication operation on it. The proposed reconfiguration method is applied to an example of operation for a group of janitor robots.
TL;DR: In this paper, a cascade decomposition method was proposed to solve control problems for the nonstationary heterogeneous linear systems under conditions on the state and control functions at different time points, which consists of a phased transition from of the initial problem to the formula for the determination of some part of the functions of control.
Abstract: Proposed was a method to solve control problems for the nonstationary heterogeneous linear systems under conditions on the state and control functions at different time points. It consists of a phased transition from of the initial problem to the formula for the determination of some part of the functions of control and a problem similar to the previous one for a system with a smaller number of equations. The suggested method is a modification of the previous method of cascade decomposition, which solves problems using the projectors on the subspace. In the present paper, decomposition was carried out by solving the linear algebraic equations and replacing linearly the desired vector functions. The procedure of differentiation of certain functions was used to construct the controlled process.
TL;DR: For an object whose dynamics obeys a system of ordinary differential equations, application of the methods of subdifferential and hypodifferential descent to the problem of program control of object dynamics was illustrated.
Abstract: For an object whose dynamics obeys a system of ordinary differential equations, application of the methods of subdifferential and hypodifferential descent to the problem of program control of object dynamics was illustrated.
TL;DR: The design of the robust law for the nonaffine control plant operating in the environment of external and parametric perturbations relies on the hyperstability criterion and the conditions for L-dissipativity, as well as on using in the main loop an explicit two-output reference model and fast correcting filter.
Abstract: Consideration was given to construction of a nonlinear robust control law for a multivariable dynamic plant distinguished for control nonlinear mathematical model, the socalled nonaffinity. The design of the robust law for the nonaffine control plant operating in the environment of external and parametric perturbations relies on the hyperstability criterion and the conditions for L-dissipativity, as well as on using in the main loop an explicit two-output reference model and fast correcting filter.
TL;DR: The empirical results on efficiency concepts applied to higher education institutions, data envelopment analysis (DEA) adjusted to heterogeneous samples, inputs and outputs chosen for these institutions and factors tended to make universities efficient are systematized.
Abstract: This paper systematizes the empirical results on efficiency concepts applied to higher education institutions, data envelopment analysis (DEA) adjusted to heterogeneous samples, inputs and outputs chosen for these institutions and factors tended to make universities efficient Special attention is paid to the consistency of results yielded by different models