Partial-Order Reduction for Supervisory Controller Synthesis

A key challenge in the synthesis and subsequent analysis of supervisory controllers is the impact of state-space explosion caused by concurrency. The main bottleneck is often the memory needed to store the composition of plant and requirement automata and the resulting supervisor. Partial-order reduction (POR) is a well-established technique...

Mathematical formulation of quantum circuit design problems in networks of quantum computers

Hybrid Helmholtz machines a gate-based quantum circuit implementation

Embedding silicon spin qubits in superconducting circuits

We demonstrate the strong coupling between a single electron spin in silicon and a single photon in a superconducting microwave cavity. Using the same cavity we perform rapid high-fidelity single-shot readout of two-electron spin states.

Memory Solutions for Flexible Thin-Film Logic: Up to 8kb, >105.9kb/s LPROM and SRAM with Integrated Timing Generation Meeting the ISO NFC Standard

Thin-film transistor (TFT) technologies have long been used predominantly for display fabrication and are attractive for large area, low cost and flexible circuit applications. Thanks to the improving performance of thin-film metal-oxide NFC tags and data processing chips on foil [1], [2], fabs are considering the large-scale production of...

Magnetic field resilient superconducting coplanar waveguide resonators for hybrid cQED experiments

Superconducting coplanar-waveguide resonators that can operate in strong magnetic fields are important tools for a variety of high-frequency superconducting devices. Magnetic fields degrade resonator performance by creating Abrikosov vortices that cause resistive losses and frequency fluctuations or suppress the superconductivity entirely. To...

Timing prediction for service-based applications mapped on linux-based multi-core platforms

We develop a model-based approach to predict timing of service-based software applications on Linux-based multi-core platforms for alternative mappings (affinity and priority settings). Service-based applications consist of communicating sequential (Linux) processes. These processes execute functions (also called services), but can only execute...

Phase Controlled 2.6-3.5 GHz Fractional-N PLL IC

This paper describes a fractional-N PLL IC with absolute phase control utilizing an on-chip loop-filter. The frequency range is 2.6 to 3.5 GHz, which covers one of the bands for future low-band 5G telecommunication systems. For phased-array operation a compact form-factor is needed as the space available for the complete front-end is limited by...

Understanding the impact of circuit-level inaccuracy on sensor network performance

Energy efficiency is of paramount importance in designing low-power wireless sensor nodes. Approximate computing is a new circuit-level technique for reducing power consumption. However, the gain in power by applying this technique is achieved at the cost of computational errors. The impact of such inaccuracies in the circuit level of a radio...

General method for extracting the quantum efficiency of dispersive qubit readout in circuit QED

We present and demonstrate a general three-step method for extracting the quantum efficiency of dispersive qubit readout in circuit QED. We use active depletion of post-measurement photons and optimal integration weight functions on two quadratures to maximize the signal-to-noise ratio of the non-steady-state homodyne measurement. We derive...

Finding Kairos: The influence of context-based timing on compliance with well-being triggers

Compact physical model of a-IGZO TFTs for circuit simulation

Flexible metal-oxide thin film transistor circuits for RFID and health patches

We discuss in this paper the present state and future perspectives of thin-film oxide transistors for flexible electronics. The application case that we focus on is a flexible health patch containing an analog sensor interface as well as digital electronics to transmit the acquired data wirelessly to a base station. We examine the electronic...

Scaling up penetration rates in field tests by emulating V2X communication

Cooperative systems require the presence of multiple cooperative ITS stations to be effective and able to cooperate. Testing a single cooperative vehicle or road side unit will require a large number of other cooperative vehicles. Equipping additional test vehicles is expensive on hardware, drivers, and test facilities. It is also time consuming...