IEEE

Incremental linearization: A practical approach to satisfiability modulo nonlinear arithmetic and transcendental functions

Abstract: Satisfiability Modulo Theories (SMT) is the problem of deciding the satisfiability of a first-order formula with respect to some theory or combination of theories. In this paper, we overview ...
Scientific Research Publishing

Higham, N.J. (2005) Solving Polynomial Eigenproblems by Linearization. School of Mathematics, The University of Manchester, Manchester, M60 1QD.

ABSTRACT: We present in this paper a new method for solving polynomial eigenvalue problem. We give methods that decompose a skew-Hamiltonian matrix using Cholesky like-decomposition. We transform ...
Scientific Research Publishing

Sladecek, L. (2003) Exact Linearization of Stochastic Dynamical Systems by State Space Coordinate Transformation and Feedback Ig-Linearization. Applied Mathematics E-Notes, 3 ...

ABSTRACT: In this paper, we propose a method for finding the best piecewise linearization of nonlinear functions. For this aim, we try to obtain the best approximation of a nonlinear function as a ...
IEEE

A Review of the Basic Power Amplifier Linearization Methods

Abstract: This paper reviews the main groups of power amplifier linearization methods. There are three basic groups of linearization methods: feedforward, feedback and pre-distortion. The principle of ...