In this paper, we model time-interleaved analog-to-digital converters (TIADCs) with nonlinear hybrid filter banks (NHFBs), which greatly unifies and simplifies the analysis of TIADCs. The input/output relation of such a nonlinear hybrid filter bank can be used to describe combined offset, gain, aperture delay, input behavior, and nonlinearity mismatches and is therefore an extendable starting p...

The paper proposes a simulation-based method for validating analog and mixed-signal circuits, using the hybrid systems methodology. This method builds upon RRT (Rapidly-exploring Random Trees), a probabilistic path/motion planning technique in robotics with a special property that allows to guarantee a good coverage quality. We focus on investigating conditions for preserving this coverage prop...

Hybrid filter banks have received increasing attention in the literature, for applications such as high-speed, high-resolution A/D and D/A converter design. In the manufacturing process, however, the filter coefficients of a hybrid filter bank are plagued with some errors due to technological limitations, particularly those of the analog filters, leading to degradation of the system performance...

A hybrid simulation environment for controls testing and training is described. A real-time simulation of a building and HVAC system is coupled to a real building control system using a hardware interface. A prototype has been constructed and tested in which the dynamic performance of both the HVAC equipment and the building envelope is simulated using SPARK (Simulation Problem Analysis and Res...

Endogenous hyperinsulinemia and insulin receptor (IR)/IGF-I receptor (IGF-IR) phosphorylation in tumors are associated with a worse prognosis in women with breast cancer. In vitro, insulin stimulation of the IR increases proliferation of breast cancer cells. However, in vivo studies demonstrating that IR activation increases tumor growth, independently of IGF-IR activation, are lacking. We hypo...

Hybrid automata model systems with both digital and analog components, such as embedded control programs. Many veriication tasks for such programs can be expressed as reachability problems for hybrid au-tomata. By improving on previous decidability and un-decidability results, we identify the precise boundary between decidability and undecidability of the reachability problem for hybrid automat...

In this paper, we focus on the design of low complexity hybrid analog/digital precoding and diversity combining in the millimeter wave multiple-input multiple-output (MIMO) systems. Firstly, by exploiting the sparseness property of the millimeter wave in the angular domain, we propose a spatial lobes division (SLD) to group the total paths of the millimeter wave channel into several spatial lob...

Electromagnetic circuits are the electromagnetic analog at fixed frequency of mass-spring networks in elastodynamics. By interchanging the roles of ε and μ in electromagnetic circuits one obtains magnetoelectric circuits. Here we show that by introducing tetrahedral connectors having ε = μ = 0 one can join electromagnetic and magnetoelectric circuits to obtain hybrid circuits. Their response is...

This paper develops a theory of analog representation. We first argue that the mark is to be found in nature representational system's interpretation function, rather than its vehicles or contents alone. then develop rulebound structure representation, according which systems use interpretive rules map syntactic structural features onto semantic features. The involves three degree-theoretic mea...

This paper presents a 12-bit 2.32 GS/s time-interleaved pipelined/successive-approximation register (SAR) hybrid analog-to-digital converter (ADC) implemented in 28 nm CMOS. To achieve high-linearity at several GS/s, pseudo-differential push-pull input buffer with floating-body technique is proposed. A pipelined/SAR architecture dual-channel sampling multiplying digital-to-analog (MDAC) and one...