Yazar "Uzam M." seçeneğine göre listele

Listeleniyor 1 - 4 / 4
  • Küçük Resim Yok
    Öğe
    An effective method for detection and elimination of avalanche effect problem
    (2010) Uzam M.; Gelen G.; Dalci R.
    The Supervisory control theory (SCT) is a general framework for the synthesis of supervisors (controllers) for discrete events systems (DES). The SCT makes use of automata theory and formal languages. Given a plant automaton model and a specification for the controlled behavior, a RW (Ramagde-Wonham) supervisor is obtained as an automaton. Programmable Logic Controllers (PLCs) are widely used in modern industrial systems to carry out control tasks. Although there are a lot of methods proposed for PLC based implementation of RW supervisors, there are still very few industrial applications. This is due to a number of important problems, one of which is called avalanche effect. In this paper, two contributions are provided to tackle with the avalanche effect problem. The first one is an algorithm proposed for the determination of the events that cause avalanche effect in a given supervisor. The second one is a very simple and effective avalanche effect elimination method (AEEM). The applicability of these two contributions is shown by examples. © 2010 IEEE.
  • Küçük Resim Yok
    Öğe
    Asynchronous implementation of a PETRI net based discrete event control system using a xilinx FPGA
    (2005) Uzam M.; Burak Koç I§.; Gelen G.; Aksebzeci B.H.
    This paper presents an asynchronous implementation of a Petri net based discrete event control system (DECS) using a Xilinx field programmable gate array (FPGA). Unlike microprocessor, microcontroller or programmable logic controller (PLC)-based software implementations, and hardwarebased synchronous implementations, the implementation method used in this paper is asynchronous and based on hardware offering very high speed to control fast plants at low cost. This paper reports on the successful implementation of a Petri net based DECS for an experimental manufacturing system by using the method proposed in (Uzam et al, 2001). The implementation of the controller is accomplished by using a Xilinx FPGA. This paper, therefore, is expected to serve as a guideline to show how to obtain very high speed, concurrent and asynchronous Petri net based controllers.
  • Küçük Resim Yok
    Öğe
    Comments on "deadlock prevention policy based on petri nets and siphons"
    (2004) Li Z.; Uzam M.; Zhou M.
    A deadlock prevention policy for a class of Petri nets S3 PR was proposed. A liveness-enforcing Petri net supervisor could be obtained by adding monitors to the plant net model. The approach could generate a correct supervisor with more permissive behavior than the existing methods in Ezpeleta and Li and Zhou, where the same class of Petri nets were dealt with. The obtained additional monitors and related arcs were shown and the net supervisor produced was live with 12656 reachable states.
  • Küçük Resim Yok
    Öğe
    Economic dispatch solution using a genetic algorithm based on arithmetic crossover
    (2001) Yalcinoz T.; Altun H.; Uzam M.
    In this paper, a new genetic approach based on arithmetic crossover for solving the economic dispatch problem is proposed. Elitism, arithmetic crossover and mutation are used in the genetic algorithm to generate successive sets of possible operating policies. The proposed technique improves the quality of the solution. The new genetic approach is compared with an improved Hopfield NN approach (IHN) [1], a fuzzy logic controlled genetic algorithm (FLCGA) [2], an advance engineered-conditioning genetic approach (AECGA) [3] and an advance Hopfield NN approach (AHNN) [4]. © 2001 IEEE.