Volterra series have been in the engineering literature for some time now, and yet there have been few attempts to measure Volterra kernels. This paper discusses techniques for measuring the Volterra kernels of weakly nonlinear systems. We introduce a new quick method for measuring the second Volterra kernel which is analogous to pseudo-noise testing of a linear device. To illustrate the discus...

In this paper we present HySat, a new bounded model checker for linear hybrid systems, incorporating a tight integration of a DPLL–based pseudo–Boolean SAT solver and a linear programming routine as core engine. In contrast to related tools like MathSAT, ICS, or CVC, our tool exploits all of the various optimizations that arise naturally in the bounded model checking context, e.g. isomorphic re...

In this paper we present HySAT, a bounded model checker for linear hybrid systems, incorporating a tight integration of a DPLL–based pseudo–Boolean SAT solver and a linear programming routine as core engine. In contrast to related tools like MathSAT, ICS, or CVC, our tool exploits the various optimizations that arise naturally in the bounded model checking context, e.g. isomorphic replication o...

The input-to-state linearization of a system is usually necessary to consider whenever the input-to-output linearization of the system yields a possibly unstable cloosed-loop system. In this work a unified approach to the input-to-state linearization of nonlinear systems, both continuousand discrete-time, is suggested. The problem is studied from a uniform standpoint. In that respect methods an...

We consider {0, 1}n as a sample space with a probability measure on it, thus making pseudo-Boolean functions into random variables. We then derive explicit formulas for approximating a pseudo-Boolean random variable by a linear function if the measure is permutation-invariant, and by a function of degree at most k if the measure is a product measure. These formulas generalize results due to Ham...

In this paper, an adaptive two-stage linear Kalman filtering algorithm (Wu, Zhang, and Zhou, 2000) is used to estimate the loss of control effectiveness and the magnitude of low degree of stuck faults in a closed-loop nonlinear B747 aircraft. Control effectiveness factors and stuck magnitudes are used to quantify faults entering control systems through actuators. Pseudo random excitation inputs...

A construction of the bi-Hamiltonian structures for integrable systems on regular time scales is presented. The trace functional on an algebra of δ-pseudo-differential operators, valid on an arbitrary regular time scale, is introduced. The linear Poisson tensors and the related Hamiltonians are derived. The quadratic Poisson tensors is given by the use of the recursion operators of the Lax hier...

Direction-dependent dynamic systems are defined, and Wiener models for them are described. For first-order systems with pseudo-random binary inputs, optimising the model parameters by cross-correlation function matching methods based on analysis gives excellent results. For first-order systems with inverse-repeat pseudo-random binary inputs, optimisation by discrete Fourier transform matching a...