Murat Uzam

Murat Uzam
Yozgat Bozok University · Electrical and Electronics Engineering

PhD

About

160
Publications
100,775
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
2,169
Citations
Additional affiliations
May 2018 - present
Social Security Institution
Position
  • Professor
Description
  • I am now a retired Professor.
January 2011 - July 2016
Meliksah Üniversitesi
Position
  • Professor (Full)
November 1993 - January 2011
Ömer Halisdemir University
Position
  • Professor, Associate Professor, Assistant Professor, Research Assistant

Publications

Publications (160)
Article
Full-text available
Over the past decades, fault diagnosis of discrete event systems has many applications and attracts much attention from researchers and practitioners. With the increasingly high requirements on the reliability of cyber-physical systems such as automated manufacturing systems, fault detection technology has been unprecedentedly developed. Traditiona...
Article
Full-text available
In recent years, there has been a growing concern for robust supervisory control policies that can handle both deadlock and blockage propagation in automated manufacturing systems in the event of resource failures. This work proposes a novel robust supervisory control policy for automated manufacturing systems with multiple unreliable resources wit...
Book
Full-text available
This file contains the following: 1. 1st part of my handwritten course notes on Digital Design course 2. 2nd part of my handwritten course notes on Digital Design course 3. Circuit Maker simulation software to simulate digital concepts 4. Circuit Maker (.ckt) files used in my course notes as examples
Book
Full-text available
Bu dosyanın içeriginde şunlar mevcuttur: 1. Sayısal Tasarım Dersine ait ders notlarının 1. kısmı 2. Sayısal Tasarım Dersine ait ders notlarının 2. kısmı 3. Circuit Maker yazılıma ait dosyalar 4. Ders notlarında kullanılan örneklere ait Circuit Maker (.ckt) dosyaları
Article
Full-text available
This article reports a transition-based control technique to prevent deadlocks for flexible manufacturing systems that can be modeled with a generalized class of Petri nets. The proposed method utilizes the structural properties of the Petri net model to avoid the computation of its reachability graph which in general leads to the state explosion p...
Chapter
Full-text available
Article
This paper develops an approach to the design of an optimal Petri net supervisor that enforces liveness to flexible manufacturing systems. The supervisor contains a set of observer places with weighted inhibitor arcs. An observer place with a weighted inhibitor arc is used to forbid a net from yielding an illegal marking by inhibiting the firing of...
Article
Full-text available
This paper presents a new method of computing a minimal supervisory structure that optimally enforces liveness on the Petri net models for flexible manufacturing systems (FMSs). The proposed method utilizes the structural properties of a Petri net model to avoid the computation of its reachability graph, which in general leads to the state explosio...
Article
Purpose Deadlock is a rather undesirable phenomenon and must be well solved in flexible manufacturing systems (FMS). This paper proposes a general iterative deadlock control method for a class of generalized Petri nets (GPN), namely G-systems, which can model an FMS with assembly and disassembly operations of multiple resource acquisition. When gi...
Article
A deluge of studies has been carried out on deadlock prevention and liveness enforcement for flexible manufacturing systems (FMSs). This paper reports an algebraic procedure to find a set of merged place invariants, aiming to reduce the structural complexity of a liveness-enforcing Petri net supervisor for an FMS. Firstly, given an uncontrolled Pet...
Article
This work aims to resolve deadlock problems in flexible manufacturing systems. A novel deadlock control policy in the frame of Petri nets formalism is presented for a class of generalized Petri nets, namely G-systems, which can usually model assembly and disassembly operations of multiple resource acquisition. Based on the concept of elementary sip...
Article
Full-text available
This paper proposes an iterative method to the synthesis of liveness-enforcing supervisors for flexible manufacturing systems (FMSs). The concept of a global idle place (GP) for an original uncontrolled net system is developed. A GP is used temporarily to simplify the reachability graph computation of the system and is finally removed when the live...
Article
Full-text available
This article proposes an iterative deadlock resolution method for flexible manufacturing systems modeled with G-systems. To design a non-blocking controlled system with maximally permissive behavior in a G-system (GS), a reachability graph-based analysis technology is utilized. Since the reachability graph of a large-scale GS easily becomes unmanag...
Article
Full-text available
Most existing deadlock prevention policies deal with deadlock problems arising in flexible manufacturing systems modeled with Petri nets by adding control places. Based on the reachability graph analysis, this article proposes a novel deadlock control policy that recovers the system from deadlock and livelock states to legal states and reaches the...
Article
Full-text available
In this paper, we improve the previous work by considering that a control place can have multiple self-loops. Then, two integer linear programming problems (ILPPs) are formulated. Based on the first ILPP, an iterative deadlock control policy is developed, where a control place is computed at each iteration to implement as many marking/transition se...
Article
Full-text available
The deadlock control of flexible manufacturing systems (FMSs) has been widely studied in the literature. Petri nets (PNs) are extensively used as a tool for modelling, analysis and controller synthesis of such systems. In general, Petri-net-based liveness enforcing supervisors (LESs) include control places (CPs) together with their input/output arc...
Conference Paper
Full-text available
This work proposes a general iterative method to synthesize non-blocking supervisors for a class of generalized Petri nets (GPN), called G-systems, modeling flexible manufacturing systems (FMS). When given an uncontrolled G-system prone to deadlocks, an iterative deadlock control method is presented by utilizing reachability graph (RG) analysis. Me...
Article
Full-text available
This paper, by using Petri nets (PNs), reports a general approach, called a think globally, act locally (TGAL) method, to compute liveness-enforcing supervisors (LES) for flexible manufacturing systems (FMSs) prone to deadlocks. A place called global sink/source place (GP) is introduced provisionally help us to decide a set of monitors such that de...
Article
Full-text available
The editors appreciate the authors who have submitted their research work to this special issue. The editors would like to thank all reviewers for their efforts on this special issue. Unfortunately, before the publication of this issue, the lead guest editor, Professor Daniel Yuh Chao, left us forever. We are sorry that we lost such an extraordinar...
Article
Full-text available
This paper proposes a general approach, called a think-globally-act-locally method with weighted arcs (TGALW), which can be used to compute a liveness-enforcing supervisor (LES) for the Petri net (PN) model of a flexible manufacturing system (FMS) prone to deadlocks. Compared with siphon-based deadlock prevention policies that are usually rather co...
Book
Full-text available
DIGITAL DESIGN LABORATORY MANUAL EXPERIMENT 1 – DIGITAL LOGIC GATES EXPERIMENT NO: 2 – LAWS AND THEOREMS OF BOOLEAN ALGEBRA EXPERIMENT NO: 3 – IMPLEMENTATION OF BOOLEAN FUNCTIONS WITH LOGIC GATES EXPERIMENT NO: 4 – COMBINATIONAL LOGIC CIRCUITS: ADDERS, SUBTRACTORS EXPERIMENT NO: 5 – COMBINATIONAL LOGIC CIRCUITS: DECODERS, ENCODERS EXPERIMENT NO: 6...
Book
Full-text available
SAYISAL TASARIM DERSI - DENEY KITABI DENEY NO: 1 – LOJİK KAPILARIN İNCELENMESİ DENEY NO: 2 – BOOLE CEBRİ TEOREMLERİNİN İNCELENMESİ DENEY NO: 3 – BOOLE FONKSİYONLARININ LOJİK KAPILARLA GERÇEKLEŞTİRİLMESİ DENEY NO: 4 – KOMBİNASYONEL DEVRELER: TOPLAYICILAR, ÇIKARICILAR DENEY NO: 5 – KOMBİNASYONEL DEVRELER: KOD ÇÖZÜCÜLER, KODLAYICILAR DENEY NO: 6 – KOM...
Article
Full-text available
This paper presents a new Petri net structure, namely an interval inhibitor arc, and its application to the optimal supervisory control of Petri nets. An interval inhibitor arc is an arc from a place to a transition labeled with an integer interval. The transition is disabled by the place if the number of tokens in the place is between the labeled...
Article
Full-text available
In order to design Petri net (PN)-based liveness-enforcing supervisors to deal with flexible routes and assembly operations in automated manufacturing systems (AMS), a deadlock prevention policy was proposed in Hu et al. (IEEE Trans Ind Inf 9:109–121, 2013). The proposed policy exploits the structural analysis of PN models of AMS in the sense that...
Article
Full-text available
In Hu (Transactions of the Institute of Measurement and Control 33:59–76, 2011), Petri nets are utilized to describe, analyse and control automated manufacturing systems (AMS). In order to suppress deadlock occurrences in AMS, a method to derive the bad markings iteratively using a mixed integer programming-based algorithm is proposed. To validate...
Article
Full-text available
This paper proposes a divide-and-conquer method to synthesize non-blocking supervisors for a class of generalized Petri nets, namely G-system. A novel deadlock prevention method is presented by utilizing the reachability graph (RG). Due to the RG of a large Petri net model (PNM) easily becomes unmanageable, an optimal non-blocking supervisor based...
Article
Full-text available
In this paper a divide-and-conquer-method for the synthesis of liveness enforcing supervisors (LES) for flexible manufacturing systems (FMS) is proposed. Given the Petri net model (PNM) of an FMS prone to deadlocks, it aims to synthesize a live controlled Petri net system. For complex systems, the use of reachability graph (RG) based deadlock preve...
Article
Full-text available
In Yan et al. (J Inf Sci Eng 25(1): 167–183, 2009), a deadlock prevention policy is proposed for a subclass of Petri nets, S3PMR, that can well model a large class of flexible manufacturing systems (FMS) where deadlocks are caused by unmarked siphons in their Petri net models. To validate the effectiveness and efficiency of the proposed approach, t...
Article
Full-text available
In this paper, synthesis and PLC based implementation of hybrid modular supervisors for real time supervisory control of an experimental manufacturing system are proposed. The hybrid approach couples Ramadge–Wonham (RW) supervisors in the form of automata to uncontrolled PN models through inhibitor arcs. The RW supervisors can be obtained in monoli...
Article
Full-text available
As reported by Hu and Li (International Journal of Advanced Manufacturing Technology 40:566-571, 2009), in order to design liveness-enforcing supervisors for automated manufacturing systems (AMS), a deadlock prevention policy was proposed based on the exhausted resources. The proposed policy exploits a special structure of Petri nets for the livene...
Article
Full-text available
In this paper, a general approach is proposed for the computation of a liveness enforcing supervisor for the Petri net model of a flexible manufacturing system (FMS) prone to deadlocks. The proposed method is applicable to a lot of PN classes. A global sink/source place (GP) is used temporarily in the design steps and is finally removed when the li...
Article
Full-text available
It has been a hot race to design optimal controllers to be maximally permissive with fewest monitors in the shortest amount of time for flexible manufacturing systems modelled by Petri nets. Recent maximally permissive deadlock prevention controls for systems of simple sequential processes with resources reduce the computation burden by considering...
Conference Paper
Full-text available
In this paper, a method is proposed for the computation of liveness enforcing supervisors (LES) from submodels of a Petri net model (PNM) of a flexible manufacturing system (FMS). Given the PNM of an FMS prone to deadlock, it aims to synthesize a live controlled Petri net. The PNM of the system is divided into small connected subnets (submodels). E...
Book
Programmable logic controllers (PLCs) have been used extensively in industry for the past five decades. PLC manufacturers offer different PLCs in terms of functions, program memories, and the number of inputs/outputs (I/Os), ranging from a few to thousands of I/Os. The design and implementation of PLCs have long been a secret of the PLC manufacture...
Article
Full-text available
Deadlock control of flexible manufacturing systems (FMS) using Petri nets has been a very active research topic for the past two decades. Siphon-based deadlock control of FMS suffers from reaching fewer states than those of optimal control. This paper proposes three sets of siphon-based liveness-enforcing supervisors (LES) for a well-known FMS to o...
Article
Full-text available
Recently, researchers have proposed a novel and computationally efficient method to design optimal control places and an iteration approach that computes the reachability graph once to obtain a maximally permissive, if any, liveness-enforcing supervisor of flexible manufacturing systems (FMS). The approach solves the set of integer linear inequalit...
Article
Full-text available
A successful application of a hybrid (mixed Petri net/automaton) approach for the real-time supervisory control of an experimental manufacturing system was reported recently. The hybrid approach includes a Ramadge-Wonham (RW) supervisor in the form of an automaton. The reduced RW supervisor offers fewer states for the programmable logic controller...