In this paper the timing verification problem with max and linear constraints is formulated in minYmax inequalities. An algorithm MMIsolve, based on the UBCsolve algorithm of Walkup, is proposed forâ€¦ (More)

2011 International Conference on Electrical andâ€¦

2011

The unscented Kalman filter (UKF) is an extension of the Kalman filter for nonlinear systems where a set of weighted sigma points are used to simulate the distribution of the state random variable.â€¦ (More)

The traditional Karatsuba algorithm for the multiplication of polynomials and multi-precision integers has a time complexity of O(n) and a space complexity of O(n). Roche proposed an improvedâ€¦ (More)

This paper proposes a floating point variant FPCalcCycleTime of the CalcCycleTime algorithm for computing the cycle time of min-max functions. The computation is done by first computing the spectralâ€¦ (More)

The fully connected cascade (FCC) networks are a recently proposed class of neural networks where each layer has only one neuron and each neuron is connected with all the neurons in its previousâ€¦ (More)

DMC and GPC are two predictive control algorithms for linear or quasi-linear systems. The DMC algorithm has a very elegant and simple structure, making it much more preferable than GPC in processâ€¦ (More)

A new linear algebraic approach is used here to derive the celebrated Kalman filter. The filtering problem is first converted into an equivalent linear algebraic problem by relating the estimate ofâ€¦ (More)

The existing ARE version of the strict bounded real lemma, which establishes equivalence between a strict Hâˆž norm bound condition and the existence of a positive semidefinite stabilizing solution ofâ€¦ (More)