Browsing by Keywords "Theorem proving"

Now showing items 1-20 of 21

    • Approximations in compensator design: a duality 

      Özgüler, A. B.; Gündeş, A. N. (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 proportional-integral compensation techniques, the controller zero is placed close to the origin and design ...

    • Constructing convex directions for stable polynomials 

      Özgüler, A. B. (IEEE, 2000)
      The constructions of convex directions based on phase-derivative interpretations were obtained for Hurwitz-stable polynomials. The phase-derivative conditions were based on the sensitivity of root-locus associated with the ...

    • A critical look at quantum diffusion and some of its interesting aspects 

      Mukhopadhyay, S.; Saglam, M.; Chatterjee, A. (Springer, 2007)
      A fresh and critical look has been given to the long-time 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 

      Tansel, B. Ç.; Kara, B. Y.; Sabuncuoğlu İ. (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 

      ÜÜnyelioglu, K. A.; Özgüner, Ü.; Özgüler, A. B. (IEEE, 2000)
      This paper considers the notion of decentralized fixed zeros for linear, time-invariant, finite-dimensional systems. For an N-channel plant that is free of unstable decentralized fixed modes, an unstable decentralized fixed ...

    • A general theory on spectral properties of state-homogeneous finite-state quasi-birth-death processes 

      Fadıloğlu, M. M.; Yeralan, S. (Elsevier, 2001)
      In this paper a spectral theory pertaining to Quasi-Birth–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 

      Ahlswede, R.; Arıkan, Erdal; Bäumer, L.; Deppe, C. (IEEE, 2004-06-07)
      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 graph-based automated planner for concurrent task planning based on linear logic 

      Kortik S.; Saranli, U. (Springer New York LLC, 2017)
      In this paper, we introduce an automated planner for deterministic, concurrent domains, formulated as a graph-based theorem prover for a propositional fragment of intuitionistic linear logic, relying on the previously ...

    • Local convex directions for Hurwitz stable polynomials 

      Özgüler, A. B.; Saadaoui, K. (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 model-based scheme for anticontrol of some discrete-time chaotic systems 

      Morgül, Ö. (World Scientific, 2004)
      We consider a model-based approach for the anticontrol of some discrete-time 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 

      Saadaoui, K.; Özgüler, A. B. (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 Hermite-Biehler theorem and the successive application ...

    • Newton's method for linear inequality systems 

      Pınar, M. Ç. (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" 

      Gürler, Ü.; Özkaya, B. Y. (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 

      Tansel, A. U.; Garnett, Lucy (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 

      Morgül, Ömer (IEEE, 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 first-order controllers 

      Saadaoui, Karim; Özgüler, Arif Bülent (IEEE, 2003)
      A computational method is given for determining the set of all stabilizing proper first-order controllers for finite dimensional, linear, time invariant, scalar plants. The method is based on a generalized Hermite-Biehler theorem.

    • On the stabilization of a cable with a tip mass 

      Morgül, Ö.; Rao, B. P.; Conrad, F. (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 short-time Fourier transform for monocomponent signals 

      Güven, Hüseyin Emre (IEEE, 2004)
      New methods of improving the short-time Fourier transform representation of signals have recently emerged. These methods use linear canonical transforms to bring the signal into a minimal time-bandwidth product form. Here ...

    • Quasi-particle properties in a quasi-two-dimensional electron liquid 

      Asgari, R.; Tanatar, Bilal (Indian Academy of Sciences, 2008)
      We consider the quasi-particle properties such as the effective mass and spin susceptibility of quasi-two-dimensional electron systems. The finite quantum well width effects are incorporated into the local-field factors ...

    • Sampling and series expansion theorems for fractional Fourier and other transforms 

      Candan, Ç.; Özaktaş, Haldun M. (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 ...