Browsing by Keywords "Theorem proving"
Now showing items 120 of 21

Approximations in compensator design: a duality
(The Institution of Engineering and Technology (IET), 2002)In classical controller design, poles fat to the left of dominant poles are sometimes ignored. Similarly, in some proportionalintegral compensation techniques, the controller zero is placed close to the origin and design ... 
Constructing convex directions for stable polynomials
(IEEE, 2000)The constructions of convex directions based on phasederivative interpretations were obtained for Hurwitzstable polynomials. The phasederivative conditions were based on the sensitivity of rootlocus associated with the ... 
A critical look at quantum diffusion and some of its interesting aspects
(Springer, 2007)A fresh and critical look has been given to the longtime behaviour of the quantum diffusion problem and a marginally more accurate solution has been obtained as compared to the one reported in the recent literature. Attempt ... 
An efficient algorithm for the single machine total tardiness problem
(Taylor & Francis, 2001)This paper presents an exact algorithm for the single machine total tardiness problem (1// L T;). We present a new synthesis of various results from the literature which leads to a compact and concise representation of job ... 
Fixed zeros of decentralized control systems
(IEEE, 2000)This paper considers the notion of decentralized fixed zeros for linear, timeinvariant, finitedimensional systems. For an Nchannel plant that is free of unstable decentralized fixed modes, an unstable decentralized fixed ... 
A general theory on spectral properties of statehomogeneous finitestate quasibirthdeath processes
(Elsevier, 2001)In this paper a spectral theory pertaining to QuasiBirth–Death Processes (QBDs) is presented. The QBD, which is a generalization of the birth–death process, is a powerful tool that can be utilized in modeling many stochastic ... 
Language evolution and information theory
(2004)The use of Nowak's model to study the language evolution and to settle a conjecture by Nowak was discussed. These models explained the ways by which natural selection can lead to the gradual emergence of human language. ... 
LinGraph: a graphbased automated planner for concurrent task planning based on linear logic
(Springer New York LLC, 2017)In this paper, we introduce an automated planner for deterministic, concurrent domains, formulated as a graphbased theorem prover for a propositional fragment of intuitionistic linear logic, relying on the previously ... 
Local convex directions for Hurwitz stable polynomials
(IEEE, 2002)A new condition for a polynomial p(s) to be a local convex direction for a Hurwitz stable polynomial q(s) is derived. The condition is in terms of polynomials associated with the even and odd parts of p(s) and q(s), and ... 
A modelbased scheme for anticontrol of some discretetime chaotic systems
(World Scientific, 2004)We consider a modelbased approach for the anticontrol of some discretetime systems. We first assume the existence of a chaotic model in an appropriate form. Then by using an appropriate control input we try to match the ... 
A new method for the computation of all stabilizing controllers of a given order
(Taylor & Francis, 2005)A new method is given for computing the set of all stabilizing controllers of a given order for linear, time invariant, scalar plants. The method is based on a generalized HermiteBiehler theorem and the successive application ... 
Newton's method for linear inequality systems
(Elsevier, 1998)We describe a modified Newton type algorithm for the solution of linear inequality systems in the sense of minimizing the ℓ2 norm of infeasibilities. Finite termination is proved, and numerical results are given. © 1998 ... 
A note on "continuous review perishable inventory systems: models and heuristics"
(2003)In a recent paper, Lian and Liu (2001) consider a continuous review perishable inventory model with renewal arrivals, batch demands and zero lead times. However, the main analytical result they provide holds only for some ... 
On Roth, Korth, and Silberschatz's extended algebra and calculus for nested relational databases
(1992)We discuss the issues encountered in the extended algebra and calculus languages for nested relations defined by Roth, Korth, and Silberschatz. Their equivalence proof between algebra and calculus fails because of the ... 
On the boundary control of a flexible robot arm
(Institute of Electrical and Electronics Engineers, 2001)We consider a flexible robot arm modeled as a single flexible link clamped to a rigid body. We assume that the system performs only planar motion. For this system, we pose two control problems; namely, the orientation and ... 
On the Set of All Stabilizing FirstOrder Controllers
(2003)A computational method is given for determining the set of all stabilizing proper firstorder controllers for finite dimensional, linear, time invariant, scalar plants. The method is based on a generalized HermiteBie ... 
On the stabilization of a cable with a tip mass
(IEEE, 1994)In this note, we consider a vertical cable which is pinched at the upper end. A mass is attached at the lower end where a control force is also applied. We show that this hybrid system is uniformly stabilized by choosing ... 
Optimal shorttime Fourier transform for monocomponent signals
(IEEE, 2004)New methods of improving the shorttime Fourier transform representation of signals have recently emerged. These methods use linear canonical transforms to bring the signal into a minimal timebandwidth product form. Here ... 
Quasiparticle properties in a quasitwodimensional electron liquid
(Indian Academy of Sciences, 2008)We consider the quasiparticle properties such as the effective mass and spin susceptibility of quasitwodimensional electron systems. The finite quantum well width effects are incorporated into the localfield factors ... 
Sampling and series expansion theorems for fractional Fourier and other transforms
(Elsevier, 2003)The sampling and series expansion theorems for fractional Fourier transforms were analyzed. In addition to the fractional Fourier transform, the method can also be applied to the Fresnel, Hartley and scale transforms. The ...