Modeling and Analysis of Power Processing Systems (MAPPS), initial phase 2

The overall objective of the program is to provide the engineering tools to reduce the analysis, design, and development effort, and thus the cost, in achieving the required performances for switching regulators and dc-dc converter systems. The program was both tutorial and application oriented. Various analytical methods were described in detail and supplemented with examples, and those with standardization appeals were reduced into computer-based subprograms. Major program efforts included those concerning small and large signal control-dependent performance analysis and simulation, control circuit design, power circuit design and optimization, system configuration study, and system performance simulation. Techniques including discrete time domain, conventional frequency domain, Lagrange multiplier, nonlinear programming, and control design synthesis were employed in these efforts. To enhance interactive conversation between the modeling and analysis subprograms and the user, a working prototype of the Data Management Program was also developed to facilitate expansion as future subprogram capabilities increase

Active shielding of magnetic field with circular space-time characteristic

Aim. The synthesis of two degree of freedom robust two circuit system of active shielding of magnetic field with circular spacetime characteristic, generated by overhead power lines with "triangle" type of phase conductors arrangements for reducing the magnetic flux density to the sanitary standards level and to reducing the sensitivity of the system to plant parameters uncertainty. Methodology. The synthesis is based on the multi-criteria game decision, in which the payoff vector is calculated on the basis of the Maxwell equations quasi-stationary approximation solutions. The game decision is based on the stochastic particles multiswarm optimization algorithms. The initial parameters for the synthesis by system of active shielding are the location of the overhead power lines with respect to the shielding space, geometry and number of shielding coils, operating currents, as well as the size of the shielding space and magnetic flux density normative value, which should be achieved as a result of shielding. The objective of the synthesis is to determine their number, configuration, spatial arrangementand and shielding coils currents, setting algorithm of the control systems as well as the resulting of the magnetic flux density value at the shielding space. Results. Computer simulation and field experimental research results of two degree of freedom robust two circuit system of active shielding of magnetic field, generated by overhead power lines with «triangle» type of phase conductors arrangements are given. The possibility of initial magnetic flux density level reducing and system sensitivity reducing to the plant parameters uncertainty is shown. Originality. For the first time the synthesis, theoretical and experimental research of two degree of freedom robust two -circuit t system of active shielding of magnetic field generated by single-circuit overhead power line with phase conductors triangular arrangements carried out. Practical value. Practical recommendations from the point of view of the practical implementation on reasonable choice of the spatial arrangement of two shielding coils of robust two -circuit system of active shielding of the magnetic field with circular space-time characteristic generated by single-circuit overhead power line with phase conductors triangular arrangements are given.Цель. Синтез комбинированной робастной двухконтурной системы активного экранирования магнитного поля с круговой пространственно-временной характеристикой, генерируемого одноконтурной воздушной линией электропередачи с треугольным подвесом проводов для снижения индукции магнитного поля до уровня санитарных норм и для снижения чувствительности системы к неопределенности параметров объекта управления. Методология. Синтез основан на решении многокритериальной стохастической игры, в которой векторный выигрыш вычисляется на основании решений уравнений Максвелла в квазистационарном приближении. Решение игры находится на основе алгоритмов стохастической мультиагентной оптимизации мультироем частиц. Исходными параметрами для синтеза системы активного экранирования являются расположение высоковольтной линий электропередачи по отношению к экранируемому пространству, геометрические размеры, количество проводов и рабочие токи линии электропередачи, а также размеры экранируемого пространства и нормативное значение индукции магнитного поля, которое должно быть достигнуто в результате экранирования. Задачей синтеза является определение количества, конфигурации, пространственного расположения и токов экранирующих обмоток, алгоритма работы системы управления, а также результирующего значения индукции магнитного поля в экранируемом пространстве. Результаты. Приводятся результаты теоретических и полевых экспериментальных исследований комбинированной робастной двухконтурной системы активного экранирования магнитного поля, генерируемого воздушной линией электропередачи с треугольным подвесом проводов. Показана возможность снижения уровня индукции исходного магнитного поля внутри экранируемого пространства и снижения чувствительности системы к неопределенностям параметров объекта управления. Оригинальность. Впервые проведены синтез, теоретические и экспериментальные исследования комбинированной робастной двухконтурной системы активного экранирования магнитного поля, генерируемого одноконтурной воздушной линией электропередачи с треугольным подвесом проводов. Практическая ценность. Приводятся практические рекомендации по обоснованному выбору с точки зрения практической реализации пространственного расположения двух экранирующих обмоток двухконтурной робастной системы активного экранирования магнитного поля с круговой пространственно-временной характеристикой, создаваемого одноконтурной воздушной линией электропередачи с треугольным подвесом проводов

Model of the Positioning Pneumatic System

Tato práce se zabývá řídicím systémem pro pneumatický obvod. Řídicí jednotka je multifunkční I/O karta MF 634 od firmy Humusoft, která je založena na 32 bitové architektuře. Je připojena k elektronické jednotce, která spojuje prvky polohovacího pneumatického systému. Tato elektronická jednotka je navržena také pro připojení PLC automatu Siemens Simatic S7 1500. Hlavním cílem této práce je sestavit pneumatický obvod, navrhnout polohovací systém a ověřit funkčnost celého obvodu. Dále je cílem identifikovat regulovanou soustavu (pneumatický válec) a provést syntézu regulačního obvodu. Poté navrhnout řídicí algoritmus a ověřit jeho funkčnost.This thesis deal with the control system designed for controlling the pneumatic circuit. The control unit is represented by the I/O card MF 634, made by the company Humusoft, which is based on 32bit architecture. The control unit is connected to the electronic unit, which allows the control system to be connected with other parts of pneumatic circuit. This unit is designed with connector to connect other control system which is PLC controller Siemens Simatic S7 1500. The main goal of this thesis is to build the pneumatic circuit, to design the positioning system and to verify that the whole system is working properly. The next goal is to identify the regulated system and let the synthesis be done. In this thesis the pneumatic circuit was built and was verified that the whole circuit is working properly. The next goal is to design the control algorithm and to verify if it works properly.352 - Katedra automatizační techniky a řízenívýborn

Testing two-phase transition signaling based self-timed circuits in a synthesis environment

Journal ArticleThe problem of testing self-timed circuits generated by an automatic synthesis system is studied. Two-phase transition signalling is assumed and the circuits are targetted for an asynchronous macromodule based implementation as in [?, ?, ?, ?]. The partitioning of the circuits into control blocks, function blocks, and predicate (conditional) blocks, originally conceived for synthesis purpose, is found to be very elegant and appropriate for test generation. The problem of data dependent control flow is solved by introducing a new macromodule called SCANSELECT (SELECT with scan). Algorithms for test generation are based on the Petri-net like representation of the physical circuit. The techniques are illustrated on the high-level synthesis system called SHILPA being developed by the Author's

Development of the algorithm for aircraft control at inaccurate measurement of the state vector and variable accuracy parameter

A parametric method of the synthesis of control in the closed circuit, taking into account explicitly generalized error of the inertial module, is presented. The law of control in the form of analytical formulas is typically assigned to the control program and does not change during flight of an unmanned aerial vehicle. This decreases the capabilities of the autonomous flight control system to overcome control errors, which occur for various reasons. To verify assumptions about a possibility of improving the accuracy of an aerial vehicle control by the data of the strapdown inertial navigation system on a certain time interval of autonomous operation, the calculation experiment was conducted with the use of the developed software complex, simulating operation of the automatic flight control system. Parametrization of the law of control is considered as the main contribution (the outcome). Introduction of the parameter made it possible to decrease a negative impact of measurement errors and other disturbing factors on accuracy of reaching by the point of flight destination. Through computer modeling, it was shown that it is possible to decrease the impact of a generalized measurement error on generation of values of control functions by changing the value of the parameter. Analytical expressions for the estimation of accuracy of automatic control at the known generalized error of the inertial module and limited disturbing influences were obtained. After analyzing the influence of these factors on accuracy of the object control, a set of recommendations on selection of a variable parameter of synthesis of control depending on precision level of the sensors, used in the inertial module of measuring sensors, was generated.Розглянуто розв’язання термінальної задачі управління та синтезований параметризований закон управління в аналітичному вигляді, який залежить від змінного параметра глибини прогнозу. Досліджено особливості впливу величини параметра управління на точність досягнення кінцевої точки, дані рекомендації з вибору параметра для нівелювання помилки інерційних вимірювань. Синтез управління здійснюється методом переслідування ведучої точки за інформацією, отриманою інтегруванням вимірювань фактичного прискорення і містить помилку, характерну для акселерометрів

Pressure Pump Power Control in the Primary Circuit of the Heat Exchange System

In this paper we consider the problem of speed in hot water systems where highly efficient plate heat exchanger is used. Especially marked the problem which is connected with long transition drive of constant speed exceeding the time of the heat exchanger accumulative tank emptying more than twice. As a regulating element in the heat exchange system there was proposed to use asynchronous electric drive of pressure pump in the primary circuit of the heat exchanger. For correct use of such electric drive we solved the problem of control object mathematical model synthesis, which has non-linear properties, in particular, the transfer coefficient of the circuit can vary in more than 6 times. At the same time there was revealed the dependence of the transfer coefficient on the motor speed, which must be considered in the controller synthesis. In conclusion we suggested the solutions of regulators synthesis tasks with customizable settings for speed and switchable structure between relay [lambda] and PI regulators

Pressure Pump Power Control in the Primary Circuit of the Heat Exchange System

In this paper we consider the problem of speed in hot water systems where highly efficient plate heat exchanger is used. Especially marked the problem which is connected with long transition drive of constant speed exceeding the time of the heat exchanger accumulative tank emptying more than twice. As a regulating element in the heat exchange system there was proposed to use asynchronous electric drive of pressure pump in the primary circuit of the heat exchanger. For correct use of such electric drive we solved the problem of control object mathematical model synthesis, which has non-linear properties, in particular, the transfer coefficient of the circuit can vary in more than 6 times. At the same time there was revealed the dependence of the transfer coefficient on the motor speed, which must be considered in the controller synthesis. In conclusion we suggested the solutions of regulators synthesis tasks with customizable settings for speed and switchable structure between relay [lambda] and PI regulators

Synthesis for Testability by Two-Clock Control

In previous studies clock control has been inserted after design to improve the testability of a sequential circuit. In this paper we propose a two-clock control scheme that is included as a part of the logic synthesis of a finite state machine (fsm). The scheme has low area overhead and competes well with scan methods in its ability to initialize and observe circuit states. The states of the machine are assigned a pair of binary values using a novel split coding system. The purpose of the encoding is to ease navigation between any pair of states using a combination of normal and test-mode transitions. We require a Hamiltonian cycle to exist in the state transition graph. Our investigation of the fsm benchmark shows that either such a cycle already exists or can be created with the insertion of a small number of transition edges. We also present synthesis results to show that the area penalty is small

Mapping the optimal route between two quantum states

A central feature of quantum mechanics is that a measurement is intrinsically probabilistic. As a result, continuously monitoring a quantum system will randomly perturb its natural unitary evolution. The ability to control a quantum system in the presence of these fluctuations is of increasing importance in quantum information processing and finds application in fields ranging from nuclear magnetic resonance to chemical synthesis. A detailed understanding of this stochastic evolution is essential for the development of optimized control methods. Here we reconstruct the individual quantum trajectories of a superconducting circuit that evolves in competition between continuous weak measurement and driven unitary evolution. By tracking individual trajectories that evolve between an arbitrary choice of initial and final states we can deduce the most probable path through quantum state space. These pre- and post-selected quantum trajectories also reveal the optimal detector signal in the form of a smooth time-continuous function that connects the desired boundary conditions. Our investigation reveals the rich interplay between measurement dynamics, typically associated with wave function collapse, and unitary evolution of the quantum state as described by the Schrodinger equation. These results and the underlying theory, based on a principle of least action, reveal the optimal route from initial to final states, and may enable new quantum control methods for state steering and information processing.Comment: 12 pages, 9 figure

Model Based Synthesis of Control Software from System Level Formal Specifications

Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of embedded systems control software. We present an algorithm, along with a tool QKS implementing it, that from a formal model (as a Discrete Time Linear Hybrid System) of the controlled system (plant), implementation specifications (that is, number of bits in the Analog-to-Digital, AD, conversion) and System Level Formal Specifications (that is, safety and liveness requirements for the closed loop system) returns correct-by-construction control software that has a Worst Case Execution Time (WCET) linear in the number of AD bits and meets the given specifications. We show feasibility of our approach by presenting experimental results on using it to synthesize control software for a buck DC-DC converter, a widely used mixed-mode analog circuit, and for the inverted pendulum.Comment: Accepted for publication by ACM Transactions on Software Engineering and Methodology (TOSEM