Workshop on Verification and Theorem Proving for Continuous Systems (NetCA Workshop 2005)

Oxford, UK, 26 August 200

Hybrid modeling and control of mechatronic systems using a piecewise affine dynamics approach

This thesis investigates the topic of modeling and control of PWA systems based on two experimental cases of an electrical and hydraulic nature with varying complexity that were also built, instrumented and evaluated. A full-order model has been created for both systems, including all dominant system dynamics and non-linearities. The unknown parameters and characteristics have been identi ed via an extensive parameter identi cation. In the following, the non-linear characteristics are linearized at several points, resulting in PWA models for each respective setup. Regarding the closed loop control of the generated models and corresponding experimental setups, a linear control structure comprised of integral error, feed-forward and state-feedback control has been used. Additionally, the hydraulic setup has been controlled in an autonomous hybrid position/force control mode, resulting in a switched system with each mode's dynamics being de ned by the previously derived PWA-based model in combination with the control structure and respective mode-dependent controller gains. The autonomous switch between control modes has been de ned by a switching event capable of consistently switching between modes in a deterministic manner despite the noise-a icted measurements. Several methods were used to obtain suitable controller gains, including optimization routines and pole placement. Validation of the system's fast and accurate response was obtained through simulations and experimental evaluation. The controlled system's local stability was proven for regions in state-space associated with operational points by using pole-zero analysis. The stability of the hybrid control approach was proven by using multiple Lyapunov functions for the investigated test scenarios.publishedVersio

Towards phase-coherent caloritronics in superconducting circuits

The emerging field of phase-coherent caloritronics (from the Latin word "calor", i.e., heat) is based on the possibility to control heat currents using the phase difference of the superconducting order parameter. The goal is to design and implement thermal devices able to master energy transfer with a degree of accuracy approaching the one reached for charge transport by contemporary electronic components. This can be obtained by exploiting the macroscopic quantum coherence intrinsic to superconducting condensates, which manifests itself through the Josephson and the proximity effect. Here, we review recent experimental results obtained in the realization of heat interferometers and thermal rectifiers, and discuss a few proposals for exotic non-linear phase-coherent caloritronic devices, such as thermal transistors, solid-state memories, phase-coherent heat splitters, microwave refrigerators, thermal engines and heat valves. Besides being very attractive from the fundamental physics point of view, these systems are expected to have a vast impact on many cryogenic microcircuits requiring energy management, and possibly lay the first stone for the foundation of electronic thermal logic.Comment: 11 pages, 6 colour figure

Investigation into the integration of a resonant tunnelling diode and an optical communications laser: model and experiment

A resonant tunnelling diode has been monolithically integrated with an optical communications laser [the resonant tunnelling diode (RTD-LD)] to form a simple optoelectronic integrated circuit (OEIC) that is a novel bistable device suitable for an optical communications system. The RTD-LD was based on a ridge-waveguide laser structure and was fabricated from an InAlGaAs-InP epi-wafer grown by molecular beam epitaxy; it emitted at around 1500 nm. Voltage controlled optical-electrical switching and bistability were observed during the characterisation of the RTD-LD - useful features for a fibre-optic communications laser. Optical and electrical simulations of the RTD-LD were carried out using the circuit simulation tool PSPICE. In addition, a discrete component version of the RTD-LD was constructed which exhibited optical power oscillations, and along with the results of the simulations, gave insight into the operating principles of the monolithically integrated RTD-LD

Integrating Abstraction Techniques for Formal Verification of Analog Designs

The verification of analog designs is a challenging and exhaustive task that requires deep understanding of physical behaviours. In this paper, we propose a qualitative based predicate abstraction method for the verification of a class of non-linear analog circuits. In the proposed method, system equations are automatically extracted from a circuit diagram by means of a bond graph. Verification is applied based on combining techniques from constraint solving and computer algebra along with symbolic model checking. Our methodology has the advantage of avoiding exhaustive simulation normally encountered in the verification of analog designs. To this end, we have used Dymola, Hsolver, SMV and Mathematica to implement the verification flow. We illustrate the methodology on several analog examples including Colpitts and tunnel diode oscillators

Design, Growth, and Characterization of III-Sb and III-N Materials for Photovoltaic Applications

abstract: Photovoltaic (PV) energy has shown tremendous improvements in the past few decades showing great promises for future sustainable energy sources. Among all PV energy sources, III-V-based solar cells have demonstrated the highest efficiencies. This dissertation investigates the two different III-V solar cells with low (III-antimonide) and high (III-nitride) bandgaps. III-antimonide semiconductors, particularly aluminum (indium) gallium antimonide alloys, with relatively low bandgaps, are promising candidates for the absorption of long wavelength photons and thermophotovoltaic applications. GaSb and its alloys can be grown metamorphically on non-native substrates such as GaAs allowing for the understanding of different multijunction solar cell designs. The work in this dissertation presents the molecular beam epitaxy growth, crystal quality, and device performance of AlxGa1−xSb solar cells grown on GaAs substrates. The motivation is on the optimization of the growth of AlxGa1−xSb on GaAs (001) substrates to decrease the threading dislocation density resulting from the significant lattice mismatch between GaSb and GaAs. GaSb, Al0.15Ga0.85Sb, and Al0.5Ga0.5Sb cells grown on GaAs substrates demonstrate open-circuit voltages of 0.16, 0.17, and 0.35 V, respectively. In addition, a detailed study is presented to demonstrate the temperature dependence of (Al)GaSb PV cells. III-nitride semiconductors are promising candidates for high-efficiency solar cells due to their inherent properties and pre-existing infrastructures that can be used as a leverage to improve future nitride-based solar cells. However, to unleash the full potential of III-nitride alloys for PV and PV-thermal (PVT) applications, significant progress in growth, design, and device fabrication are required. In this dissertation, first, the performance of ii InGaN solar cells designed for high temperature application (such as PVT) are presented showing robust cell performance up to 600 ⁰C with no significant degradation. In the final section, extremely low-resistance GaN-based tunnel junctions with different structures are demonstrated showing highly efficient tunneling characteristics with negative differential resistance (NDR). To improve the efficiency of optoelectronic devices such as UV emitters the first AlGaN tunnel diode with Zener characteristic is presented. Finally, enabled by GaN tunnel junction, the first tunnel contacted InGaN solar cell with a high VOC value of 2.22 V is demonstrated.Dissertation/ThesisDoctoral Dissertation Electrical Engineering 201

A unified approach to compact device modelling with the open source packages Qucs/ADMS and MAPP/Octave

Qucs-0.0.18: Structure and basic modelling features; Qucs-0.0.19: Introducing the next generation Qucs simulation and modelling tools; Qucs circuit simulation and device modelling: Simulation, subcircuits, post-simulation data processing, algebraic equation-defined components and embedded design routines. Compact device modelling: 1. Equation-Defined Device models (EDD), Radio Frequency and Equation-Defined Models (FEDD); 2. Analogue Device Model Synthesis (ADMS) of Verilog-A behavioural and lower level device and circuit models, Qucs ADMS/Verilog-A “turn-key” tools; 3. Expanded compact device modelling capabilities with the Berkeley Model and Algorithm Prototyping Platform (MAPP); 4. A unified GPL compact device modelling and simulation platform

Design of a 12-GHz multicarrier earth-terminal for satellite-CATV interconnection

The design and development of the front-end for a multi-carrier system that allows multiplex signal transmission from satellite-borne transponders is described. Detailed systems analyses provided down-converter specifications. The 12 GHz carrier down-converter uses waveguide, coaxial, and microstrip transmission line elements in its implementation. Mixing is accomplished in a single-ended coaxial mixer employing a field-replacable cartridge style diode