Mekatronik Mühendisliği Bölümü Yayın Koleksiyonu

Permanent URI for this collectionhttps://hdl.handle.net/20.500.12416/255

Browse

Now showing 1 - 19 of 19

Citation - WoS: 17
Citation - Scopus: 17
A framework for state attraction of discrete event systems under partial observation
(Elsevier Science inc, 2014) Schmidt, Klaus Werner; Breindl, Christian; 17337
State attraction for discrete event systems (DES) addresses the problem of reaching a desired subset of the plant state space after a bounded number of event occurrences. The problem of state attraction arises for example in fault-tolerant supervisory control or in the control of reconfigurable manufacturing systems, and is also applicable to systems biological problems such as the control of gene regulatory networks. State attraction is investigated with the assumption of full event observation in the existing literature. This paper extends the concept of state attraction to the case of partial observation. The notion of weak attraction under partial observation (WAPO) is introduced and necessary and sufficient conditions for the existence of a supervisor under partial observation that achieves WAPO are derived. Furthermore, a solution algorithm is proposed that finds such supervisor whenever it exists. It is shown that such supervisor can always be realized as a subautomaton of the observer automaton of the DES plant. An application example from systems biology illustrates the obtained results. (C) 2014 Elsevier Inc. All rights reserved.
Citation - WoS: 180
Citation - Scopus: 215
An experimental investigation on the impact response of composite materials
(Pergamon-elsevier Science Ltd, 2012) Evci, Celal; Gülgeç, Müfit; Gulgec, Mufit; 243247; 4168
Due to the improved impact performance characteristics, composites are widely used in engineering and military applications to absorb the impact energy. Determination of impact response of composite materials provides the engineer and the manufacturer with critical knowledge to understand the failure criteria, initiation of the first failure and damage growth through the laminates. This study covers the investigation of impact damage growth and determination of Hertzian failure and maximum force thresholds in three different types of composites. Unidirectional E-Glass, woven E-Glass and woven Aramid composite samples with dimensions of 100 x 100 mm are subjected to low velocity impact with an instrumented impact test system. Rebound, on-set of perforation and perforation limits of composites are found out. Also, energy profile diagrams of both unidirectional and plain weave E-Glass composites are obtained. According to test results, woven composites are found to be superior to unidirectional composites in the protection limit of low velocity impact. It is also observed that damage growth in woven composites is restricted within a smaller area. Impact tests conclude that strength of the composite materials under dynamic loading increases considerably compared to static loading case as a result of strain rate sensitivity. (C) 2011 Elsevier Ltd. All rights reserved.
Citation - WoS: 12
Citation - Scopus: 12
Averaging of receiver aperture for flat-topped incidence
(Elsevier Sci Ltd, 2013) Kamacioglu, Canan; Baykal, Yahya; Yazgan, Erdem; 7812
Using a flat-topped profile for the incident beam, the power scintillation index for weak atmospheric turbulence is formulated and analytically evaluated. Through the use of the aperture averaging factor, the averaging effect of the finite receiver aperture on the intensity fluctuations for a flat-topped incident beam is examined. The influence of the order of flatness on the averaging is investigated. At large propagation lengths, increasing the flatness parameter decreases the power scintillations and it is possible to further reduce the scintillation by increasing the receiver aperture. Increasing the structure constant increases this effect. (C) 2013 Elsevier Ltd. All rights reserved.
Citation - WoS: 15
Citation - Scopus: 17
Distributed real-time protocols for industrial control systems: framework and examples
(Ieee Computer Soc, 2012) Schmidt, Klaus Werner; Schmidt, Ece Guran; 17337
The automation of today's large-scale industrial systems relies on the operation of distributed controller devices that perform local computations and exchange information via communication networks. The subject of this paper is the development of a family of shared-medium industrial communication protocols that support the transmission of real-time (RT) and nonreal-time (nRT) data among distributed controller devices. Different from existing protocols, we suggest to incorporate information that is available from the control application in the protocol definition. As a result, our protocols dynamically change the bandwidth allocation on the shared medium according to the instantaneous communication requirements while ensuring hard RT guarantees. Following the recent developments in industrial automation, our protocols can be realized as software layers on top of low-cost conventional Ethernet.
Citation - WoS: 20
Citation - Scopus: 21
Effect of electrical discharge machining on dental Y-TZP ceramic-resin bonding
(Elsevier Ireland Ltd, 2017) Çoğun, Can; Rona, Nergiz; Yenisey, Murat; Esen, Ziya; Kucukturk, Gokhan; Gurun, Hakan; Cogun, Can; Esen, Ziya; 3837; 52373
Purpose: The study determined (i) the effects of electrical discharge machining (EDM) on the shear-bond strength (SBS) of the bond between luting resin and zirconia ceramic and (ii) zirconia ceramic's flexural strength with the three-point bending (TPB) test. Methods: Sixty 4.8 mm x 4.8 mm x 3.2 mm zirconia specimens were fabricated and divided into four groups (n = 15): SBG: sandblasted + silane, TSCG: tribochemical silica coated + silane, LTG: Er:YAG laser treated + silane, EDMG: EDM + silane. The specimens were then bonded to a composite block with a dual-cure resin cement and thermal cycled (6000 times) prior to SBS testing. The SBS tests were performed in a universal testing machine. The SBS values were statistically analyzed using ANOVA and Tukey's test. To determine flexural strength, sixty zirconia specimens were prepared and assigned to the same groups (n = 15) mentioned earlier. After surface treatment TPB tests were performed in a universal testing machine (ISO 6872). The flexural strength values were statistically analyzed using ANOVA and Tukey's test (a = 0.05). Results: The bond strengths for the four test groups (mean SD; MPa) were as follows: SBG (Control), 12.73 +/- 3.41, TSCG, 14.99 +/- 3.14, LTG, 7.93 +/- 2.07, EDMG, 17.05 +/- 2.71. The bond strength of the EDMG was significantly higher than those of the SBG and LTG (p < 0.01). The average flexural strength values for the groups SBG (Control), TSCG, LTG and EDMG were 809.47, 800.47, 679.19 and 695.71 MPa, respectively (p > 0.05). Conclusions: The EDM process improved the SBS. In addition, there was no significant adverse effect of EDM on the flexural strength of zirconia. (C) 2016 Japan Prosthodontic Society. Published by Elsevier Ltd. All rights reserved.
Citation - WoS: 9
Citation - Scopus: 9
Efficient abstractions for the supervisory control of modular discrete event systems
(Ieee-inst Electrical Electronics Engineers inc, 2012) Schmidt, Klaus Werner; Ribeiro Cury, Jose Eduardo; 17337
The topic of this technical note is the nonblocking and maximally permissive abstraction-based supervisory control for modular discrete event systems (DES). It is shown, that an efficient abstraction technique, that was developed for the nonconflict verification of modular DES, is also suitable for the nonblocking supervisory control. Moreover, it is proved that this abstraction technique can be extended by the condition of local control consistency, in order to achieve maximally permissive supervision. Different from existing approaches, the presented abstraction does not require to preserve the shared events among the system components in the respective abstraction alphabets, and hence leads to potentially smaller system abstractions. The obtained results are illustrated by a flexible manufacturing system example.
Citation - WoS: 48
Citation - Scopus: 55
Elastic-plastic stress analysis in a long functionally graded solid cylinder with fixed ends subjected to uniform heat generation
(Pergamon-elsevier Science Ltd, 2011) Ozturk, Ali; Gülgeç, Müfit; Gulgec, Mufit; 4168
Elastic-plastic deformation of a solid cylinder with fixed ends, made of functionally graded material (FGM) with uniform internal heat generation is investigated, based on Tresca's yield criterion and its associated flow rule, considering four of the material properties to vary radially according to a parabolic form. These four material properties are yield strength, modulus of elasticity, coefficients of thermal conduction and thermal expansion, assumed to be independent of temperature as Poisson's ratio which is taken as constant. The materials which compose the functionally graded cylinder are supposed to be elastic-perfectly plastic materials. Expressions for the distributions of stress, strain and radial displacement are found analytically in terms of unknown interface radii. After determining these radii numerically by means of Mathematica 5.2, the distributions are plotted versus dimensionless radius, increasing heat generation, to compare the FGM cylinder with the homogeneous one. The numerical values used in this work for material parameters are arbitrarily chosen to point out the effect of the non-homogeneity on the stress distribution. The results obtained show that the stress distribution, as well as the development of plastic region radii, is influenced substantially by the material non-homogeneity. (C) 2011 Elsevier Ltd. All rights reserved.
Citation - WoS: 48
Citation - Scopus: 51
Functionally Graded Hollow Cylinder Under Pressure and Thermal Loading: Effect of Material Parameters on Stress and Temperature Distributions
(Pergamon-elsevier Science Ltd, 2018) Evci, Celal; Gülgeç, Müfit; Gulgec, Mufit; 4168
This study presents an analytical solution of stresses and displacements in a long functionally graded (FGM) hollow cylinder subjected to uniform heat generation and internal pressure. Thermo-elastic material properties of FGM cylinder continuously vary in radial direction along the thickness with a power function. The temperature distribution is assumed to vary as a function of the radial coordinate and in steady state. Stress formulation approach is employed using the Airy stress function to derive the analytical solution. In the failure analysis of FGM cylinder, Coulomb-Mohr theory is applied for the ceramic phase whereas Tresca yield criterion is used for the metal phase. The stress analysis reveals that stresses in FGM cylinder decrease considerably, compared to the homogenous one, for a particular interval of material parameters. Radial displacement analysis in FGM cylinder supports the results obtained from stress analysis. (C) 2017 Elsevier Ltd. All rights reserved.
Citation - WoS: 41
Citation - Scopus: 49
Fuzzy discrete event systems for multiobjective control: framework and application to mobile robot navigation
(Ieee-inst Electrical Electronics Engineers inc, 2012) Schmidt, Klaus Werner; Boutalis, Yiannis S.
Fuzzy discrete event systems (FDESs) have been introduced in recent years to model systems whose discrete states or discrete state transitions can be uncertain and are, hence, determined by a possibility degree. This paper develops an FDES framework for the control of sampled data systems that have to fulfill multiple objectives. The choice of a fuzzy system representation is justified by the assumption of a controller realization that depends on various potentially imprecise sensor measurements. The proposed framework consists of three basic steps that are performed at each sampling instant. First, the current fuzzy state of the system is determined by a sensor evaluation. Second, the fuzzy state in the future sampling instant is predicted for all possible control actions of the system. Finally, an original multiobjective weighting strategy is proposed to determine the control action to be applied in the current sampling instant. The features of the proposed approach are demonstrated by a detailed mobile robot example, which includes a simulation study.
Citation - WoS: 11
Citation - Scopus: 11
Generalized expression for optical source fields
(Elsevier Sci Ltd, 2012) Kamacioglu, Canan; Baykal, Yahya; 7812
A generalized optical beam expression is developed that presents the majority of the existing optical source fields such as Bessel, Laguerre-Gaussian, dark hollow, bottle, super Gaussian, Lorentz, super-Lorentz, flat-topped, Hermite-sinusoidal-Gaussian, sinusoidal-Gaussian, annular, Gauss-Legendre, vortex, also their higher order modes with their truncated, elegant and elliptical versions. Source intensity profiles derived from the generalized optical source beam fields are checked to match the intensity profiles of many individual known beam types. Source intensities for several interesting beam combinations are presented. Our generalized optical source beam field expression can be used to examine both the source characteristics and the propagation properties of many different optical beams in a single formulation. (C) 2012 Elsevier Ltd. All rights reserved.
Citation - WoS: 52
Citation - Scopus: 72
Maximally permissive hierarchical control of decentralized discrete event systems
(Ieee-inst Electrical Electronics Engineers inc, 2011) Schmidt, Klaus; Breindl, Christian
The subject of this paper is the synthesis of natural projections that serve as nonblocking and maximally permissive abstractions for the hierarchical and decentralized control of large-scale discrete event systems. To this end, existing concepts for nonblocking abstractions such as natural observers and marked string accepting (msa)-observers are extended by local control consistency (LCC) as a novel sufficient condition for maximal permissiveness. Furthermore, it is shown that, similar to the natural observer condition and the msa-observer condition, also LCC can be formulated in terms of a quasi-congruence. Based on existing algorithms in the literature, this allows to algorithmically compute natural projections that are either natural observers or msa-observers and that additionally fulfill LCC. The obtained results are illustrated by the synthesis of nonblocking and maximally permissive supervisors for a manufacturing system.
Citation - WoS: 5
Citation - Scopus: 5
Optimal supervisory control of discrete event systems: cyclicity and interleaving of tasks
(Siam Publications, 2015) Schmidt, Klaus Werner; 17337
A substantial number of tasks in production systems are executed in a repetitive, cyclic fashion. Specifically, production systems run different production cycles of different products as well as different instances of the same production cycle. In this paper, we consider the optimal control and interleaving of such production cycles in a supervisory control framework for discrete event systems (DESs). That is, different from other approaches, our work is based on a behavioral specification of each production cycle. First, we adapt an optimal control approach for DESs, in order to optimize the operation of individual production cycles. Second, we employ the interleaving composition to design a supervisor that enables the simultaneous execution of different production cycles. Combining both results, we can further determine the maximum number of production cycles that can be executed simultaneously on a given production system.
Citation - WoS: 60
Citation - Scopus: 63
Robust Optimization Models for the Discrete Time/Cost Trade-Off Problem
(Elsevier Science Bv, 2011) Hazir, Oncu; Erel, Erdal; Gunalay, Yavuz
Developing models and algorithms to generate robust project schedules that are less sensitive to disturbances are essential in today's highly competitive uncertain project environments. This paper addresses robust scheduling in project environments; specifically, we address the discrete time/cost trade-off problem (DTCTP). We formulate the robust DTCTP with three alternative optimization models in which interval uncertainty is assumed for the unknown cost parameters. We develop exact and heuristic algorithms to solve these robust optimization models. Furthermore, we compare the schedules that have been generated with these models on the basis of schedule robustness. (C) 2010 Elsevier B.V. All rights reserved.
Citation - WoS: 19
Citation - Scopus: 20
Robust priority assignments for extending existing controller area network applications
(Ieee-inst Electrical Electronics Engineers inc, 2014) Schmidt, Klaus Werner; 17337
The usage of the controller area network (CAN) as an in-vehicle communication bus requires finding feasible and robust priority orders such that each message transmitted on the bus meets its specified deadline and tolerates potential transmission errors. Although such priority orders can be determined by available algorithms whenever they exist, it is always assumed that a CAN priority order is computed from scratch. In practical applications, it is frequently necessary to extend an existing message set by new messages. In this case, a feasible priority order that retains the standardized IDs of the existing messages and assigns suitable priorities to the new messages needs to be found. This paper proposes an algorithm for the computation of robust priority orders that solves the stated problem of extending existing message sets. First, bounds for the priorities of new messages are determined and then the most robust priority order that keeps the IDs of the existing messages is computed. The obtained algorithms are proved to yield correct results and are illustrated by detailed scheduling examples.
Citation - WoS: 98
Robust Scheduling and Robustness Measures for the Discrete Time/Cost Trade-Off Problem
(Elsevier Science Bv, 2010) Hazir, Oencue; Haouari, Mohamed; Erel, Erdal; 4168
Projects are often subject to various sources of uncertainties that have a negative impact on activity durations and costs. Therefore, it is crucial to develop effective approaches to generate robust project schedules that are less vulnerable to disruptions caused by uncontrollable factors. In this paper, we investigate the robust discrete time/cost trade-off problem, which is a multi-mode project scheduling problem with important practical relevance. We introduce surrogate measures that aim at providing an accurate estimate of the schedule robustness. The pertinence of each proposed measure is assessed through computational experiments. Using the insights revealed by the computational study, we propose a two-stage robust scheduling algorithm. Finally, we provide evidence that the proposed approach can be extended to solve a complex robust problem with tardiness penalties and earliness revenues. (C) 2010 Elsevier B.V. All rights reserved.
Citation - WoS: 28
Citation - Scopus: 31
SERS-Based Ultrafast and Sensitive Detection of Luteinizing Hormone In Human Serum Using A Passive Microchip
(Elsevier Science Sa, 2018) Çoğun, Ferah; Gjergjizi, Belma; Cogun, Ferah; Yıldırım, Ender; Yildirim, Ender; Eryilmaz, Merve; Selbes, Yesim; Saglam, Necdet; Tamer, Ugur; 3837
Human luteinizing hormone (LH) is an important analyte for doping control analysis since it increases the athletic performance. However, traditional methods to detect LH have few disadvantages, such as long analysis duration, waste disposal problem and sample matrix effect. Addressing these problems, surface enhanced Raman spectroscopy based LH analysis using a passive microfluidic chip was developed and optimized. Antibody modified magnetic gold nanoparticles captured the LH and then, 4-aminothiophenol (4-ATP) labeled nanoparticles formed the sandwich immunoassay structure. The complex and the other reactions occurred in different chambers of the chip. The SERS signals of 4-ATP were recorded from the chamber and the system was shown to detect 0.036 IU L-1 in serum samples. The performance of the immunoassay was compared to all other methods and the proposed assay was the fastest analysis of LH without any problems associated with the sensitivity. The shorter analysis time was recorded because the chip enables the control of all reactions in one place and there was no requirement of a specialized laboratory. (c) 2018 Elsevier B.V. All rights reserved.
Citation - WoS: 17
Citation - Scopus: 19
State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems
(Ieee-inst Electrical Electronics Engineers inc, 2015) Nooruldeen, Anas; Schmidt, Klaus Werner; 17337
In this note, we study a particular setting for the reconfiguration of discrete event systems (DES) that is applicable to the control of reconfigurable manufacturing systems (RMS). We consider DES that can operate in different configurations and we are interested in the realization of configuration changes. Different from previous work, we intend to reach a set of plant states where a new configuration can be started in a bounded number of transitions and at the same time fulfill a behavioral specification before starting the new configuration. To this end, we introduce the concept of weak attraction under language specification (WALS) and derive necessary and sufficient conditions for its verification. Using WALS, we propose a polynomial-time algorithm for computing a supervisor that performs the described configuration changes. We demonstrate the applicability of our method using a workcell of an RMS.
Citation - WoS: 2
Citation - Scopus: 2
String Stability Under Actuator Saturation on Straight Level Roads: Sufficient Conditions and Optimal Trajectory Generation
(Ieee-inst Electrical Electronics Engineers inc, 2022) Bingol, Hilal; Schmidt, Klaus Werner; 218795
The heterogeneity of vehicles is an important factor when realizing cooperative adaptive cruise control (CACC) in practice. Specifically, it has to be considered that platoons generally consist of vehicles with both different dynamic properties and actuator limits on the engine and braking force, which is expected to have a negative impact on important properties such as string stability. Accordingly, the subject of this paper is the preservation of string stability for CACC in heterogeneous vehicle strings with potential actuator saturation. To this end, the paper formulates a velocity-dependent force bound that enables the derivation of sufficient conditions for preserving string stability during velocity changes of heterogeneous platoons. These conditions are then used for the analytical computation of trajectories for time-optimal velocity changes. The formal results of the paper are supported by an illustrative simulation study.
Citation - WoS: 15
Citation - Scopus: 17
Verification of modular diagnosability with local specifications for discrete-event systems
(Ieee-inst Electrical Electronics Engineers inc, 2013) Schmidt, Klaus Werner; 17337
In this paper, we study the diagnosability verification for modular discrete-event systems (DESs), i.e., DESs that are composed of multiple components. We focus on a particular modular architecture, where each fault in the system must be uniquely identified by the modular component where it occurs and solely based on event observations of that component. Hence, all diagnostic computations for faults to be detected in this architecture can be performed locally on the respective modular component, and the obtained diagnosis information is only relevant for that component. We define the condition of modular language diagnosability with local specifications (MDLS) in order to capture that each fault can indeed be detected in this modular architecture. Then, we show that MDLS can be formulated as a specific language-diagnosability problem. As the main contribution of this paper, we develop an incremental abstraction-based approach for the verification of MDLS, which is based on projections that fulfill the loop-preserving observer condition. In particular, our approach efficiently avoids the construction of a global system model, which is infeasible for systems of realistic size. Furthermore, we do not rely on the assumption of a live global plant, which is prevalent in previous diagnosability methods for modular DESs. We illustrate our approach and its computational savings by a manufacturing system example.

Browse

Browsing Mekatronik Mühendisliği Bölümü Yayın Koleksiyonu by WoS Q "Q1"