A guided search procedure is presented for constructing Boolean functions consistent with truth table data. It appears to be several times faster than the Quine McCluskey method.

A new algorithm for simplifying Boolean logic expressions is presented. It is a top-down guided search algorithm.

A streamlined (relative to the text book Quine McCluskey tabular method) for simplifying Boolean Logic expressions is presented.

This paper is motivated by the need in certain engineering contexts to construct approximations for irrational functions in the complex variable z. The main mathematical tool that will be used is a special continued fraction expansion that cause the rational approximant to collocate the irrational function at specific important values of z. This paper introduces two theorems that facilitate the construction of the rational approxima- tion.

This document describes how to use discrete time Laguerre basis functions, and their associated z-transforms, to construct a system identification process using experimentally determined Laguerre expansion coefficients of the input and output sequences. The process is derived using a new Product Propert} for the discrete time Laguerre basis functions. The system identification process is “linear in the parameters”; it does not require assumptions/knowledge of the poles locations of the system under test. An example is presented using data generated by a system that has appeared in the recent literature. The procedure naturally produces equations that can be used to determine if the chosen model order is correct or if its order needs to be increased. Constraints can easily be incorporated.

This letter describes how traditional Butterworth low pass filters can enhance the performance of the tracking differentiator introduced by Han by mitigating the effect of additive high frequency noise that corrupts the output measurement. The tracking differentiator obtains much of its utility from its realization in cascaded integral form. By combining the cascaded integral form realization of Butterworth low pass filters with its the noise rejection features one can design a tracking differentiator that is efficiently tuned to reject high frequency output noise.

This paper presents a technique for designing controllers for rational plants using Laguerre functions. The inputs to the process are the a) the plant transfer function P(s), b) the target transfer function T(s) and c) the desired order of the controller. Future work will extend this process so it is applicable to 1) irrational continuous time plants and 2) to irrational discrete time plants.