Proceedings of the Conference on Production Systems and Logistics: CPSL 2022

[no abstract available

Avoin alustakehitys IEEE 802.15.4 -standardin mukaisessa langattomassa automaatiossa

This doctoral dissertation focuses on open source platform development in wireless automation under IEEE 802.15.4 standard. Research method is empirical. A platform based approach, which targets to the design of a generic open source sensor platform, was selected as a design method. The design targets were further focused by interviewing the experts from the academia and industry. Generic and modular sensor platform, the UWASA Node, was developed as an outcome of this process. Based on the implementation results, a wireless sensor and actuator network based on the UWASA Node was a feasible solution for many types of wireless automation applications. It was also possible to interface it with the other parts of the system. The targeted level of sensor platform genericity was achieved. However, it was also observed that the achieved level of genericity increased the software complexity. The development of commercial sensor platforms, which support IEEE 802.15.4 sensor networking, has narrowed down the role of open source sensor platforms, but they are not disappearing. Commercial software is usually closed and connected to a specified platform, which makes it unsuitable for research and development work. Even though there exits many commercial WSN solutions and the market expectations in this area are high, there is still a lot of work to do before the visions about Internet of Things (IoT) are fulfilled, especially in the context of distributed and locally centralized operations in the network. In terms of control engineering, one of the main research issues is to figure out how the well-known control techniques may be applied in wireless automation where WSN is part of the automation system. Open source platforms offer an important tool in this research and development work.Tämä väitöskirja käsittelee avointa alustakehitystä IEEE 802.15.4 -standardin mukaisessa langattomassa automaatiossa. Tutkimusmenetelmä on empiirinen. Työssä sovelletaan alustaperustaista suunnittelutapaa, joka tähtää yleiskäyttöisen avoimen anturialustan kehittämiseen. Suunnittelun tavoitteita tarkennettiin haastattelemalla alan asiantuntijoita teollisuudesta ja yliopistomaailmasta. Tuloksena suunniteltiin ja toteutettiin anturialusta, the UWASA Node. Implementointituloksista voidaan vetää johtopäätös, että anturialustan tavoiteltu yleiskäyttöisyystaso saavutettiin. Toisaalta saavutettu yleiskäyttöisyystaso lisäsi alustan ohjelmistoarkkitehtuurin monimutkaisuutta. Kaupallisten IEEE 802.15.4 -standardia tukevien anturialustojen tulo markkinoille vähentää avointen anturialustojen käyttöä, mutta ne eivät ole katoamassa. Kaupalliset ohjelmistot ovat tyypillisesti suljettuja ja sidoksissa tiettyyn alustaan, mikä tekee niistä sopimattomia tutkimus- ja tuotekehityskäyttöön. Vaikka nykyään on saatavilla useita kaupallisia langattomia anturi- ja toimilaiteverkkoja, vaaditaan vielä paljon työtä ennen kun kaikki esineiden Internetiin (Internet of Things) liittyvät visiot voidaan toteuttaa. Tämä koskee erityisesti langattomassa anturi- ja toimilaiteverkossa hajautetusti tai paikallisesti toteutettavia toimintoja. Säätötekniikan näkökulmasta keskeinen kysymys on, miten tunnettuja säätömenetelmiä tulee soveltaa langattomassa automaatiossa, jossa langaton anturi- ja toimilaiteverkko on osa automaatiojärjestelmää. Avoimet anturialustat ovat tärkeä työkalu sen selvittämisessä.fi=vertaisarvioitu|en=peerReviewed

Sistema de control reconfigurable y sostenible para aplicación en sistemas de manufactura flexibles

Dado el continuo y acelerado crecimiento de la economía global, la producción mundial se ha visto afectada por un incremento significativo de recursos y energía. Este incremento ha traído diversos avances tecnológicos y digitales en el sector industrial que han evolucionado el área de sistemas de control reconfigurables. Específicamente, esta nueva tecnología ha surgido para dar respuesta a la volatilidad de sistemas de manufactura y satisfacer niveles adecuados de efectividad y reactividad. Sin embargo, los sistemas enfrentan el reto de generar un balance entre sus indicadores. En las últimas décadas, se ha visto la necesidad de incluir la sostenibilidad como una nueva métrica de eficiencia para los sistemas de manufactura. Igualmente, existe la necesidad mundial de incorporar la sostenibilidad en las operaciones industriales y se evidencia una falta de estudios en la integración entre productividad y sostenibilidad. Por esta razón, este trabajo de investigación propone un sistema de control con una arquitectura que hace el balance de eficiencia y efectividad entre indicadores de productividad y sostenibilidad. Dicho sistema propuesto consta de una arquitectura compuesta por distintos tipos de entidades. Así mismo, la propuesta también incluye un mecanismo de reconfiguración compuesto por tres módulos. Para mostrar los beneficios del sistema propuesto, se presenta la validación mediante la realización de experimentos en un ambiente simulado haciendo uso del software basado en agentes denominado Netlogo. Se evalúa la aplicación en un sistema de manufactura real ubicado en Francia. Como resultados, se evidencia que sí es posible integrar eficiencia y efectividad en un sistema de control. Esto mejora el desempeño de la energía hasta en un 69% y el del tiempo en 30%.Given the continuous and accelerated growth of the global economy, world production has been affected by a significant increase in resources and energy. This increase has brought several technological and digital advances in the industrial sector that have evolved the area of reconfigurable control systems. Specifically, this new technology has emerged to respond to the volatility of manufacturing systems and meet adequate levels of accuracy and reactivity. However, these systems lack of generating a balance between their indicators. In recent decades, the need to include sustainability as a new efficiency metric for manufacturing systems has grown. Similarly, there is a worldwide need to incorporate sustainability in industrial operations and there is a lack of studies on the integration between productivity and sustainability. For this reason, this work proposes a control system with an architecture that balances efficiency and effectiveness between productivity and sustainability indicators. This proposed system consists of an architecture composed of different types of entities. Likewise, the proposal also includes a reconfiguration mechanism composed of three modules. To show the benefits of the proposed system, validation is presented by conducting experiments in a simulated environment using an agent-based software known as Netlogo. The application is evaluated in a real manufacturing system located in France As a result, it is evident that it is possible to integrate efficiency and effectiveness into a control. This improves energy efficiency by up to 69% and processing time by 30%.Magíster en Ingeniería IndustrialMaestrí

Computational Methods for Medical and Cyber Security

Over the past decade, computational methods, including machine learning (ML) and deep learning (DL), have been exponentially growing in their development of solutions in various domains, especially medicine, cybersecurity, finance, and education. While these applications of machine learning algorithms have been proven beneficial in various fields, many shortcomings have also been highlighted, such as the lack of benchmark datasets, the inability to learn from small datasets, the cost of architecture, adversarial attacks, and imbalanced datasets. On the other hand, new and emerging algorithms, such as deep learning, one-shot learning, continuous learning, and generative adversarial networks, have successfully solved various tasks in these fields. Therefore, applying these new methods to life-critical missions is crucial, as is measuring these less-traditional algorithms' success when used in these fields

Tools and Algorithms for the Construction and Analysis of Systems

This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020

Fundamental Approaches to Software Engineering

This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions

Bioinspired metaheuristic algorithms for global optimization

This paper presents concise comparison study of newly developed bioinspired algorithms for global optimization problems. Three different metaheuristic techniques, namely Accelerated Particle Swarm Optimization (APSO), Firefly Algorithm (FA), and Grey Wolf Optimizer (GWO) are investigated and implemented in Matlab environment. These methods are compared on four unimodal and multimodal nonlinear functions in order to find global optimum values. Computational results indicate that GWO outperforms other intelligent techniques, and that all aforementioned algorithms can be successfully used for optimization of continuous functions

Experimental Evaluation of Growing and Pruning Hyper Basis Function Neural Networks Trained with Extended Information Filter

In this paper we test Extended Information Filter (EIF) for sequential training of Hyper Basis Function Neural Networks with growing and pruning ability (HBF-GP). The HBF neuron allows different scaling of input dimensions to provide better generalization property when dealing with complex nonlinear problems in engineering practice. The main intuition behind HBF is in generalization of Gaussian type of neuron that applies Mahalanobis-like distance as a distance metrics between input training sample and prototype vector. We exploit concept of neuron’s significance and allow growing and pruning of HBF neurons during sequential learning process. From engineer’s perspective, EIF is attractive for training of neural networks because it allows a designer to have scarce initial knowledge of the system/problem. Extensive experimental study shows that HBF neural network trained with EIF achieves same prediction error and compactness of network topology when compared to EKF, but without the need to know initial state uncertainty, which is its main advantage over EKF

Sustainable Agriculture and Rural Development in Terms of The Republic of Serbia Strategic Goals Realization within The Danube Region(preservation of rural values)

International Scientific Meeting „Sustainable Agriculture and Rural Development in Terms of The Republic of Serbia Strategic Goals Realization within The Danube Region“ (preservation of rural values), which be held in period 6-8th December 2012 on mountain Tara (Republic Serbia), through major number of presented papers provides an overwiew of results of scientific research on the integrated and interdisciplinary project „Sustainable agriculture and rural development in terms of the Republic of Serbia strategic goals realization within the danube region“. International Scientific Meeting „SUSTAINABLE AGRICULTURE AND RURAL DEVELOPMENT IN TERMS OF THE REPUBLIC OF SERBIA STRATEGIC GOALS REALIZATION WITHIN THE DANUBE REGION“ (preservation of rural values), gathered major number of scientific and experts researchers from about the countries. Besides the authors from Republic Serbia in papers are represented and authors from Romania, Bulgaria, Russian Federation, Bosnia and Herzegovina, Hungary, Netherland and Macedonia, Poland. In frame of the Proceedings, is positively evaluated by the reviewer and presented on the Scientific Meeting 91 paper and it is published in the Proceeding. Publisher is Institute of Agricultural Economics, Belgrade, together with 38 eminent scientific and educational Institution from Serbia and foreing. In the Plenary section was presents three (3) papers which stand out with their contributions to our Scientific Meeting. Rest of the paper are systematized in three (3) sections. Represent and published papers are systematized in three (3) thematic section: I SUSTAINABLE DEVELOPMENT AS A MODERN DEVELOPMENTAL APPROACH IN PRESERVATION OF AGRICULTURE AND RURAL VALUES (in this section represented 41 papers); II STRATEGIC PLANNING AND INSTITUTIONAL-POLITICAL DIMENSION OF AGRARIAN AND RURAL DEVELOPMENT (in this section represented 13 papers); III AGRIBUSINESS OF RURAL AREAS, DIVERSIFICATION AND COMPARATIVE ADVANTAGES OF RURAL ECONOMY (in this section represented 34 papers)