Search

This paper considers an optimal movement routing problem with constraints. One such constraint is due to decomposing the original problem into a preliminary subproblem and a final subproblem; the tasks related to the preliminary problem must be executed before the tasks of the final subproblem begin. In particular, this condition may arise in the tool control problem for thermal cutting machines with computer numerical control (CNC): if there are long parts among workpieces, the cutting process near a narrow material boundary should start with these workpieces since such parts are subject to thermal deformations, which may potentially cause rejects. The problem statement under consideration involves two zones for part processing. The aggregate routing process in the original problem includes a starting point, a route (a permutation of indices), and a particular track consistent with the route and the starting point. Each of the subproblems has specific precedence conditions, and the travel cost functions forming the additive criterion may depend on the list of pending tasks. A special two-stage procedure is introduced to apply dynamic programming as a solution method. The structure of the optimal solution is established and an algorithm based on this structure is developed. The algorithm is implemented on a personal computer and a computational experiment is carried out. [ABSTRACT FROM AUTHOR]

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. [ABSTRACT FROM AUTHOR]

Highlights the fifteenth IFAC Congress which took place in Barcelona, Spain on July 21-26, 2002. Participants; Number of research papers that were presented during the congress; Featured plenary sessions; Organization of the congress.

The article reports on the Third All-Russian Conference "Control and Information Technologies" which was held from June 30 to July 2, 2005 at the Saint Petersburg State Electrotechnical University in Russia. Sponsors of the event include the Russian Ministry of Education and Science, Russian Academy of Sciences and Saint Petersburg Institute of Informatics and Automation. It featured renowned researchers representing the Russian academic institutes and universities. The scientific program of the conference was structured along the lines: control in nonlinear dynamic systems; information technologies of control and modeling; and applied problems of control and information processing.

This paper studies the following path planning problem for a robot. There is a given path avoiding obstacles. If existing obstacles change their location or new obstacles appear, the preplanned path must be appropriately deformed for all obstacles avoidance. We develop a solution approach based on the component-wise method of smoothing the path curvature and the method of potentials. The proposed approach enables to avoid obstacles and smooth the path and its curvature (in the 2D and 3D cases). [ABSTRACT FROM AUTHOR]

During last few decades the Egalitarian Processor Sharing (EPS) has gained a prominent role in applied probability, especially, in queueing theory and its computer applications. While the EPS paradigm emerged in 1967 as an idealization of round-robin (RR) scheduling algorithm in time-sharing computer systems, it has recently capture renewed interest as a powerful concept for modeling WEB servers. This paper summarizes the most important results concerning the exact solutions for the M/GI/1 queue with egalitarian processor sharing. The material is drawn, mainly, from recent authors’ papers which are supplemented, in small degree, by other related results. Many of the further results are established under the direct influence of our earlier papers. Our main purpose is to give a survey of state-of-the-art with regard to main achievements of the contemporary theory of the M/GI/1 queueing system with processor sharing. The focus is on the methods and techniques of exact and asymptotic analysis of this queueing system. In contrast to the standard surveys, the abridged proofs (or their ideas) of some key theorems and corollaries are included in the paper. We outline recent developments in exact analysis of the M/GI/1-EPS queue with further emphasis on time-dependent (transient) probability distributions of the main characteristics. In particular, the present paper includes the results on the joint time-dependent distribution of the sojourn time of a job arriving at time t with the service demand (length) u, and of the number of jobs at time t- in the M/GI/1 queue with egalitarian processor sharing, which obtained in form of multiple transforms. We also show how the non-stationary solutions can be used to obtain known and new results which allow to predict the behaviour of the EPS queue and to yield additional insights into its new unexpected properties. We also discuss a number of limit theorems arising under the study of the processor sharing queues. [ABSTRACT FROM AUTHOR]

The paper discusses the evaluation of potential benefits of mass production automation where a specified set of automation tools is used. Automata operation efficiency, their cost and lifetime are allowed for. The algorithm developed enables the selection of automata set ensuring minimum product cost. The estimate of minimum attainable manufacturing cost is calculated. [ABSTRACT FROM AUTHOR]

In the paper, we study a problem of constructing a linear dynamic output controller for suppressing bounded exogenous perturbations in a linear control system. We propose an approach based on a method of invariant ellipsoids and technique of linear matrix inequalities. A control of gyroplatform and two-mass system is given as an example. [ABSTRACT FROM AUTHOR]

new algorithm is developed for compensation of parametrically uncertain multi-harmonic disturbances affecting a control plant. In contrast to the known results, this paper deals with the situation where the relative degree of the plant is arbitrary, the only measured signals are output and control, and there exist delays in the control channel. [ABSTRACT FROM AUTHOR]

A new model is developed and studied in this paper—structured dynamic discrete event systems as a theoretical foundation for designing the supervisory control over the set of autonomous components. The composition of the model is defined and the question of a supervisor’s existence (the controllability of the given specification)is studied. Besides, there were stated the basic stages of the design technology in the framework of the introduced controllability analysis model and the supervisors synthesis method. [ABSTRACT FROM AUTHOR]

The paper studies strategy spaces in all possible informational extensions of a game with the natural metric. We show that all these extensions can be considered subspaces of a single space corresponding to a special quasi-informational extension that has a clear meaningful interpretation. We obtain an upper bound on the entropy of informational extensions. [ABSTRACT FROM AUTHOR]

The paper presents two new definitions of equilibrium for arbitrary game problems. The new definitions allow finding a unique solution for a significantly wider class of problems. [ABSTRACT FROM AUTHOR]

The paper was devoted to rejection of bounded exogenous disturbances and considered design of the static output feedback minimizing the invariant ellipsoids of the dynamic system. The problems of control analysis and design come to the equivalent conditions in the form of linear matrix inequalities and to the problem of semidefinite programming. The state estimate obtained using the Luenberger observer was used at that. [ABSTRACT FROM AUTHOR]

In [1, 2] was studied a new type of nonparametric kernel estimators of probability density, whose window width varies depending on the sample, i.e., are data-based. These estimators were called adaptive. New estimators of density are superior in the rate of convergence to classical Rosenblatt-Parzen estimators. However, these valuable properties of estimators were obtained assuming that observations are independent. In this paper, we study properties of these adaptive estimators but assuming that the sample is realization of the stationary in the narrow sense random sequence. The simulation examples for the adaptive estimator constructed by dependent observations which is generated by autoregressive models are represented. The results of the investigation prove the advantage of the adaptive estimator over the classical Rosenblatt-Parzen estimator in the sense of the mean-square error. The rate of mean-square convergence of the limiting estimator (the so-called “ideal” estimator) to the true unknown density according to the dependent sample is found. The consistency of the adaptive estimator constructed by stationary dependent observations is proved. [ABSTRACT FROM AUTHOR]

The paper was written in continuation of a series of papers on construction of a control law stabilizing a wide range of motions of the controlled plant. At that, the law in essence must be independent of the plant's dynamic characteristics and the environment. These multimodal (general-purpose) laws must generate the control signal with the minimum computational burden and in the minimum time. These laws have other important characteristics concerning stability of the closed-loop system, its robustness, and so on. The paper studied a controlled plant moving under the action of aerodynamic and other forces. The distinction of the formulated control problem is due to the deficiency of the control actions because it is assumed that the controlled plant has only two control engines. This is the case in the well-known problem of controlling the descent vehicle by stabilizing its lateral motion on the hypersonic leg of flight in the upper atmosphere. [ABSTRACT FROM AUTHOR]

A foreword to the periodical "Automation & Remote Control" is presented.

The paper presents the mathematical model of automatic feed control in the power unit of a nuclear power plant (NPP). As initial data for model design, archival information about industrial process in the power unit is used. We obtain the transfer function of a shaping filter for random signal generation with a required autocovariance function. The results of simulation studies and optimization of automatic control system's parameters using a genetic algorithm are produced. [ABSTRACT FROM AUTHOR]

The paper presents the methods and algorithms of automatic marking detection employed in the development of automatic marking identification system (AMIS) for billets movement tracking between warehouse and production facilities of JSC Vyksa Steel Works. The system enables automatic monitoring of metal-rolling products; its featured property is the capability of remote recognition over a 3-16 m distance. [ABSTRACT FROM AUTHOR]

This paper is dedicated to analysis and solution of an extended voting game. According to the extension, a new player enters the voting game, seeking to maximize a power index (i.e., its component of the Shapley-Shubik value) under a given capital. By assumption, other players sell their stocks (in full or in part) to the new player without hindrance and any benefits gained. [ABSTRACT FROM AUTHOR]

This paper considers estimators for distributed systems and packet delivery prediction based on recursive Bayesian estimation. [ABSTRACT FROM AUTHOR]

The paper examines issues associated with the concept of development of software of motion control systems intended for processing unit automation. Possible variants of hardware and software implementation of such systems are given. The concept for building the motion control system on the basis of automaton-based realization of logical control and motion control programs (PLC and PMC) via the virtual machine is proposed. The Forth implementation of automaton-based programming of PLC programs is demonstrated. [ABSTRACT FROM AUTHOR]

This paper demonstrates that the fault tolerance of distributed control systems (DCSs) can be improved by scheduling of processes representing functional segments with guaranteed operation of the mechanisms of process reexecution and parallel execution based on checkpoints. Moreover, we suggest the methodological approach to assessing the fault tolerance level of DCSs, which proceeds from the probabilistic modeling of systems having the time triggered architecture (TTA). Finally, we derive numerical formulas for qualitative and quantitative estimation of the fault tolerance level for different modifications of DCSs at the design stage. [ABSTRACT FROM AUTHOR]

The major factors affecting the accuracy and performance of any measuring system are the errors of embedded sensors. In this paper we analyze the impact of sensor parameters on the characteristics of an inertial vertical gyroscope based on the Wiener filter. [ABSTRACT FROM AUTHOR]

In this paper, we systematize several conceptions of technical diagnosis expressed as a set of definitions. The ultimate aim is suggesting an unambiguous interpretation for diagnosis and checking procedures in technical systems. [ABSTRACT FROM AUTHOR]

This paper considers virtual measurement methods for the qualitative parameters of chemical processes to-be-used in industrial automation systems. The specific features of some virtual measurement methods, corresponding algorithms and application domains are outlined and analyzed. [ABSTRACT FROM AUTHOR]

This paper considers the design concept of an adaptive data acquisition system in technical safety systems. The authors propose an heuristical relocation algorithm for data acquisition sensors. Finally, the simulation results of this algorithm are analyzed. [ABSTRACT FROM AUTHOR]

The paper examines a computer appliance for carrying out automated fluidized-bed hydrodynamics researches. The researches are conducted in order to obtain empirical data for real-time diagnosis of bed state by the fluctuations of differential pressure of the reactor and fluidized-bed modeling. [ABSTRACT FROM AUTHOR]

This paper presents the testing automation procedure for automatic control systems of gas-turbine units used as drives in small-size power stations. We substantiate the applicability of mathematical modeling techniques for power systems in testing automation problems of the control systems. Finally, multitasking mathematical models are derived, and a simulation software complex is developed for testing automation of the control systems; this is done by employing the mathematical model of a power system with an arbitrary configuration and structural elements. [ABSTRACT FROM AUTHOR]

The paper discusses development of spacecraft control systems from the first vehicles to up-to-date space complexes. Academician B.N. Petrov was one the founders of the spacecraft control theory. Advances in automatic systems, control system instrumentation, computers, actuators, and control system techniques which allowed of development of multi-purpose and multi-mode systems with long-term active life cycle and systems with the maximum endurance and control process automation are examined. [ABSTRACT FROM AUTHOR]

This paper suggests the method of utility estimation for certain alternatives based on their pairwise comparison. The pairwise comparison matrix being formed is interpreted as the result of a measurement with random errors. Finally, a numerical example is provided to illustrate operation of the method. [ABSTRACT FROM AUTHOR]

The current practice of the SRS design is analyzed, and noncompliance with the GOST R IEC 61508-2007 standard is detected. The paper introduces a configuration of a PLC SRS meeting the requirements of the standard of functional safety of electrical/ electronic/programmable electronic safety-related systems (GOST R IEC 61508-2007). [ABSTRACT FROM AUTHOR]

This paper suggests a certain algorithm to model periodic groups based on calculation of independent words. [ABSTRACT FROM AUTHOR]

In this paper we consider a modeling approach to queueing systems implementing an essentially network structure; requests in the network have an individual mode of behavior. [ABSTRACT FROM AUTHOR]

The theoretical fundamentals for solving the linear quadratic problems may be sometimes used to design the control actions for the nonlinear systems. The method relying on the Riccati equation with state-dependent coefficients is one of the promising and rapidly developing tools for design of the nonlinear controllers. The set of possible suboptimal solutions is generated by the ambiguous representation of the nonlinear system as a linearly structured system with state-dependent coefficients and the lack of sufficiently universal algorithms to solve the Riccati equation also having state-dependent coefficients. The paper proposed a method to design a guaranteed control for the uncertain nonlinear plant with state-dependent parameters. An example of designing the controller for an uncertain nonlinear system was presented. [ABSTRACT FROM AUTHOR]

The paper is the second part of the review of the results obtained by the special theory of the degenerate problems of optimal control and its applications, including the newest ones. Consideration was given to the methods based on the rearrangement of the degenerate problems in the smaller-order regular derivative problems, the main types of solutions of the derivative problems, and the issues of their realization as the generalized solutions of the original problems. The generalized conditions for their optimality were derived. Examples, both methodological and applied, were presented to demonstrate the efficiency of these methods. [ABSTRACT FROM AUTHOR]

In the paper, we study a problem of optimal aiming a dynamic object at a mobile target. We consider different types of available information about the behavior of an object and target according to which optimal open and close mixed circuits are defined. Methods for realizing the latter are described. The results are illustrated by examples. [ABSTRACT FROM AUTHOR]

robust stability test is formulated and the methodology of its use in the robust control system design is presented. The paper makes a contribution to the existing approaches to solution of this class of problems. [ABSTRACT FROM AUTHOR]

The paper deals with information authentication for real time automatic control systems. Our approach differs from known ones in using finite groups of vectors over a finite field. We show that these groups of vectors are multidimensionally cyclic. This allows developing secure digital signature algorithms based on groups with the maximal prime factor of length 160/ m bits where m is the vectors’ dimension. We list formulas describing this multidimensional cyclicity of vector groups. [ABSTRACT FROM AUTHOR]

Presents introduction to the February 2004 issue of the journal "Automation and Remote Control."

In this paper, a solution algorithm for the optimal control problem for the system with uncertain dynamics which is the asymptotics of the singularly perturbed system with fast oscillator is proposed. [ABSTRACT FROM AUTHOR]

In this paper, analysis methods for self-vibrating processes in automatic control systems are represented. A qualitative analysis of the behavior of transient processes in automatic control systems is conducted. Accuracy of control system functioning is estimated. Problems of noise immunity of control systems are solved. Ways of control system implementation by applying dynamic self-vibrating regimes, by logical nets, and digital automatic devices are considered. [ABSTRACT FROM AUTHOR]

The problem of equivalent transformations of logical expressions with quantifiers finds wide applications when the engineer uses logical models for the solution of practical problems; here the engineer has to deal with an extensive parenthesis form of logical functions of a large number of variables. In this paper, a description is given of an algebraic system of the uncovering of quantifiers, in which use is made of a componentwise uncovering method combined with a developed block of theorems of equivalent transformations not only at the level of variables, but also at the level of logical functions. Results of the program implementation of the system are set out in examples with a large number of variables. [ABSTRACT FROM AUTHOR]

The existing methods of process optimization under uncertain initial information are based on the assumption that in the phase of service known are the exact values of all parameters, which in the phase of design were regarded as partially uncertain. This assumption is too rigid and in practice often is not true. The paper presented new flexibility conditions and a new two-phase problem of optimization with the assumption that in the phase of service the precise values are known only for part of the uncertain parameters. An algorithm was developed to solve the two-phase problem for the case of insufficient experimental information in the process service phase. [ABSTRACT FROM AUTHOR]

A new approach to the synthesis of stochastic control systems, which is called the theory of covariance control, is set out in this paper. Its essence involves securing a prescribed steady-state value of the state covariance matrix of a linear system with the aid of feedback. The necessary and sufficient conditions of the attainability of the state covariance matrix are defined and formulas for the entire set of stabilizing covariance controllers are derived. [ABSTRACT FROM AUTHOR]

A new approach to decision making in automatic control systems under risk is designed, in which the performance quality of the system is estimated by several criteria with known variation ranges of uncertain factors and unknown statistical characteristics. A formalization procedure for the guaranteed solution is designed and its existence under the usual constraints (of game theory) is demonstrated. This paper borders on the works [1, 2]. [ABSTRACT FROM AUTHOR]

Presents an introduction to the various articles published in the July 2003 issue of the journal "Automation and Remote Control."

Consideration was given to the graph-theoretical model of self-diagnosis at the system level under multiple permanent faults. A group of testing models based on complete unreliable tests was analyzed. For the models of this group, the necessary and sufficient conditions for t-diagnosability without repair were established. A critical review of the results obtained in the publications of various authors was given, and the noticed errors concerning the proof of the conditions for t-diagnosability without repair were corrected. [ABSTRACT FROM AUTHOR]

A threshold model of behavior is considered for a group of agents. Making binary decisions (choosing between active or passive states), agents take into account the choice of other members of the group. Control problem for thresholds and agents' reputation is stated and solved in order to minimize the number of agents choosing 'to be active.' [ABSTRACT FROM AUTHOR]

A new adaptation algorithm was proposed for reference model-based systems operating independently of the intensity and spectral composition of the input actions. This fact enables one to make predictable the dynamic precision of the reference model-based adaptive system which, by the authors’ opinion, is the stumbling block to wide practicalization of the systems of the class under consideration. [ABSTRACT FROM AUTHOR]