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.

Controlled growth orientation of carbon nanotube pillars by catalyst patterning in microtrenches

We present a novel method for controlling the growth orientation of individual carbon nanotube (CNT) microstructures on a silicon wafer substrate. Our method controls the CNT forest orientation by patterning the catalyst layer used in the CNTs growth on slanted KOH edges. The overlap of catalyst area on the horizontal bottom and sloped sidewall surfaces of the KOH-etched substrate enables precise variation of the growth direction. These inclined structures can profit from the outstanding mechanical, electrical, thermal, and optical properties of CNTs and can therefore improve the performance of several MEMS devices. Inclined CNT microstructures could for instance be used as cantilever springs in probe card arrays, as tips in dip-pen lithography, and as sensing element in advanced transducers. ©2009 IEEE.

Adaptive regulation of vector-controlled induction motors

This paper addresses the speed and flux regulation of induction motors under the assumption that the motor parameters are poorly known. An adaptive passivity-based control is proposed that guarantees robust regulation as well as accurate estimation of the electrical parameters that govern the motor performance. This paper provides a local stability analysis of the adaptive scheme, which is illustrated by simulations and supported by a successful experimental validation on an industrial product. © 2009 IEEE.

Precursor flow rate manipulation for the controlled fabrication of twin-free GaAs nanowires on silicon substrates

Vertically oriented GaAs nanowires (NWs) are grown on Si(111) substrates using metal-organic chemical vapor deposition. Controlled epitaxial growth along the 111 direction is demonstrated following the deposition of thin GaAs buffer layers and the elimination of structural defects, such as twin defects and stacking faults, is found for high growth rates. By systematically manipulating the AsH 3 (group-V) and TMGa (group-III) precursor flow rates, it is found that the TMGa flow rate has the most significant effect on the nanowire quality. After capping the minimal tapering and twin-free GaAs NWs with an AlGaAs shell, long exciton lifetimes (over 700ps) are obtained for high TMGa flow rate samples. It is observed that the Ga adatom concentration significantly affects the growth of GaAs NWs, with a high concentration and rapid growth leading to desirable characteristics for optoelectronic nanowire device applications including improved morphology, crystal structure and optical performance. © 2012 IOP Publishing Ltd.

IGBT converters conducted EMI analysis by controlled multiple-slope switching waveform approximation

IGBTs realise high-performance power converters. Unfortunately, with fast switching of the IGBT-free wheel diode chopper cell, such circuits are intrinsic sources of high-level EMI. Therefore, costly EMI filters or shielding are normally needed on the load and supply side. In order to design these EMI suppression components, designers need to predict the EMI level with reasonable accuracy for a given structure and operating mode. Simplifying the transient IGBT switching current and voltage into a multiple slope switching waveform approximation offers a feasible way to estimate conducted EMI with some accuracy. This method is dependent on the availability of high-fidelity measurements. Also, that multiple slope approximation needs careful and time-costly IGBT parameters optimisation process to approach the real switching waveform. In this paper, Active Voltage Control Gate Drive(AVC GD) is employed to shape IGBT switching into several defined slopes. As a result, Conducted EMI prediction by multiple slope switching approximation could be more accurate, less costly but more friendly for implementation. © 2013 IEEE.

Controlled amine functionality in self-assembled monolayers via the hidden amine route: chemical and electronic tunability.

A synthetic strategy for fabricating a dense amine functionalized self-assembled monolayer (SAM) on hydroxylated surfaces is presented. The assembly steps are monitored by X-ray photoelectron spectroscopy, Fourier transform infrared- attenuated total reflection, atomic force microscopy, variable angle spectroscopic ellipsometry, UV-vis surface spectroscopy, contact angle wettability, and contact potential difference measurements. The method applies alkylbromide-trichlorosilane for the fabrication of the SAM followed by surface transformation of the bromine moiety to amine by a two-step procedure: S(N)2 reaction that introduces the hidden amine, phthalimide, followed by the removal of the protecting group and exposing the free amine. The use of phthalimide moiety in the process enabled monitoring the substitution reaction rate on the surface (by absorption spectroscopy) and showed first-order kinetics. The simplicity of the process, nonharsh reagents, and short reaction time allow the use of such SAMs in molecular nanoelectronics applications, where complete control of the used SAM is needed. The different molecular dipole of each step of the process, which is verified by DFT calculations, supports the use of these SAMs as means to tune the electronic properties of semiconductors and for better synergism between SAMs and standard microelectronics processes and devices.

Co-catalytic absorption layers for controlled laser-induced chemical vapor deposition of carbon nanotubes.

The concept of co-catalytic layer structures for controlled laser-induced chemical vapor deposition of carbon nanotubes is established, in which a thin Ta support layer chemically aids the initial Fe catalyst reduction. This enables a significant reduction in laser power, preventing detrimental positive optical feedback and allowing improved growth control. Systematic study of experimental parameters combined with simple thermostatic modeling establishes general guidelines for the effective design of such catalyst/absorption layer combinations. Local growth of vertically aligned carbon nanotube forests directly on flexible polyimide substrates is demonstrated, opening up new routes for nanodevice design and fabrication.

Plenary talk - Applied HTS research and practical applications in Europe

The development of long-length, high current density Bi2Sr 2CaCu2Ox wires and (RE)Ba2Cu 3Oy coated conductors has now advanced such that superconducting magnets for energy applications and high field applications are progressing rapidly. Europe, along with China, Korea the US and Japan is an important player in the development and exploitation of High Temperature Superconductors in practical applications. © 2013 IEEE.

High performance transistors based on the controlled growth of triisopropylsilylethynyl-pentacene crystals via non-isotropic solvent evaporation

Triisopropylsilylethynyl-pentacene (TIPS-PEN) has proven to be one of the most promising small molecules in the field of molecular electronics, due to its unique features in terms of stability, performance and ease of processing. Among a wide variety of well-established techniques for the deposition of TIPS-PEN, blade-metered methods have recently gained great interest towards the formation of uniform crystalline films over a large area. Following this rationale, we herein designed a versatile approach based on blade-coating, which overcomes the problem of anisotropic crystal formation by manipulating the solvent evaporation behaviour, in a way that brings about a preferential degree of crystal orientation. The applicability of this method was evaluated by fabricating field-effect transistors on glass as well as on silicon dioxide/silicon (SiO2/Si) substrates. Interestingly, in an attempt to improve the rheological and wetting behaviour of the liquid films on the SiO2/Si substrates, we introduced a polymeric interlayer of polystyrene (PS) or polymethylmethacrylate (PMMA) which concurrently acts as passivation and crystallization assisting layer. In this case, the synergistic effects of the highly-ordered crystalline structure and the oxide surface modification were thoroughly investigated. The overall performance of the fabricated devices revealed excellent electrical characteristics, with high saturation mobilities up to 0.72 cm2 V-1 s-1 (on glass with polymeric dielectric), on/off current ratio >104 and low threshold voltage values (<-5 V). This journal is © the Partner Organisations 2014.