The measurability by means of continuous measurements, of an observable A(t0), at an instant, and of a time averaged observable, Ā = 1/T ∫ A(t)dt, is examined for linear and in particular for non-linear quantum mechanical systems. We argue that only when the exact (non-perturbative) solution is known, an exact measurement may be possible. A perturbative approach is shown to fail in the non-line...

A new non-linear method for design and analysis of solid state power amplifiers is presented and applied to an aluminum gallium nitride, gallium nitride (AlGaN-GaN) high electron-mobility transistor (HEMTs) on silicon-carbide (SiC) substrate for Ku band (12.4 13.6 GHz) applications. With combining output power of 8 transistors, maximum output power of 46.3 dBm (42.6 W), PAE of 43% and linear ga...

the concept of land use transition highlights that land use change is non-linear and is associated with other societal and biophysical system changes. changes in human systems has resulted in changes in the natural system such as changes in land use. land use change causes not only environmental factors like geography and topography are important, but social factors examined such as population ...

This paper shows how to compute, for probabilistic hybrid systems, the clock approximation and linear phase-portrait approximation that have been proposed for non probabilistic processes by Henzinger et al. The techniques permit to define a rectangular probabilistic process from a non rectangular one, hence allowing the model-checking of any class of systems. Clock approximation, which applies ...

We present splitting methods for numerically solving a certain class of explicitly time-dependent linear differential equations. Starting from an efficient method for the autonomous case and making use of the formal solution obtained with the Magnus expansion, we show how to get the order conditions for the non-autonomous case. We also build a family of sixth-order integrators whose performance...

We describe powerful computational techniques, relying on linear algebraic methods,for generating ideals of non-linear invariants of algebraic hybrid systems. We show thatthe preconditions for discrete transitions and the Lie-derivatives for continuous evolu-tion can be viewed as morphisms, and so can be suitably represented by matrices. Wereduce the non-trivial invariant genera...