This paper presents novel architectures of multirate hybrid cascade continuous-time/discrete-time !" modulators that take advantage of the potentially faster operation of the continuoustime part of the circuit, while keep a reduced sampling operation of the back-end discrete-time stages. Compared to conventional multirate !" modulators, the proposed architectures use a higher sampling rate in t...

A feeding network crossing method is proposed to form an N $\times $ dual-polarized two-dimensional multibeam antenna array (2D-MBAA) with analog-digital hybrid beamforming, which solves the problem of needing additional connection structure between and analog for large-scale arrays. The main design work focused on analog-beamformer (ABF) two structures are proposed. One vertical-crossed (VC) A...

The application of formal methods to analog and mixed signal circuits requires efficient methods for constructing abstractions of circuit behaviors. This paper concerns the verification of properties of oscillator circuits. Generic monitor automata are proposed to facilitate the application of hybrid system reachability computations to characterize time domain features of oscillatory behavior, ...

Both industry and the academic world are becoming more and more interested in techniques to model, analyse, and control complex systems that contain both analog and logical components. Such systems are called hybrid systems. Examples of hybrid systems are telecommunication networks, flexible production systems, parallel processing systems, traffic networks, and so on. In this paper we present a...

This paper investigates the problem of hybrid precoder and combiner design for multiple-input multiple-output (MIMO) orthogonal frequency division multiplexing (OFDM) systems operating in millimeter-wave (mmWave) bands. We propose a novel iterative scheme to design the codebook-based analog precoder and combiner in forward and reverse channels. During each iteration, we apply compressive sensin...

Single-photon counting hybrid pixel detectors have shown to be a valid alternative to other types of X-ray imaging devices due to their high sensitivity, low noise, linear behavior and wide dynamic range. One important advantage of these devices is the fact that detector and readout electronics are manufactured separately. This allows the use of industrial state-of-the-art CMOS processes to mak...

MC-CDMA and OFDM systems are widely used in the existing 3rd and 4th generation wireless networks. They are also good candidates for the future generation networks for broadband and personal communications. But, high peak to average power ratios (PAPR) is serious problem in MCCDMA which can increase complexity in the analog to digital and digital to analog converter, reduce the system efficienc...

Formal verification of analog and mixed signal circuits using continuous models is a promising area. As a consequence, hybrid system techniques, especially reachability analysis, have been applied to verify AMS designs. However, reachability computation is extremely expensive for high-dimensional, nonlinear hybrid systems. Therefore, it is challenging to verify large, practical circuits using a...

Single-photon counting hybrid pixel detectors have shown to be a valid alternative to other types of X-ray imaging devices due to their high sensitivity, low noise, linear behavior and wide dynamic range. One important advantage of these devices is the fact that detector and readout electronics are manufactured separately. This allows the use of industrial state-of-the-art CMOS processes to mak...

We present a general framework for the formal specification and algorithmic analysis of hybrid systems. A hybrid system consists of a discrete program with an analog environment. We model hybrid systems as finite automata equipped with variables that evolve continuously with time according to dynamical laws. For verification purposes, we restrict ourselves to linear hybrid systems, where all va...