Solution Approximation for Atmospheric Flight Dynamics Using Volterra Theory

This dissertation introduces a set of novel approaches in order to facilitate and enrich Volterra theory as a nonlinear approximation technique for constructing mathematical solutions from the governing relationships describing aircraft dynamic behavior. These approaches reconnect Volterra theory and flight mechanics research, which has not been addressed in the technical literature for over twenty years. Volterra theory is known to be viable in modeling weak nonlinearities, but is not particularly well suited for directly describing high performance aircraft dynamics. In order to overcome these obstacles and restrictions of Volterra theory, the global Piecewise Volterra Approach has been developed. This new approach decomposes a strong nonlinearity into weaker components in several sub-regions, which individually only require a low order truncated series. A novel Cause-and-Effect Analysis of these low order truncated series has also been developed. This new technique in turn allows system prediction before employing computer simulation, as well as decomposition of existing simulation results. For a computationally complex and large envelope airframe system, a Volterra Parameter-Varying Model Approach has also been developed as a systematically efficient approach to track the aircraft dynamic model and its response across a wide range of operating conditions. The analytical and numerical solutions based on the proposed methodology show the ability of Volterra theory to help predict, understand, and analyze nonlinear aircraft behavior beyond that attainable by linear theory, or more difficult to extract from nonlinear simulation, which in turn leads to a more efficient nonlinear preliminary design tool

Volterra Series-Based Time-Domain Macromodeling of Nonlinear Circuits

Volterra series (VS) representation is a powerful mathematical model for nonlinear circuits. However, the difficulties in determining higher order Volterra kernels limited its broader applications. In this paper, a systematic approach that enables a convenient extraction of Volterra kernels from X-parameters is presented. A concise and general representation of the output response due to arbitrary number of input tones is given. The relationship between Volterra kernels and X-parameters is explicitly formulated. An efficient frequency sweep scheme and an output frequency indexing scheme are provided. The least square linear regression method is employed to separate different orders of Volterra kernels at the same frequency, which leads to the obtained Volterra kernels complete. The proposed VS representation based on X-parameters is further validated for time-domain verification. The proposed method is systematic and general-purpose. It paves the way for time-domain simulation with X-parameters and constitutes a powerful supplement to the existing blackbox macromodeling methods for nonlinear circuits.postprin

Master of Science

thesisThis document describes an improved method of formal verification of complex analog/mixed-signal (AMS) circuits. Currently, in our LEMA tool, verification properties are encoded using labeled Petri net (LPN). These LPNs are generated manually, a tedious process that requires the user to have considerable familiarity with the tool. To eliminate this time-consuming process, our LEMA tool is extended to include a translator that converts properties written in a property specification language to LPNs. New methods are also implemented to separate the transient period from the stable output period, thus improving the generated model. Also, the current methodology generates the circuit models for the input values used during the simulation of the circuit. So, models generated for other control input values are not accurate. In this case, accuracy of the generated models is improved by using a linear abstraction method like interpolation

Scalable trajectory methods for on-demand analog macromodel extraction.

ABSTRACT Trajectory methods sample the state trajectory of a circuit as it simulates in the time domain, and build macromodels by reducing and interpolating among the linearizations created at a suitably spaced subset of the time points visited during training simulations. Unfortunately, moving from simple to industrial circuits requires more extensive training, which creates models too large to interpolate efficiently. To make trajectory methods practical, we describe a scalable interpolation architecture, and the first implementation of a complete trajectory "infrastructure" inside a full SPICE engine. The approach supports arbitrarily large training runs, automatically prunes redundant trajectory samples, supports limited hierarchy, enables incremental macromodel updates, and gives 3-10X speedups for larger circuits

A NOVEL AUTOMATED MODEL GENERATION ALGORITHM FOR HIGH LEVEL FAULT MODELING OF ANALOG CIRCUITS

gh level modelling techniques have been used by researchers from few decades to increase fault simulation speed of analog circuits. However, due to manual model generation, the techniques are tedious and time consuming and unable to reduce analog testing time. To overcome manual modelling limitation, researchers adopt algorithmic support and start using automated model generation (AMG) methods to generate models for high level modelling of analog circuits. AMG models successfully perform HLFM but unfortunately fail to increase high level fault simulation (HLFS) speed compared to full SPICE-circuit simulations. The failure is mainly occurred due to the consumption of multiple models and computational overhead of model switching required capturing nonlinear effects

Nonlinear models and algorithms for RF systems digital calibration

Focusing on the receiving side of a communication system, the current trend in pushing the digital domain ever more closer to the antenna sets heavy constraints on the accuracy and linearity of the analog front-end and the conversion devices. Moreover, mixed-signal implementations of Systems-on-Chip using nanoscale CMOS processes result in an overall poorer analog performance and a reduced yield. To cope with the impairments of the low performance analog section in this "dirty RF" scenario, two solutions exist: designing more complex analog processing architectures or to identify the errors and correct them in the digital domain using DSP algorithms. In the latter, constraints in the analog circuits' precision can be offloaded to a digital signal processor. This thesis aims at the development of a methodology for the analysis, the modeling and the compensation of the analog impairments arising in different stages of a receiving chain using digital calibration techniques. Both single and multiple channel architectures are addressed exploiting the capability of the calibration algorithm to homogenize all the channels' responses of a multi-channel system in addition to the compensation of nonlinearities in each response. The systems targeted for the application of digital post compensation are a pipeline ADC, a digital-IF sub-sampling receiver and a 4-channel TI-ADC. The research focuses on post distortion methods using nonlinear dynamic models to approximate the post-inverse of the nonlinear system and to correct the distortions arising from static and dynamic errors. Volterra model is used due to its general approximation capabilities for the compensation of nonlinear systems with memory. Digital calibration is applied to a Sample and Hold and to a pipeline ADC simulated in the 45nm process, demonstrating high linearity improvement even with incomplete settling errors enabling the use of faster clock speeds. An extended model based on the baseband Volterra series is proposed and applied to the compensation of a digital-IF sub-sampling receiver. This architecture envisages frequency selectivity carried out at IF by an active band-pass CMOS filter causing in-band and out-of-band nonlinear distortions. The improved performance of the proposed model is demonstrated with circuital simulations of a 10th-order band pass filter, realized using a five-stage Gm-C Biquad cascade, and validated using out-of-sample sinusoidal and QAM signals. The same technique is extended to an array receiver with mismatched channels' responses showing that digital calibration can compensate the loss of directivity and enhance the overall system SFDR. An iterative backward pruning is applied to the Volterra models showing that complexity can be reduced without impacting linearity, obtaining state-of-the-art accuracy/complexity performance. Calibration of Time-Interleaved ADCs, widely used in RF-to-digital wideband receivers, is carried out developing ad hoc models because the steep discontinuities generated by the imperfect canceling of aliasing would require a huge number of terms in a polynomial approximation. A closed-form solution is derived for a 4-channel TI-ADC affected by gain errors and timing skews solving the perfect reconstruction equations. A background calibration technique is presented based on cyclo-stationary filter banks architecture. Convergence speed and accuracy of the recursive algorithm are discussed and complexity reduction techniques are applied

Analysis and simulation methods for free-running, injection-locked and super-regenerative oscillators

RESUMEN: En los últimos años, muchos esfuerzos han sido dedicados al desarrollo de técnicas complementarias para el análisis de circuitos autónomos de microondas. Estas técnicas están pensadas para su uso en combinación con balance armónico, ampliamente usado para el análisis a frecuencias de microondas. De hecho, balance armónico sufre de restricciones cuando se utiliza para el análisis de circuitos autónomos, en su mayoría debidos a su falta de sensibilidad a las propiedades de estabilidad de la solución que se genera o se extingue mediante bifurcaciones. En esta tesis doctoral se presentan nuevos métodos de simulación y análisis para la caracterización y modelado de osciladores libres, sincronizados y superregenerativos. Todos los resultados obtenidos mediante los nuevos métodos de simulación y análisis han sido comparados satisfactoriamente con otras técnicas de simulación y con medidas.ABSTRACT: In the last years, numerous efforts have been devoted to the development of complementary analysis tools for autonomous microwave circuits. They are intended to be applied in combination with the harmonic-balance (HB) method, widely used at microwave frequencies. In fact, HB suffers from a number of shortcomings when dealing with autonomous circuits, mostly due the fact that it is insensitive to the stability properties of the solution, generated and extinguished through bifurcation phenomena. Here, new simulation and analysis methodologies for the characterization and modeling of free-running, injection-locked and super-regenerative oscillators have been proposed to overcome these problems when using commercial software. Results from the different new analysis methodologies have been successfully compared with independent simulations and with measurements