Fault-tolerant aspects of MPC

The various aspects of fault-tolerant control systems that have the ability to survive major equipment failures or damages are discussed. Model predictive control (MPC) offers a promising basis for fault-tolerant control. Failures can be dealt with by updating internal models and letting the on-line optimizer control the system in its new condition. Fault detection and isolation (FDI) and the management of complex models are two emerging technologies in this field.

Impedance control and internal model use during the initial stage of adaptation to novel dynamics in humans.

This study investigated the neuromuscular mechanisms underlying the initial stage of adaptation to novel dynamics. A destabilizing velocity-dependent force field (VF) was introduced for sets of three consecutive trials. Between sets a random number of 4-8 null field trials were interposed, where the VF was inactivated. This prevented subjects from learning the novel dynamics, making it possible to repeatedly recreate the initial adaptive response. We were able to investigate detailed changes in neural control between the first, second and third VF trials. We identified two feedforward control mechanisms, which were initiated on the second VF trial and resulted in a 50% reduction in the hand path error. Responses to disturbances encountered on the first VF trial were feedback in nature, i.e. reflexes and voluntary correction of errors. However, on the second VF trial, muscle activation patterns were modified in anticipation of the effects of the force field. Feedforward cocontraction of all muscles was used to increase the viscoelastic impedance of the arm. While stiffening the arm, subjects also exerted a lateral force to counteract the perturbing effect of the force field. These anticipatory actions indicate that the central nervous system responds rapidly to counteract hitherto unfamiliar disturbances by a combination of increased viscoelastic impedance and formation of a crude internal dynamics model.

Fault tolerant flight control - A survey

Nowadays, control systems are involved in nearly all aspects of our lives. They are all around us, but their presence is not always really apparent. They are in our kitchens, in our DVD-players, computers and our cars. They are found in elevators, ships, aircraft and spacecraft. Control systems are present in every industry, they are used to control chemical reactors, distillation columns, and nuclear power plants. They are constantly and inexhaustibly working, making our life more comfortable and more efficient...until the system fails. © 2010 Springer-Verlag Berlin Heidelberg.

Active control of sound radiated by a submarine hull in axisymmetric vibration using inertial actuators

This paper investigates the use of inertial actuators to reduce the sound radiated by a submarine hull under excitation from the propeller. The axial forces from the propeller are tonal at the blade passing frequency. The hull is modeled as a fluid-loaded cylindrical shell with ring stiffeners and equally spaced bulkheads. The cylinder is closed at each end by circular plates and conical end caps. The forces from the propeller are transmitted to the hull by a rigid foundation connected to the propeller shaft. Inertial actuators are used as the structural control inputs. The actuators are arranged in circumferential arrays and attached to the internal end plates of the hull. Two active control techniques corresponding to active vibration control and discrete structural acoustic sensing are implemented to attenuate the structural and acoustic responses of the submarine. In the latter technique, error information on the radiated sound fields is provided by a discrete structural acoustic sensor. An acoustic transfer function is defined to estimate the far field sound pressure from a single point measurement on the hull. The inertial actuators are shown to provide control forces with a magnitude large enough to reduce the sound due to hull vibration. © 2012 American Society of Mechanical Engineers.

The application of STEM and in situ controlled dehydration to bacterial systems using ESEM.

Transmission imaging with an environmental scanning electron microscope (ESEM) (Wet STEM) is a recent development in the field of electron microscopy, combining the simple preparation inherent to ESEM work with an alternate form of contrast available through a STEM detector. Because the technique is relatively new, there is little information available on how best to apply this technique and which samples it is best suited for. This work is a description of the sample preparation and microscopy employed by the authors for imaging bacteria with Wet STEM (scanning transmission electron microscopy). Three different bacterial samples will be presented in this study: first, used as a model system, is Escherichia coli for which the contrast mechanisms of STEM are demonstrated along with the visual effects of a dehydration-induced collapse. This collapse, although clearly in some sense artifactual, is thought to lead to structurally meaningful morphological information. Second, Wet STEM is applied to two distinct bacterial systems to demonstrate the novel types of information accessible by this approach: the plastic-producing Cupriavidus necator along with wild-type and ΔmreC knockout mutants of Salmonella enterica serovar Typhimurium. Cupriavidus necator is shown to exhibit clear internal differences between bacteria with and without plastic granules, while the ΔmreC mutant of S. Typhimurium has an internal morphology distinct from that of the wild type.

Compression techniques applied to multiple speech recognition systems

Speech recognition systems typically contain many Gaussian distributions, and hence a large number of parameters. This makes them both slow to decode speech, and large to store. Techniques have been proposed to decrease the number of parameters. One approach is to share parameters between multiple Gaussians, thus reducing the total number of parameters and allowing for shared likelihood calculation. Gaussian tying and subspace clustering are two related techniques which take this approach to system compression. These techniques can decrease the number of parameters with no noticeable drop in performance for single systems. However, multiple acoustic models are often used in real speech recognition systems. This paper considers the application of Gaussian tying and subspace compression to multiple systems. Results show that two speech recognition systems can be modelled using the same number of Gaussians as just one system, with little effect on individual system performance. Copyright © 2009 ISCA.

The application of STEM and in situ controlled dehydration to bacterial systems using ESEM

Transmission imaging with an environmental scanning electron microscope (ESEM) (Wet STEM) is a recent development in the field of electron microscopy, combining the simple preparation inherent to ESEM work with an alternate form of contrast available through a STEM detector. Because the technique is relatively new, there is little information available on how best to apply this technique and which samples it is best suited for. This work is a description of the sample preparation and microscopy employed by the authors for imaging bacteria with Wet STEM (scanning transmission electron microscopy). Three different bacterial samples will be presented in this study: first, used as a model system, is Escherichia coli for which the contrast mechanisms of STEM are demonstrated along with the visual effects of a dehydration-induced collapse. This collapse, although clearly in some sense artifactual, is thought to lead to structurally meaningful morphological information. Second, Wet STEM is applied to two distinct bacterial systems to demonstrate the novel types of information accessible by this approach: the plastic-producing Cupriavidus necator along with wild-type and δmreC knockout mutants of Salmonella enterica serovar Typhimurium. Cupriavidus necator is shown to exhibit clear internal differences between bacteria with and without plastic granules, while the δmreC mutant of S. Typhimurium has an internal morphology distinct from that of the wild type. © 2012 Wiley Periodicals, Inc.

Verification of periodically controlled hybrid systems: Application to an autonomous vehicle

This article introduces Periodically Controlled Hybrid Automata (PCHA) for modular specification of embedded control systems. In a PCHA, control actions that change the control input to the plant occur roughly periodically, while other actions that update the state of the controller may occur in the interim. Such actions could model, for example, sensor updates and information received from higher-level planning modules that change the set point of the controller. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariant properties of PCHAs is presented. For PCHAs with polynomial continuous vector fields, it is possible to check these conditions automatically using, for example, quantifier elimination or sum of squares decomposition. We examine the feasibility of this automatic approach on a small example. The proposed technique is also used to manually verify safety and progress properties of a fairly complex planner-controller subsystem of an autonomous ground vehicle. Geometric properties of planner-generated paths are derived which guarantee that such paths can be safely followed by the controller. © 2012 ACM.

Periodically controlled hybrid systems verifying a controller for an autonomous vehicle

This paper introduces Periodically Controlled Hybrid Automata (PCHA) for describing a class of hybrid control systems. In a PCHA, control actions occur roughly periodically while internal and input actions may occur in the interim changing the discrete-state or the setpoint. Based on periodicity and subtangential conditions, a new sufficient condition for verifying invariance of PCHAs is presented. This technique is used in verifying safety of the planner-controller subsystem of an autonomous ground vehicle, and in deriving geometric properties of planner generated paths that can be followed safely by the controller under environmental uncertainties.

Design and testing of a 250 kW medium-speed Brushless DFIG

This paper presents the design and testing of a 250 kW medium-speed Brushless Doubly-Fed Induction Generator (Brushless DFIG), and its associated power electronics and control systems. The experimental tests confirm the design, and show the system's steady-state and dynamic performance. The medium-speed Brushless DFIG in combination with a simplified two-stage gearbox promises a low-cost low-maintenance and reliable drive train for wind turbine applications.

Antiwindup design for induction motor control in the field weakening domain

Operation of induction machines in the high-speed and/or high-torque range requires field-weakening to comply with voltage and current physical limitations. This paper presents an anti-windup approach to this problem: rather than developing an ad-hoc field weakening strategy in the high-speed region, we equip an unconstrained vector-control design with an anti-windup module that automatically adjusts the current and flux set-points so that voltage and current constraints are satisfied at every operating point. The anti-windup module includes a feedforward modification of the set point aimed at maximizing the available torque in steady-state and a feedback modification of the controller based on an internal model-based antiwindup scheme. This paper includes a complete stability analysis of the proposed solution and presents encouraging experimental results on an industrial drive. © 2012 IEEE.

Slow peaking and low-gain designs for global stabilization of nonlinear systems

This paper presents an analysis of the slow-peaking phenomenon, a pitfall of low-gain designs that imposes basic limitations to large regions of attraction in nonlinear control systems. The phenomenon is best understood on a chain of integrators perturbed by a vector field up(x, u) that satisfies p(x, 0) = 0. Because small controls (or low-gain designs) are sufficient to stabilize the unperturbed chain of integrators, it may seem that smaller controls, which attenuate the perturbation up(x, u) in a large compact set, can be employed to achieve larger regions of attraction. This intuition is false, however, and peaking may cause a loss of global controllability unless severe growth restrictions are imposed on p(x, u). These growth restrictions are expressed as a higher order condition with respect to a particular weighted dilation related to the peaking exponents of the nominal system. When this higher order condition is satisfied, an explicit control law is derived that achieves global asymptotic stability of x = 0. This stabilization result is extended to more general cascade nonlinear systems in which the perturbation p(x, v) v, v = (ξ, u) T, contains the state ξ and the control u of a stabilizable subsystem ξ = a(ξ, u). As an illustration, a control law is derived that achieves global stabilization of the frictionless ball-and-beam model.

Predictive control using an FPGA with application to aircraft control

Alternative and more efficient computational methods can extend the applicability of model predictive control (MPC) to systems with tight real-time requirements. This paper presents a system-on-a-chip MPC system, implemented on a field-programmable gate array (FPGA), consisting of a sparse structure-exploiting primal dual interior point (PDIP) quadratic program (QP) solver for MPC reference tracking and a fast gradient QP solver for steady-state target calculation. A parallel reduced precision iterative solver is used to accelerate the solution of the set of linear equations forming the computational bottleneck of the PDIP algorithm. A numerical study of the effect of reducing the number of iterations highlights the effectiveness of the approach. The system is demonstrated with an FPGA-in-the-loop testbench controlling a nonlinear simulation of a large airliner. This paper considers many more manipulated inputs than any previous FPGA-based MPC implementation to date, yet the implementation comfortably fits into a midrange FPGA, and the controller compares well in terms of solution quality and latency to state-of-the-art QP solvers running on a standard PC. © 1993-2012 IEEE.

Performance analysis and testing of a 250 kW medium-speed brushless doubly-fed induction generator

This study presents the performance analysis and testing of a 250 kW medium-speed brushless doubly-fed induction generator (DFIG), and its associated power electronics and control systems. The experimental tests confirm the design, and showthe system's steady-state and dynamic performance and grid low-voltage ride- through capability. The medium-speed brushless DFIG in combination with a simplified two-stage gearbox promises a low-cost low-maintenance and reliable drivetrain for wind turbine applications. © The Institution of Engineering and Technology 2013.