Modeling of quad-station module cluster tools using petri nets

The semiconductor industry is highly competitive, and with the recent chip shortage, the throughput of wafers has become more important than ever. One of the tools that the industry has deployed is to use of quad-station modules instead of the traditional single-station modules that allow for higher throughput and better wafer consistency by processing multiple wafers at the same time and distributing work. The industry trend is to use multiple transfer chamber robots to stack the quad-station modules in a series, particularly for etch products. In this work, the quad-station cluster tool wafer movement is modeled by using Petri net as a process-bounded system. The system analysis and simulations are performed by using timed and colored Petri nets. The results are useful to deepen our understanding of the discrete-event dynamics of quad-station module cluster tools and offer the highly needed insight into their efficient and deadlock-free operation

Maximal good step graph methods for reducing the generation of the state space

This paper proposes an effective method based on the two main partial order techniques which are persistent sets and covering step graph techniques, to deal with the state explosion problem. First, we introduce a new definition of sound steps, the firing of which enables to extremely reduce the state space. Then, we propose a weaker sufficient condition about how to find the set of sound steps at each current marking. Next, we illustrate the relation between maximal sound steps and persistent sets, and propose a concept of good steps. Based on the maximal sound steps and good steps, a construction algorithm for generating a maximal good step graph (MGSG) of a Petri net (PN) is established. This algorithm first computes the maximal good step at each marking if there exists one, otherwise maximal sound steps are fired at the marking. Furthermore, we have proven that an MGSG can effectively preserve deadlocks of a Petri net. Finally, the change performance evaluation is made to demonstrate the superiority of our proposed method, compared with other related partial order techniques

Modeling and formal verification of probabilistic reconfigurable systems

In this thesis, we propose a new approach for formal modeling and verification of adaptive probabilistic systems. Dynamic reconfigurable systems are the trend of all future technological systems, such as flight control systems, vehicle electronic systems, and manufacturing systems. In order to meet user and environmental requirements, such a dynamic reconfigurable system has to actively adjust its configuration at run-time by modifying its components and connections, while changes are detected in the internal/external execution environment. On the other hand, these changes may violate the memory usage, the required energy and the concerned real-time constraints since the behavior of the system is unpredictable. It might also make the system's functions unavailable for some time and make potential harm to human life or large financial investments. Thus, updating a system with any new configuration requires that the post reconfigurable system fully satisfies the related constraints. We introduce GR-TNCES formalism for the optimal functional and temporal specification of probabilistic reconfigurable systems under resource constraints. It enables the optimal specification of a probabilistic, energetic and memory constraints of such a system. To formally verify the correctness and the safety of such a probabilistic system specification, and the non-violation of its properties, an automatic transformation from GR-TNCES models into PRISM models is introduced. Moreover, a new approach XCTL is also proposed to formally verify reconfigurable systems. It enables the formal certification of uncompleted and reconfigurable systems. A new version of the software ZIZO is also proposed to model, simulate and verify such GR-TNCES model. To prove its relevance, the latter was applied to case studies; it was used to model and simulate the behavior of an IPV4 protocol to prevent the energy and memory resources violation. It was also used to optimize energy consumption of an automotive skid conveyor.In dieser Arbeit wird ein neuer Ansatz zur formalen Modellierung und Verifikation dynamisch rekonfigurierbarer Systeme vorgestellt. Dynamische rekonfigurierbare Systeme sind in vielen aktuellen und zukünftigen Anwendungen, wie beispielsweise Flugsteuerungssystemen, Fahrzeugelektronik und Fertigungssysteme zu finden. Diese Systeme weisen ein probabilistisches, adaptives Verhalten auf. Um die Benutzer- und Umgebungsbedingungen kontinuierlich zu erfüllen, muss ein solches System seine Konfiguration zur Laufzeit aktiv anpassen, indem es seine Komponenten, Verbindungen zwischen Komponenten und seine Daten modifiziert (adaptiv), sobald Änderungen in der internen oder externen Ausführungsumgebung erkannt werden (probabilistisch). Diese Anpassungen dürfen Beschränkungen bei der Speichernutzung, der erforderlichen Energie und bestehende Echtzeitbedingungen nicht verletzen. Eine nicht geprüfte Rekonfiguration könnte dazu führen, dass die Funktionen des Systems für einige Zeit nicht verfügbar wären und potenziell menschliches Leben gefährdet würde oder großer finanzieller Schaden entstünde. Somit erfordert das Aktualisieren eines Systems mit einer neuen Konfiguration, dass das rekonfigurierte System die zugehörigen Beschränkungen vollständig einhält. Um dies zu überprüfen, wird in dieser Arbeit der GR-TNCES-Formalismus, eine Erweiterung von Petrinetzen, für die optimale funktionale und zeitliche Spezifikation probabilistischer rekonfigurierbarer Systeme unter Ressourcenbeschränkungen vorgeschlagen. Die entstehenden Modelle sollen über probabilistische model checking verifiziert werden. Dazu eignet sich die etablierte Software PRISM. Um die Verifikation zu ermöglichen wird in dieser Arbeit ein Verfahren zur Transformation von GR-TNCES-Modellen in PRISM-Modelle beschrieben. Eine neu eingeführte Logik (XCTL) erlaubt zudem die einfache Beschreibung der zu prüfenden Eigenschaften. Die genannten Schritte wurden in einer Softwareumgebung für den automatisierten Entwurf, die Simulation und die formale Verifikation (durch eine automatische Transformation nach PRISM) umgesetzt. Eine Fallstudie zeigt die Anwendung des Verfahren

Bilişim paylaşımı ile gerçek zamanlı üretim planlama ve kontrol sistemi tasarımı

06.03.2018 tarihli ve 30352 sayılı Resmi Gazetede yayımlanan “Yükseköğretim Kanunu İle Bazı Kanun Ve Kanun Hükmünde Kararnamelerde Değişiklik Yapılması Hakkında Kanun” ile 18.06.2018 tarihli “Lisansüstü Tezlerin Elektronik Ortamda Toplanması, Düzenlenmesi ve Erişime Açılmasına İlişkin Yönerge” gereğince tam metin erişime açılmıştır.Dijital teknolojilerin yaygınlaşması ve hayatın her alanına girmesi ihtiyaçların bireysel kapsamda ele alınmasını sağlamış, rekabeti kişiye özgü çözüm ve ürün üretme boyutuna taşımıştır. Buna bağlı olarak, üretim sistemlerinin gelişimi de çeşitliliği artırmaya ve yönetmeye yönelik olarak devam etmektedir. Bu gelişim ve dönüşüm süreci temel taşlarından birisi kitlesel özelleştime (mass - customization) olan dördüncü sanayi devrimi (Endüstri 4.0) olarak adlandırılmıştır. Dünyanın Endüstri 4.0'a ayak uydurabilmesi için üretim ortamında çeşitliliği ve çeşitliliğe bağlı olarak meydana gelecek değişkenliği yönetebilmesi gerekmektedir. Üretim ortamında, değişkenliğin yönetilebilmesi için geliştirilen yöntemler değişkenlikleri stok tutarak veya zaman toleransları ile çalışarak yönetmektedirler. Bu durum verimliliğin azalmasına ve birim başına düşen sabit maliyetin artmasına neden olmaktadır. Çalışmada, klasik yaklaşımların olumsuz yönlerinen arındırılmış bir üretim planlama yaklaşımı ve modeli önerilmiştir. Önerilen modelin değişkenliklerden etkilenmemesi için model değişken olan miktar parametresi yerine, değişkenliklerden daha az etkilenecek olan zaman parametresi üzerine kurulmuştur. Modelde stok seviyesi yerine stoğun tükenmesine kalan süreye dikkat edilmekte, çizelgeleme sürecinde de üretimin tamamlanmasına kalan süreye ve termin tarihine göre önceliklendirme yapılmaktadır. Model zaman hedeflerine bağlı çalığtığından gerçek zamanlı bir modeldir. Üretim modeli nin gerçek zamanlı olması değişkenliklerden, miktar tabanlı yaklaşıma göre, çok az etkilenmesini sağlamıştır. Yapılan kıyaslama çalışmalarıyla gerçek zamanlı planlama sisteminin üretim ortamındaki değişkenliklerden etkilenmediği ve emniyet stoksuz ortamda, gecikmeleri azaltarak üretimin tamamlanmasını sağladığı ortaya konmuştur. Üstelik bu çıktılar O(n) zaman karmaşıklığına sahip, kısa sürede, sonlanan algoritmalarla elde edilmiştir. Modelin uygulanması algoritmik olarak kolay olsa da, gerçek zamanlı olduğundan, gerçek zamanlı olarak belirlenen işlem döngüsü içerisinde güncel stok ve üretim verisine ihtiyaç duyulmaktadır. Bu veriler Endüstri 4.0 teknolojileriyle elde edilebilen veriler olduğundan, gerçek zamanlı üretim modeli modern üretim sistemlerinde uygulanabilir bir modeldir. Modelin üretim sistemine katkısı, sistemi aynı anda hem itme hem de çekme sistemi gibi çalıştırabilmesidir. Bu sayede üretim sistemi iki biçimde de çalışabilmektedir. Verimli olan stretejiye dinamik olarak geçmek de stok maliyetinin %90'dan fazla azalmasını sağlamıştır.Spread of digital technology in every slice of life provides that the needs have been addressed within the individual scope and also it increases competition to the level of both individual solution and personal production. Accordingly, the development of production systems continues to enhance for managing the diversity. One of the milestones of this development and transformation process is mass customization called the fourth industrial revolution, Industry4.0. Enterprises should be able to overcome with the diversity and variability due to diversity in the production environment in order to keep pace with Industry 4.0. The methods improved in attempt to cope with variability in the production, are keeping inventory or working with time tolerances. In this case, efficiency decreases and overhead cost per unit increases in. A novel production planning approach and a model which is eliminated from negative aspect of conventional methods has been proposed, in this study. The proposed model is based on a time parameter less affected by the variances rather than the quantity in order to avoid being influenced by the changes. The remaining time to stock-out instead of inventory level is taken into account in this model, and prioritization is proceed according to the time remaining to complete the production and due date in the scheduling process. Thus, the model based on a time parameter is a real-time model. Being real-time provides, the model, to be affected from variances less than quantity based methods. It is presented that the real-time model is not affected by the variances in the manufacturing environment, and provides completing manufacturing process with less delays by using no safety stock. Besides, an algorithm having O(n) time complexity provides this result. Though the application of model is easy as algorithmically, the model, being real-time, requires the live inventory and production data within the determined time cycle. Because the data can be gained by the cyber-physical technologies of Industry 4.0, real-time model can be applied to modern production systems. The contribution of this model to production systems is that the model assimilates manufacturing systems as pull or push system at the same time. Selecting the productive strategy dynamically enables the decrease of more than 90% inventory cost

Contemporary Robotics

This book book is a collection of 18 chapters written by internationally recognized experts and well-known professionals of the field. Chapters contribute to diverse facets of contemporary robotics and autonomous systems. The volume is organized in four thematic parts according to the main subjects, regarding the recent advances in the contemporary robotics. The first thematic topics of the book are devoted to the theoretical issues. This includes development of algorithms for automatic trajectory generation using redudancy resolution scheme, intelligent algorithms for robotic grasping, modelling approach for reactive mode handling of flexible manufacturing and design of an advanced controller for robot manipulators. The second part of the book deals with different aspects of robot calibration and sensing. This includes a geometric and treshold calibration of a multiple robotic line-vision system, robot-based inline 2D/3D quality monitoring using picture-giving and laser triangulation, and a study on prospective polymer composite materials for flexible tactile sensors. The third part addresses issues of mobile robots and multi-agent systems, including SLAM of mobile robots based on fusion of odometry and visual data, configuration of a localization system by a team of mobile robots, development of generic real-time motion controller for differential mobile robots, control of fuel cells of mobile robots, modelling of omni-directional wheeled-based robots, building of hunter- hybrid tracking environment, as well as design of a cooperative control in distributed population-based multi-agent approach. The fourth part presents recent approaches and results in humanoid and bioinspirative robotics. It deals with design of adaptive control of anthropomorphic biped gait, building of dynamic-based simulation for humanoid robot walking, building controller for perceptual motor control dynamics of humans and biomimetic approach to control mechatronic structure using smart materials

An Approach to Automatically Distribute and Access Knowledge within Networked Embedded Systems in Factory Automation

This thesis presents a novel approach for automatically distribute and access knowledge within factory automation systems built by networked embedded systems. Developments on information, communication and computational technologies are making possible the distribution of tasks within different control resources, resources which are networked and working towards a common objective optimizing desired parameters. A fundamental task for introducing autonomy to these systems, is the option for represent knowledge, distributed within the automation network and to ensure its access by providing access mechanisms. This research work focuses on the processes for automatically distribute and access the knowledge.Recently, the industrial world has embraced service-oriented as architectural (SOA) patterns for relaxing the software integration costs of factory automation systems. This pattern defines a services provider offering a particular functionality, and service requesters which are entities looking for getting their needs satisfied. Currently, there are a few technologies allowing to implement a SOA solution, among those, Web Technologies are gaining special attention for their solid presence in other application fields. Providers and services using Web technologies for expressing their needs and skills are called Web Services. One of the main advantage of services is the no need for the service requester to know how the service provider is accomplishing the functionality or where the execution of the service is taking place. This benefit is recently stressed by the irruption of Cloud Computing, allowing the execution of certain process by the cloud resources.The caption of human knowledge and the representation of that knowledge in a machine interpretable manner has been an interesting research topic for the last decades. A well stablished mechanism for the representation of knowledge is the utilization of Ontologies. This mechanism allows machines to access that knowledge and use reasoning engines in order to create reasoning machines. The presence of a knowledge base allows as clearly the better identification of the web services, which is achievable by adding semantic notations to the service descriptors. The resulting services are called semantic web services.With the latest advances on computational resources, system can be built by a large number of constrained devices, yet easily connected, building a network of computational nodes, nodes that will be dedicated to execute control and communication tasks for the systems. These tasks are commanded by high level commanding systems, such as Manufacturing Execution Systems (MES) and Enterprise Resource Planning (ERP) modules. The aforementioned technologies allow a vertical approach for communicating commanding options from MES and ERP directly to the control nodes. This scenario allows to break down monolithic MES systems into small distributed functionalities, if these functionalities use Web standards for interacting and a knowledge base as main input for information, then we are arriving to the concept of Open KnowledgeDriven MES Systems (OKD-MES).The automatic distribution of the knowledge base in an OKD-MES mechanism and the accomplishment of the reasoning process in a distributed manner are the main objectives for this research. Thus, this research work describes the decentralization and management of knowledge descriptions which are currently handled by the Representation Layer (RPL) of the OKD-MES framework. This is achieved within the encapsulation of ontology modules which may be integrated by a distributed reasoning process on incoming requests. Furthermore, this dissertation presents the concept, principles and architecture for implementing Private Local Automation Clouds (PLACs), built by CPS.The thesis is an article thesis and is composed by 9 original and referred articles and supported by 7 other articles presented by the author

K-State graduate catalog, 1997-1999

Course catalogs were published under the following titles: Catalogue of the officers and students of the Kansas State Agricultural College, with a brief history of the institution, 1st (1863/4); Annual catalogue of the officers and students of the Kansas State Agricultural College for, 2nd (1864/5)-4th (1868/9); Catalogue of the officers and students of the Kansas State Agricultural College for the year, 1869-1871/2; Hand-book of the Kansas State Agricultural College, Manhattan, Kansas, 1873/4; Biennial catalogue of the Kansas State Agricultural College, Manhattan, Kansas, calendar years, 1875/77; Catalogue of the State Agricultural College of Kansas, 1877/80-1896/97; Annual catalogue of the officers, students and graduates of the Kansas State Agricultural College, Manhattan, 35th (1897/98)-46th (1908/09); Catalogue, 47th (1909/10)-67th (1929/30); Complete catalogue number, 68th (1930/31)-81st (1943/1944); Catalogue, 1945/1946-1948/1949?; General catalogue, 1949/1950?-1958/1960; General catalog, 1960/1962-1990/1992. Course catalogs then split into undergraduate and graduate catalogs respectively: K-State undergraduate catalog, 1992/1994- ; K-State graduate catalog, 1993/1995-Citation: Kansas State University. (1997). K-State graduate catalog, 1997-1999. Manhattan, KS: Kansas State University.Call number: LD2668.A11711 K78