Multilevel inverters (MLI) have been widely applied in medium and high voltage applications for their advantages in high quality of output waveforms. Among various multilevel topologies, cascaded H-bridge (CHB) inverters have attracted more attentions for its modular structure, which simplifies the design and implementation. In addition, the modularity of CHB also expands diverse power ratings without many changes in the hardware setup. In a CHB inverter, the AC output voltage can be produced at different voltage levels depending on the number power cells that are cascaded at the output. To produce the AC output voltage, different modulation schemes and control algorithms have been studied and applied to the CHB inverter. Model predictive control (MPC) has been widely employed among all control algorithms in multilevel topologies due to their advantages such as good dynamic performance, multiple control targets, inclusion of nonlinearity, and flexibility to add more performance objectives. However, one disadvantage of the MPC is that the switching frequency is variable compared with other modulation schemes. Therefore, a new MPC method called modulated model predictive control (M2PC) has been researched to obtain a fixed switching frequency, which improves the harmonic spectrum of load currents and simplifies the filter design. In the modulated model predictive control, the mathematical model is obtained by electrical model of the system. It means that the operation of the M2PC algorithm relies on the accuracy of the given parameters and model. If there is an error in parameters and model, the performance of the control will be affected negatively. To solve this problem, modulated model-free predictive control (M2FPC) algorithm has been introduced. With this method, the mathematical model is established with measured values instead of given values and model. Reliability is one of the most important issues in the design of power converters. However, the failure of power switches will lead to the distortion of load currents and voltage waveforms. Also, the distortion in load currents and voltage waveforms causes power imbalance between faulty and healthy phases. To reduce the negative effects of IGBT failure in power converters, the faulty power cells should be found and isolated. Therefore, fault detection and localization algorithm (FDL) should be introduced to detect the fault in power converters and localize the faulty power switches. FDL algorithm based on the given M2PC scheme is proposed in this thesis for the CHB inverter to make the system more reliable. The FDL algorithm utilizes the phase voltages and load currents to detect the open fault in the CHB inverter and localize the single and multiple open switches by measuring the expected and actual phase voltages. With the faulty information, the faulty power cell can be isolated, and the fault-tolerant control can be applied to make the system work normally even though there is an open fault. In this thesis, without losing the generality, a seven-level CHB inverter is considered where there are three power cells in each phase. The M2PC algorithm was introduced to obtain the fixed switching frequency with the design of possible voltage vector set and carrier phase-shifting modulation. Based on the proposed M2PC algorithm, the FDL algorithm is designed to detect and localize the open switches to improve the system reliability. The theoretical analysis and simulation results validate the feasibility of the proposed M2PC algorithms and open fault diagnosis scheme. All possible open-circuit scenarios in power cells are discussed and the M2PC-based FDL algorithm has been verified. Experimental results verify the feasibility of the proposed M2PC. The experimental result of M2PC algorithm is presented to verify its operation. Also, diverse open scenarios can be diagnosed in the experiments. / Thesis / Master of Applied Science (MASc)

京都大学 / 新制・課程博士 / 博士(情報学) / 甲第24743号 / 情博第831号 / 新制||情||139(附属図書館) / 京都大学大学院情報学研究科システム科学専攻 / (主査)教授 大塚 敏之, 教授 加納 学, 教授 東 俊一 / 学位規則第4条第1項該当 / Doctor of Informatics / Kyoto University / DFAM

In this work, a robust decentralized model predictive control regime for a team of cooperating robot systems is designed. Their assumed dynamics are in continuous time and non-linear. The problem involves agents whose dynamics are independent of one-another, and its solution couples their constraints as a means of capturing the cooperative behaviour required. Analytical proofs are given to show that, under the proposed control regime: (a) Subject to initial feasibility, the optimization solved at each step by each agent will always be feasible, irrespective of whether or not disturbances affect the agents. In the former case, recursive feasibility is established through successive restriction of each agent's constraints during the periodic solution to its respective optimization problem. (b) Each (sub)system can be stabilized to a desired configuration, either asymptotically when uncertainty is absent, or within a neighbourhood of it, when uncertainty is present, thus attenuating the affecting disturbance. In this context, disturbances are assumed to be additive and bounded. Simulations verify the efficacy of the proposed method over a range of different operating environments. / I detta arbete, en robust decentraliserad modell prediktiv kontroll regime förett lag av samverkande robotsystem är utformade. Deras antagnat dynamikär i kontinuerlig tid och olinjär. Problemet involverar agenter vars dynamik äroberoende av varandra, och sina lösning kopplar sina begränsningar som ettmedel för att fånga det kooperativa beteendet som krävs. Analytiska bevis gesför att visa att, enligt det föreslagna kontrollsystemet: (a) med förbehåll förförsta genomförbarhet, kommer optimeringen som löses vid varje steg av varjeagent alltid vara möjligt, oavsett huruvida störningar påverkar agenserna ellerinte. I det förre fallet är rekursiv genomförbarhet etablerad genom successivabegränsningar av varje agents inskränkning under den periodiska lösningentill dess respektive optimeringsproblem. (b) Varje (sub) system kan stabiliserastill en önskad konfiguration, antingen asymptotiskt när osäkerhet saknas,eller inom en närhet av det, när osäkerhet är närvarande, således dämparpåverkanstörning. I detta sammanhang antas störningar vara additiv och avgränsas.Simuleringar verifierar effekten av den föreslagna metoden över ettintervall av olika driftsmiljöer.

Soft robots are inherently safer than traditional robots due to their compliance and high power density ratio resulting in lower accidental impact forces. Thus they are a natural option for human-robot interaction. This thesis specifically looked at human-robot co-manipulation which is defined as a human and a robot working together to move an object too large or awkward to be safely maneuvered by a single agent. To better understand how humans communicate while co-manipulating an object, this work looked at haptic interaction of human-human dyadic co-manipulation trials and studied some of the trends found in that interaction. These trends point to ways robots can effectively work with human partners in the future. Before successful human-robot co-manipulation with large-scale soft robots can be achieved, low-level joint angle control is needed. Low-level model predictive control of soft robot joints requires a sufficiently accurate model of the system. This thesis introduces a recursive Newton-Euler method for deriving the dynamics that is sufficiently accurate and accounts for flexible joints in an intuitive way. This model has been shown to be accurate to a median absolute error of 3.15 degrees for a three-link three-joint six degree of freedom soft robot arm. Once a sufficiently accurate model was developed, a gain-based evolutionary model predictive control (MPC) technique was formulated based on a previous evolutionary MPC technique. This new method is referred to as model evolutionary gain-based predictive control or MEGa-PC. This control law is compared to nonlinear evolutionary model predictive control (NEMPC). The new technique allows intentionally decreasing the control frequency to 10 Hz while maintaining control of the system. This is proven to help MPC solve more difficult problems by having the ability to extend the control horizon. This new controller is also demonstrated to work well on a three-joint three-link soft robot arm. Although complete physical human-robot co-manipulation is outside the scope of this thesis, this thesis covers three main building blocks for physical human and soft robot co-manipulation: human-human haptic communication, soft robot modeling, and model evolutionary gain-based predictive control.

Ensuring constraint satisfaction in large-scale systems with hard constraints is vital in many safety critical systems. The challenge is to design controllers that are efficiently synthesized offline, easily implementable online, and provide formal correctness guarantees. We take a divide and conquer approach to design controllers for reachability and infinite-time/finite-time constraint satisfaction control problems given large-scale interconnected linear systems with polyhedral constraints on states, controls, and disturbances. Such systems are made of small subsystems with coupled dynamics. Our goals are to design controllers that are i) fully compositional and ii) decentralized, such that online implementation requires only local state information. We treat the couplings among the subsystems as additional disturbances and use assume-guarantee (AG) contracts to characterize these disturbance sets. For each subsystem, we design and implement a robust controller locally, subject to its own constraints and contracts. Our main contribution is a method to derive the contracts via a novel parameterization, and a corresponding potential function that characterizes the distance to the correct composition of controllers and contracts, where all contracts are held. We show that the potential function is convex in the contract parameters. This enables the subsystems to negotiate the contracts with the gradient information from the dual of their local synthesis optimization problems in a distributed way, facilitating compositional control synthesis that scales to large systems. We then incorporate Signal Temporal Logic (STL) specifications into our formulation. We develop a decentralized control method for a network of perturbed linear systems with dynamical couplings subject to STL specifications. We first transform the STL requirements into set containment problems, then we develop controllers to solve these problems. The set containment requirements and parameterized contracts are added to the subsystems’ constraints. We introduce a centralized optimization problem to derive the contracts, reachability tubes, and decentralized closed-loop control laws. We show that, when the STL formula is separable with respect to the subsystems, the centralized optimization problem can be solved in a distributed way, which scales to large systems. We present formal theoretical guarantees on robustness of STL satisfaction. We present numerical examples, including scalability studies on systems with tens of thousands of dimensions, and case studies on applying our method to a distributed Model Predictive Control (MPC) problem in a power system. / 2024-01-16T00:00:00Z

Inflatable robots with pneumatic actuation are naturally lightweight and compliant. Both of these characteristics make a robot of this type better suited for human environments where unintentional impacts will occur. The dynamics of an inflatable robot are complex and dynamic models that explicitly allow variable stiffness control have not been well developed. In this thesis, a dynamic model was developed for an antagonistic, pneumatically actuated joint with inflatable links.The antagonistic nature of the joint allows for the control of two states, primarily joint position and stiffness. First a model was developed to describe the position states. The model was used with model predictive control (MPC) and linear quadratic control (LQR) to control a single degree of freedom platform to within 3° of a desired angle. Control was extended to multiple degrees of freedom for a pick and place task where the pick was successful ten out of ten times and the place was successful eight out of ten times.Based on a torque model for the joint which accounts for pressure states that was developed in collaboration with other members of the Robotics and Dynamics Lab at Brigham Young University, the model was extended to account for the joint stiffness. The model accounting for position, stiffness, and pressure states was fit to data collected from the actual joint and stiffness estimation was validated by stiffness measurements.Using the stiffness model, sliding mode control (SMC) and MPC methods were used to control both stiffness and position simultaneously. Using SMC, the joint stiffness was controlled to within 3 Nm/rad of a desired trajectory at steady state and the position was controlled to within 2° of a desired position trajectory at steady state. Using MPC,the joint stiffness was controlled to within 1 Nm/rad of a desired trajectory at steady state and the position was controlled to within 2° of a desired position trajectory at steady state. Stiffness control was extended to multiple degrees of freedom using MPC where each joint was treated as independent and uncoupled. Controlling stiffness reduced the end effecter deflection by 50% from an applied load when high stiffness (50 Nm/rad) was used rather than low stiffness (35 Nm/rad).This thesis gives a state space dynamic model for an inflatable, pneumatically actuated joint and shows that the model can be used for accurate and repeatable position and stiffness control with stiffness having a significant effect.

ual-three phase permanent magnet synchronous motors (DTP-PMSM) are becom ing more popular in the automotive field. Their potential to increase the reliability and efficiency of the vehicle makes them an attractive replacement for the three phase alternative. However, the increased number of phases makes the control of the machine more complex. As a result, conventional controllers can see reduced perfor mance, especially at high speeds and torques. Currently, with the increased process ing power of modern micro-controllers and field-programmable gate arrays (FPGA), many researchers are investigating whether finite-control set model predictive control (FCS-MPC) can be a suitable alternative. FCS-MPC is simple to implement and can achieve a better dynamic performance when compared to other controllers. Furthermore, the algorithm can be augmented for specific optimization goals and non-linearities to the system, which gives the designer creativity in improving the system response. However, Model-Predictive Control suffers from a variable switching frequency as well as reduced steady-state performance. It generally has increased current ripple in the phase currents. This thesis presents a method of reducing the steady-state ripples in FCS-MPC by introducing the use of virtual-flux in the model equations, the incremental model, and a dynamic vector search-space. All three of these applications make FCS-MPC have a iv significantly improved steady-state performance when compared to the conventional algorithm, while still keeping the benefit of the improved dynamic response. The benefits of the proposed techniques techniques are verified through simulation as well as on an experimental setup. / Thesis / Master of Applied Science (MASc)

This thesis considers the problem of implementation of Model Predictive Control (MPC) strategies in the general area of Heating, Ventilation, Air Conditioning (HVAC). Specifically, the contributions utilize the constraint handling and optimality properties of MPC to achieve energy efficient control of many different HVAC systems. First, the thesis focuses on a linear offset-free MPC design for a vapor compression cycle. The key contributions include a a sequential tuning method and application to a detailed simulation test-bed, demonstrating superior closed-loop results to that of traditional control strategies in the presence of both disturbances and measurement noise. Next, a modified linear offset-free MPC formulation is implemented on a heat pump. The key contribution is the formulation of an optimization problem that recognizes the tradeoff between energy conservation and tracking performance. Simulation results illustrate superior performances as measured through three separate metrics: safety, energy efficiency and tracking. The implementation of MPC formulations to these realistic problems also pointed to a lack of MPC formulations with explicit performance considerations in the control design. Thus, in the final part of the thesis, these observed shortcomings in the standard offset-free linear MPC design are addressed via a new performance specification-based MPC. Desired closed-loop output response is specified and achieved through a tiered optimization formulation that can handle plant model mismatch. Superior closed-loop response, in terms of desired transient behavior and disturbance rejection, relative to standard linear-based and offset-free MPC designs is achieved. Finally, directions for future work are discussed. / Thesis / Doctor of Philosophy (PhD)

Energy management strategies for microgrids, containing energy storage, renewable energy sources (RES), and electric vehicles (EVs); which interact with the grid on an individual basis; are presented in Chapter 3. An optimization problem to reduce cost, formulated over a rolling time horizon, using predicted values of load demand, EV connection/disconnection times, and charge levels at time of connection, is described. The solution provides the on-site storage and EV charge/discharge powers. For the first time, both bidirectional and unidirectional charging are considered for EVs and a controller which accommodates uncertainties in EV energy levels and connection/disconnection times is presented. In Chapter 4, a stochastic chance constraints based optimization is described. It affords significant improvement in robustness, over the conventional controller, to uncertainties in system parameters. Simulation results demonstrate that the stochastic controller is at least twice as effective at meeting the desired EV charge level at specific times compared to the non-stochastic version, in the presence of uncertainties. In Chapter 5, a network of microgrids, containing RES and batteries, which trade energy among themselves and with the utility grid is considered. A novel distributed energy management system (EMS), based on a central EMS using a Multi-Objective (MO) Rolling Horizon (RH) scheme, is presented. It uses Alternating Direction Method of Multipliers (ADMM) and Quadratic Programming (QP). It is inherently more data-secure and resilient to communication issues than the central EMS. It is shown that using an EMS in the network provides significant economic benefits over MGs connected directly to the grid. Simulations demonstrate that the distributed scheme produced solutions which are very close to those of the central EMS. Simulation results also reveal that the faster, less memory intensive distributed scheme is scalable to larger networks -- more than 1000 microgrids as opposed to a few hundreds for the central EMS. / Thesis / Doctor of Philosophy (PhD)

A formulation of a subspace identification method for multi-phase processes with applications to rotational moulding and suggestions for improvements and experimental applications. / This thesis focuses on the implementation of subspace identification (SSID) for nonlinear, chemical batch processes by introducing a model identification method for multi-phase processes. In this thesis, a multi-phase process refers to chemical or biological batch-like processes with properties that cause a change in the dynamics during the evolution of the process. This can occur, for example, when a process undergoes a change of state upon reaching a melting point. Existing SSID techniques are not designed to utilize any known, multiphase nature of a process in the model identification stage. The proposed approach, Multiphase Subspace Identification (MPSSID), is conducted by first splitting historical data into phases during the identification step and then building a subspace model for each phase. The phases are then connected via a partial least squares (PLS) model that transforms the states from one phase to the next. This approach makes use of existing SSID techniques that allow for model construction using batches of nonunifrom length. Here, MPSSID is applied to a uniaxial rotational moulding process. In rotational moulding, the dynamics switch as the process undergoes heating, melting, and sintering stages that are visibly distinct and recognizable upon a certain temperature (not time) being reached. Results demonstrate the ability of multiphase models to better predict the temperature trajectories and final product quality of validation batches. As an extension to this rotational moulding analysis, additional MPSSID methods of implementation are proposed and the results are compared. A MPSSID mixed integer linear program is then introduced for implementation within model predictive control. The applications to rotational moulding are presented within the context of plastics manufacturing and the impact of plastic on the global climate crisis, with suggestions for future work. / Thesis / Master of Applied Science (MASc) / The control of chemical processes is an important factor in achieving high quality products. To control a process well, the mathematical model of the system must be accurate. In the past, mathematical models for process control were designed based on engineering approximations. Now, with major advances in computing and sensor technology, it is possible to design a simulation of the entire process. These simulations can be designed using first-principles or black box approaches. First-principles approaches utilize rigorous models that are based on the complex chemical and physical formulas that govern a system. Black box approaches do not look at the first-principles dynamics. They only utilize the measured process inputs and outputs to form a model of the system. They are widely used because of their ease of implementation in comparison to first-principles approaches. In this thesis, a new black box process control model is proposed and is found to yield better theoretical results than existing techniques. This model is tested on data from a plastics manufacturing process called rotational moulding, which involves loading polymer powders into a mould that is simultaneously rotated and heated to yield seamless plastic parts. Lastly, a control framework that is compatible with the new black box model is proposed to be used for future experimental tests.