Projection-Based Reduced Order Modeling for Spacecraft Thermal Analysis

This paper presents a mathematically rigorous, subspace projection-based reduced order modeling (ROM) methodology and an integrated framework to automatically generate reduced order models for spacecraft thermal analysis. Two key steps in the reduced order modeling procedure are described: (1) the acquisition of a full-scale spacecraft model in the ordinary differential equation (ODE) and differential algebraic equation (DAE) form to resolve its dynamic thermal behavior; and (2) the ROM to markedly reduce the dimension of the full-scale model. Specifically, proper orthogonal decomposition (POD) in conjunction with discrete empirical interpolation method (DEIM) and trajectory piece-wise linear (TPWL) methods are developed to address the strong nonlinear thermal effects due to coupled conductive and radiative heat transfer in the spacecraft environment. Case studies using NASA-relevant satellite models are undertaken to verify the capability and to assess the computational performance of the ROM technique in terms of speed-up and error relative to the full-scale model. ROM exhibits excellent agreement in spatiotemporal thermal profiles (<0.5% relative error in pertinent time scales) along with salient computational acceleration (up to two orders of magnitude speed-up) over the full-scale analysis. These findings establish the feasibility of ROM to perform rational and computationally affordable thermal analysis, develop reliable thermal control strategies for spacecraft, and greatly reduce the development cycle times and costs

On Modeling and Nonlinear Model Reduction in Automotive Systems

The current control design development process in automotive industry and elsewhere involves many expensive experiments and hand-tuning of control parameters. Model based control design is a promising approach to reduce costs and development time. In this process low complexity models are essential and model reduction methods are very useful tools. This thesis combines the areas of modeling and model reduction with applications in automotive systems. A model reduction case study is performed on an engine air path. The heuristic method commonly used when modeling engine dynamics is compared with a more systematic approach based on the balanced truncation method.The main contribution of this thesis is a method for model reduction of nonlinear systems. The procedure is focused on reducing the number of states using information obtained by linearization around trajectories. The methodology is closely tied to existing theory on error bounds and good results are shown in form of examples such as a controller used in real-world cars. Also, a model of the exhaust gas oxygen sensor, used for air-fuel ratio control in automotive spark-ignition engines, is developed and successfully validated

IC design for reliability

textAs the feature size of integrated circuits goes down to the nanometer scale, transient and permanent reliability issues are becoming a significant concern for circuit designers. Traditionally, the reliability issues were mostly handled at the device level as a device engineering problem. However, the increasing severity of reliability challenges and higher error rates due to transient upsets favor higher-level design for reliability (DFR). In this work, we develop several methods for DFR at the circuit level. A major source of transient errors is the single event upset (SEU). SEUs are caused by high-energy particles present in the cosmic rays or emitted by radioactive contaminants in the chip packaging materials. When these particles hit a N+/P+ depletion region of an MOS transistor, they may generate a temporary logic fault. Depending on where the MOS transistor is located and what state the circuit is at, an SEU may result in a circuit-level error. We analyze SEUs both in combinational logic and memories (SRAM). For combinational logic circuit, we propose FASER, a Fast Analysis tool of Soft ERror susceptibility for cell-based designs. The efficiency of FASER is achieved through its static and vector-less nature. In order to evaluate the impact of SEU on SRAM, a theory for estimating dynamic noise margins is developed analytically. The results allow predicting the transient error susceptibility of an SRAM cell using a closedform expression. Among the many permanent failure mechanisms that include time-dependent oxide breakdown (TDDB), electro-migration (EM), hot carrier effect (HCE), and negative bias temperature instability (NBTI), NBTI has recently become important. Therefore, the main focus of our work is NBTI. NBTI occurs when the gate of PMOS is negatively biased. The voltage stress across the gate generates interface traps, which degrade the threshold voltage of PMOS. The degraded PMOS may eventually fail to meet timing requirement and cause functional errors. NBTI becomes severe at elevated temperatures. In this dissertation, we propose a NBTI degradation model that takes into account the temperature variation on the chip and gives the accurate estimation of the degraded threshold voltage. In order to account for the degradation of devices, traditional design methods add guard-bands to ensure that the circuit will function properly during its lifetime. However, the worst-case based guard-bands lead to significant penalty in performance. In this dissertation, we propose an effective macromodel-based reliability tracking and management framework, based on a hybrid network of on-chip sensors, consisting of temperature sensors and ring oscillators. The model is concerned specifically with NBTIinduced transistor aging. The key feature of our work, in contrast to the traditional tracking techniques that rely solely on direct measurement of the increase of threshold voltage or circuit delay, is an explicit macromodel which maps operating temperature to circuit degradation (the increase of circuit delay). The macromodel allows for costeffective tracking of reliability using temperature sensors and is also essential for enabling the control loop of the reliability management system. The developed methods improve the over-conservatism of the device-level, worstcase reliability estimation techniques. As the severity of reliability challenges continue to grow with technology scaling, it will become more important for circuit designers/CAD tools to be equipped with the developed methods.Electrical and Computer Engineerin

BioDiVinE: A Framework for Parallel Analysis of Biological Models

In this paper a novel tool BioDiVinEfor parallel analysis of biological models is presented. The tool allows analysis of biological models specified in terms of a set of chemical reactions. Chemical reactions are transformed into a system of multi-affine differential equations. BioDiVinE employs techniques for finite discrete abstraction of the continuous state space. At that level, parallel analysis algorithms based on model checking are provided. In the paper, the key tool features are described and their application is demonstrated by means of a case study

MODEL ORDER REDUCTION OF NONLINEAR DYNAMIC SYSTEMS USING MULTIPLE PROJECTION BASES AND OPTIMIZED STATE-SPACE SAMPLING

Model order reduction (MOR) is a very powerful technique that is used to deal with the increasing complexity of dynamic systems. It is a mature and well understood field of study that has been applied to large linear dynamic systems with great success. However, the continued scaling of integrated micro-systems, the use of new technologies, and aggressive mixed-signal design has forced designers to consider nonlinear effects for more accurate model representations. This has created the need for a methodology to generate compact models from nonlinear systems of high dimensionality, since only such a solution will give an accurate description for current and future complex systems.The goal of this research is to develop a methodology for the model order reduction of large multidimensional nonlinear systems. To address a broad range of nonlinear systems, which makes the task of generalizing a reduction technique difficult, we use the concept of transforming the nonlinear representation into a composite structure of well defined basic functions from multiple projection bases.We build upon the concept of a training phase from the trajectory piecewise-linear (TPWL) methodology as a practical strategy to reduce the state exploration required for a large nonlinear system. We improve upon this methodology in two important ways: First, with a new strategy for the use of multiple projection bases in the reduction process and their coalescence into a unified base that better captures the behavior of the overall system; and second, with a novel strategy for the optimization of the state locations chosen during training. This optimization technique is based on using the Hessian of the system as an error bound metric.Finally, in order to treat the overall linear/nonlinear reduction task, we introduce a hierarchical approach using a block projection base. These three strategies together offer us a new perspective to the problem of model order reduction of nonlinear systems and the tracking or preservation of physical parameters in the final compact model

Model predictive control architecture for rotorcraft inverse simulation

A novel inverse simulation scheme is proposed for applications to rotorcraft dynamic models. The algorithm adopts an architecture that closely resembles that of a model predictive control scheme, where the controlled plant is represented by a high-order helicopter model. A fast solution of the inverse simulation step is obtained on the basis of a lower-order, simplified model. The resulting control action is then propagated forward in time using the more complex one. The algorithm compensates for discrepancies between the models by updating initial conditions for the inverse simulation step and introducing a simple guidance scheme in the definition of the tracked output variables. The proposed approach allows for the assessment of handling quality potential on the basis of the most sophisticated model, while keeping model complexity to a minimum for the computationally more demanding inverse simulation algorithm. The reported results, for an articulated blade, single main rotor helicopter model, demonstrate the validity of the approach

Calculation of the steady states in dynamic semiconductor laser models

We discuss numerical challenges in calculating stable and unstable steady states of widely used dynamic semiconductor laser models. Knowledge of these states is valuable when analyzing laser dynamics and different properties of the lasing states. The example simulations and analysis mainly rely on 1(time)+1(space)-dimensional traveling-wave models, where the steady state defining conditions are formulated as a system of nonlinear algebraic equations. The performed steady state calculations reveal limitations of the Lang-Kobayashi model, explain nontrivial bias threshold relations in lasers with several electrical contacts, or predict and explain transient dynamics when simulating such lasers

Reduction of dynamical biochemical reaction networks in computational biology

Biochemical networks are used in computational biology, to model the static and dynamical details of systems involved in cell signaling, metabolism, and regulation of gene expression. Parametric and structural uncertainty, as well as combinatorial explosion are strong obstacles against analyzing the dynamics of large models of this type. Multi-scaleness is another property of these networks, that can be used to get past some of these obstacles. Networks with many well separated time scales, can be reduced to simpler networks, in a way that depends only on the orders of magnitude and not on the exact values of the kinetic parameters. The main idea used for such robust simplifications of networks is the concept of dominance among model elements, allowing hierarchical organization of these elements according to their effects on the network dynamics. This concept finds a natural formulation in tropical geometry. We revisit, in the light of these new ideas, the main approaches to model reduction of reaction networks, such as quasi-steady state and quasi-equilibrium approximations, and provide practical recipes for model reduction of linear and nonlinear networks. We also discuss the application of model reduction to backward pruning machine learning techniques