On Solving Non-Standard H-/H2/H-Infinity Fault Detection Problems

We discuss solvability issues of H_-/H_2/infinity optimal fault detection problems in the most general setting. A solution approach is presented which successively reduces the initial problem to simpler ones. The last computational step generally may involve the solution of a non-standard H_-/H_2/infinity optimization problem for which we discuss possible solution approaches. Using an appropriate definition of the H- index, we provide a complete solution of this problem in the case of H2-norm. Furthermore, we discuss the solvability issues in the case of H-infinity-norm.

The morphology of decorated amyloid fibers is controlled by the conformation and position of the displayed protein.

Self-assembled structures capable of mediating electron transfer are an attractive scientific and technological goal. Therefore, systematic variants of SH3-Cytochrome b(562) fusion proteins were designed to make amyloid fibers displaying heme-b(562) electron transfer complexes. TEM and AFM data show that fiber morphology responds systematically to placement of b(562) within the fusion proteins. UV-vis spectroscopy shows that, for the fusion proteins under test, only half the fiber-borne b(562) binds heme with high affinity. Cofactor binding also improves the AFM imaging properties and changes the fiber morphology through changes in cytochrome conformation. Systematic observations and measurements of fiber geometry suggest that longitudinal registry of subfilaments within the fiber, mediated by the interaction and conformation of the displayed proteins and their interaction with surfaces, gives rise to the observed morphologies, including defects and kinks. Of most interest is the role of small molecule modulation of fiber structure and mechanical stability. A minimum complexity model is proposed to capture and explain the fiber morphology in the light of these results. Understanding the complex interplay between these factors will enable a fiber design that supports longitudinal electron transfer.

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.

On solving non-standard ℍ -/ℍ 2/∞ fault detection problems

We discuss solvability issues of ℍ -/ℍ 2/∞ optimal fault detection problems in the most general setting. A solution approach is presented which successively reduces the initial problem to simpler ones. The last computational step generally may involve the solution of a non-standard ℍ -/ ℍ 2/∞ optimization problem for which we discuss possible solution approaches. Using an appropriate definition of the ℍ -- index, we provide a complete solution of this problem in the case of ℍ 2-norm. Furthermore, we discuss the solvability issues in the case of ℍ ∞-norm. © 2011 IEEE.

Improving model quality through computer controlled saturation

In dynamic centrifuge modelling, fluids with enhanced viscosity are often used to correct for the discrepancy in time scaling. However, great care must be taken when using a high viscosity fluid that hydraulic gradients during saturation do not become high enough to cause excessive model disturbance. This paper introduces the CAM-Sat system which aims to improve the saturation process by continually controlling the fluid flow into the model, limiting it to rates low enough to avoid model disturbance. A new method for measuring the fluid flow rate is then described, and its implementation & improvement to the system is discussed. © 2010 Taylor & Francis Group, London.

Light-matter interaction in a microcavity-controlled graphene transistor

Graphene has extraordinary electronic and optical properties and holds great promise for applications in photonics and optoelectronics. Demonstrations including high-speed photodetectors, optical modulators, plasmonic devices, and ultrafast lasers have now been reported. More advanced device concepts would involve photonic elements such as cavities to control light-matter interaction in graphene. Here we report the first monolithic integration of a graphene transistor and a planar, optical microcavity. We find that the microcavity-induced optical confinement controls the efficiency and spectral selection of photocurrent generation in the integrated graphene device. A twenty-fold enhancement of photocurrent is demonstrated. The optical cavity also determines the spectral properties of the electrically excited thermal radiation of graphene. Most interestingly, we find that the cavity confinement modifies the electrical transport characteristics of the integrated graphene transistor. Our experimental approach opens up a route towards cavity-quantum electrodynamics on the nanometre scale with graphene as a current-carrying intra-cavity medium of atomic thickness. © 2012 Macmillan Publishers Limited. All rights reserved.

Tests for conceptual design of 6.6 kV class superconducting fault current limiter with YBCO thin film elements

A superconducting fault current limiter (SFCL) for 6.6 kV and 400 A installed in a cubicle for a distribution network substation was conceptually designed. The SFCL consists of parallel- and series-connected superconducting YBCO elements and a limiting resistor. Before designing the SFCL, some tests were carried out. The width and length of each element used in the tests are 30 mm and 210 mm, respectively. The element consists of YBCO thin film of about 200 nm in thickness on cerium dioxide (CeO2) as a cap-layer on a sapphire substrate by metal-organic deposition with a protective metal coat. In the tests, characteristics of each element, such as over-current, withstand-voltage, and so on, were obtained. From these characteristics, series and parallel connections of the elements, called units, were considered. The characteristics of the units were obtained by tests. From the test results, a single phase prototype SFCL was manufactured and tested. Thus, an SFCL rated at 6.6 kV and 400 A can be designed. © 2009 IEEE.

Superconducting fault current limiter design using parallel-connected YBCO thin films

Superconducting Fault Current Limiters (SFCLs) are able to reduce fault currents to an acceptable value, reducing potential mechanical and thermal damage to power system apparatus and allowing more flexibility in power system design and operation. The device can also help avoid replacing circuit breakers whose capacity has been exceeded. Due to limitations in current YBCO thin film manufacturing processes, it is not easy to obtain one large thin film that satisfies the specifications for high voltage and large current applications. The combination of standardized thin films has merit to reduce costs and maintain device quality, and it is necessary to connect these thin films in different series and parallel configurations in order to meet these specifications. In this paper, the design of a resistive type SFCL using parallel-connected YBCO thin films is discussed, including the role of a parallel resistor and the influence of individual thin film characteristics, based on both theory and experimental results. © 2009 IEEE.

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.

Fault-tolerant model predictive control of a wind turbine benchmark

This paper aims to solve the fault tolerant control problem of a wind turbine benchmark. A hierarchical controller with model predictive pre-compensators, a global model predictive controller and a supervisory controller is proposed. In the model predictive pre-compensator, an extended Kalman Filter is designed to estimate the system states and various fault parameters. Based on the estimation, a group of model predictive controllers are designed to compensate the fault effects for each component of the wind turbine. The global MPC is used to schedule the operation of the components and exploit potential system-level redundancies. Extensive simulations of various fault conditions show that the proposed controller has small transients when faults occur and uses smoother and smaller generator torque and pitch angle inputs than the default controller. This paper shows that MPC can be a good candidate for fault tolerant controllers, especially the one with an adaptive internal model combined with a parameter estimation and update mechanism, such as an extended Kalman Filter. © 2012 IFAC.

Robust predictive control with feasible contingencies for fault tolerance

This paper introduces the notion of M-step robust fault tolerance for discrete-time systems where finite-time completion of a control manoeuvre is desired. It considers a scenario with two distinct objectives; a primary and secondary target are specified as sets to be reached in finite-time, whilst satisfying operating constraints on the states and inputs. The primary target is switched to the secondary target when a fault affects the system. As it is unknown when or if the fault will occur, the trajectory to the primary target is constrained to ensure reachability of the secondary target within M steps. A variable-horizon linear MPC formulation is developed to illustrate the concept. The formulation is then extended to provide robustness to bounded disturbances by use of tightened constraints. Simulations demonstrate the efficacy of the controller formulation on a double-integrator model. © 2011 IFAC.

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.