Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 3 of 3
Full-Text Articles in Engineering
Control Synthesis For Parametric Timed Automata Under Reachability, Ebru Aydin Göl
Control Synthesis For Parametric Timed Automata Under Reachability, Ebru Aydin Göl
Turkish Journal of Electrical Engineering and Computer Sciences
Timed automata is a fundamental modeling formalism for real-time systems. During the design of such real-time systems, often the system information is incomplete, and design choices can vary. These uncertainties can be integrated to the model via parameters and labelled transitions. Then, the design can be completed by tuning the parameters and restricting the transitions via controller synthesis. These problems, namely parameter synthesis and controller synthesis, are studied separately in the literature. Herein, these are combined to generate an automaton satisfying the given specification by both parameter tuning and controller synthesis, thus exploring all design choices. First, it is shown …
Performance Comparison Of The Notable Acceleration- And Angle-Based Guidance Laws For A Short-Range Air-To-Surface Missile, Bülent Özkan, Mustafa Kemal Özgören, Gökmen Mahmutyazicioğlu
Performance Comparison Of The Notable Acceleration- And Angle-Based Guidance Laws For A Short-Range Air-To-Surface Missile, Bülent Özkan, Mustafa Kemal Özgören, Gökmen Mahmutyazicioğlu
Turkish Journal of Electrical Engineering and Computer Sciences
Short-range air-to-surface missiles have become globally popular in the last two decades. As a performance driver, the type of guidance law gains importance. In this study, proportional navigation, velocity pursuit, and augmented proportional navigation guidance laws, whose resulting guidance commands take the form of lateral acceleration, are applied to a short-range air-to-surface missile against both stationary and maneuvering ground targets. Body pursuit and linear homing guidance laws, which yield angular commands, are additionally applied. Having completed the relevant computer simulations, we conclude that none of the acceleration- and angle-based guidance laws are absolutely superior to the others.
Design And Realization Of A Welding Oscillator, Muci̇z Özcan
Design And Realization Of A Welding Oscillator, Muci̇z Özcan
Turkish Journal of Electrical Engineering and Computer Sciences
Welding is one of the most popular methods to combine metal pieces in manufacturing processes. Arc welding, among all welding techniques, is the most commonly used in manufacturing due to its cost and flexibility. During the manufacturing process, arc welding is either performed by an operator or by automatic tools such as welding oscillators. Using automatic tools has advantages over manual use, as the process will be faster, cheaper, and have less welding flaws. In this paper, a homemade welding oscillator and the method to manufacture it are presented. The presented welding oscillator can be manufactured for a very low …