Business analytics in industry 4.0: a systematic review

Recently, the term “Industry 4.0” has emerged to characterize several Information Technology and Communication (ICT) adoptions in production processes (e.g., Internet-of-Things, implementation of digital production support information technologies). Business Analytics is often used within the Industry 4.0, thus incorporating its data intelligence (e.g., statistical analysis, predictive modelling, optimization) expert system component. In this paper, we perform a Systematic Literature Review (SLR) on the usage of Business Analytics within the Industry 4.0 concept, covering a selection of 169 papers obtained from six major scientific publication sources from 2010 to March 2020. The selected papers were first classified in three major types, namely, Practical Application, Reviews and Framework Proposal. Then, we analysed with more detail the practical application studies which were further divided into three main categories of the Gartner analytical maturity model, Descriptive Analytics, Predictive Analytics and Prescriptive Analytics. In particular, we characterized the distinct analytics studies in terms of the industry application and data context used, impact (in terms of their Technology Readiness Level) and selected data modelling method. Our SLR analysis provides a mapping of how data-based Industry 4.0 expert systems are currently used, disclosing also research gaps and future research opportunities.The work of P. Cortez was supported by FCT - Fundação para a Ciência e Tecnologia within the R&D Units Project Scope: UIDB/00319/2020. We would like to thank to the three anonymous reviewers for their helpful suggestions

Evolutionary Computation 2020

Intelligent optimization is based on the mechanism of computational intelligence to refine a suitable feature model, design an effective optimization algorithm, and then to obtain an optimal or satisfactory solution to a complex problem. Intelligent algorithms are key tools to ensure global optimization quality, fast optimization efficiency and robust optimization performance. Intelligent optimization algorithms have been studied by many researchers, leading to improvements in the performance of algorithms such as the evolutionary algorithm, whale optimization algorithm, differential evolution algorithm, and particle swarm optimization. Studies in this arena have also resulted in breakthroughs in solving complex problems including the green shop scheduling problem, the severe nonlinear problem in one-dimensional geodesic electromagnetic inversion, error and bug finding problem in software, the 0-1 backpack problem, traveler problem, and logistics distribution center siting problem. The editors are confident that this book can open a new avenue for further improvement and discoveries in the area of intelligent algorithms. The book is a valuable resource for researchers interested in understanding the principles and design of intelligent algorithms

Systems Engineering: Availability and Reliability

Current trends in Industry 4.0 are largely related to issues of reliability and availability. As a result of these trends and the complexity of engineering systems, research and development in this area needs to focus on new solutions in the integration of intelligent machines or systems, with an emphasis on changes in production processes aimed at increasing production efficiency or equipment reliability. The emergence of innovative technologies and new business models based on innovation, cooperation networks, and the enhancement of endogenous resources is assumed to be a strong contribution to the development of competitive economies all around the world. Innovation and engineering, focused on sustainability, reliability, and availability of resources, have a key role in this context. The scope of this Special Issue is closely associated to that of the ICIE’2020 conference. This conference and journal’s Special Issue is to present current innovations and engineering achievements of top world scientists and industrial practitioners in the thematic areas related to reliability and risk assessment, innovations in maintenance strategies, production process scheduling, management and maintenance or systems analysis, simulation, design and modelling

Modélisation formelle des systèmes de détection d'intrusions

L’écosystème de la cybersécurité évolue en permanence en termes du nombre, de la diversité, et de la complexité des attaques. De ce fait, les outils de détection deviennent inefficaces face à certaines attaques. On distingue généralement trois types de systèmes de détection d’intrusions : détection par anomalies, détection par signatures et détection hybride. La détection par anomalies est fondée sur la caractérisation du comportement habituel du système, typiquement de manière statistique. Elle permet de détecter des attaques connues ou inconnues, mais génère aussi un très grand nombre de faux positifs. La détection par signatures permet de détecter des attaques connues en définissant des règles qui décrivent le comportement connu d’un attaquant. Cela demande une bonne connaissance du comportement de l’attaquant. La détection hybride repose sur plusieurs méthodes de détection incluant celles sus-citées. Elle présente l’avantage d’être plus précise pendant la détection. Des outils tels que Snort et Zeek offrent des langages de bas niveau pour l’expression de règles de reconnaissance d’attaques. Le nombre d’attaques potentielles étant très grand, ces bases de règles deviennent rapidement difficiles à gérer et à maintenir. De plus, l’expression de règles avec état dit stateful est particulièrement ardue pour reconnaître une séquence d’événements. Dans cette thèse, nous proposons une approche stateful basée sur les diagrammes d’état-transition algébriques (ASTDs) afin d’identifier des attaques complexes. Les ASTDs permettent de représenter de façon graphique et modulaire une spécification, ce qui facilite la maintenance et la compréhension des règles. Nous étendons la notation ASTD avec de nouvelles fonctionnalités pour représenter des attaques complexes. Ensuite, nous spécifions plusieurs attaques avec la notation étendue et exécutons les spécifications obtenues sur des flots d’événements à l’aide d’un interpréteur pour identifier des attaques. Nous évaluons aussi les performances de l’interpréteur avec des outils industriels tels que Snort et Zeek. Puis, nous réalisons un compilateur afin de générer du code exécutable à partir d’une spécification ASTD, capable d’identifier de façon efficiente les séquences d’événements.Abstract : The cybersecurity ecosystem continuously evolves with the number, the diversity, and the complexity of cyber attacks. Generally, we have three types of Intrusion Detection System (IDS) : anomaly-based detection, signature-based detection, and hybrid detection. Anomaly detection is based on the usual behavior description of the system, typically in a static manner. It enables detecting known or unknown attacks but also generating a large number of false positives. Signature based detection enables detecting known attacks by defining rules that describe known attacker’s behavior. It needs a good knowledge of attacker behavior. Hybrid detection relies on several detection methods including the previous ones. It has the advantage of being more precise during detection. Tools like Snort and Zeek offer low level languages to represent rules for detecting attacks. The number of potential attacks being large, these rule bases become quickly hard to manage and maintain. Moreover, the representation of stateful rules to recognize a sequence of events is particularly arduous. In this thesis, we propose a stateful approach based on algebraic state-transition diagrams (ASTDs) to identify complex attacks. ASTDs allow a graphical and modular representation of a specification, that facilitates maintenance and understanding of rules. We extend the ASTD notation with new features to represent complex attacks. Next, we specify several attacks with the extended notation and run the resulting specifications on event streams using an interpreter to identify attacks. We also evaluate the performance of the interpreter with industrial tools such as Snort and Zeek. Then, we build a compiler in order to generate executable code from an ASTD specification, able to efficiently identify sequences of events

Applications of the Internet of Things and optimization to inventory and distribution management

This thesis is part of the IoFEED (EU funded) project, which aims to monitor approximately 325 farm bins and investigates business processes carried out between farmers and animal feed producers. We propose a computer-aided system to control and optimize the supply chain to deliver animal feed to livestock farms. Orders can be of multiple types of feed, shipped from multiple depots using a fleet of heterogeneous vehicles with multiple compartments. Additionally, this case considers some business-specific constraints, such as product compatibility, facility accessibility restrictions, prioritized locations, or bio-security constraints. A digital twin based approach is implemented at the farm level by installing sensors to remotely measure the inventories. This thesis also embraces these sensors' design and manufacturing process, seeking the required precision and easy deployability at scale. Our approach combines biased-randomization techniques with a simheuristic framework to make use of data provided by the sensors. The analysis of results is based on these two real pilots, and showcases the insights obtained during the IoFEED project. The results of this thesis show how the Internet of Things and simulation-based optimization methods combine successfully to optimize deliveries of feed to livestock farms.Esta tesis forma parte del proyecto IoFeeD, financiado por la Unión Europea, que tiene como objetivo monitorizar remotamente el stock de 325 contenedores agrícolas e investigar los procesos comerciales llevados a cabo entre agricultores y productores de pienso. Proponemos un sistema de ayuda a la toma de decisiones para controlar y optimizar la cadena de suministro de pienso en las explotaciones ganaderas. Los pedidos pueden ser de varios tipos de pienso y pueden enviarse desde varios centros de fabricación mediante el uso de una flota de vehículos heterogéneos con varios compartimentos. Además, se tienen en cuenta algunas restricciones específicas de la empresa, como, por ejemplo, la compatibilidad del producto, las restricciones de accesibilidad en las instalaciones, las ubicaciones priorizadas o las restricciones de bioseguridad. A escala de granja, se implementa un enfoque basado en gemelos digitales mediante la instalación de sensores para medir los inventarios de forma remota. En el marco de esta tesis, se desarrollan estos sensores buscando la precisión requerida, así como las características oportunas que permitan su instalación a gran escala. Nuestro enfoque combina técnicas de aleatorización sesgada con un marco simheurístico para hacer uso de los datos proporcionados por los sensores. El análisis de los resultados se basa en estos dos pilotos reales y muestra las ideas obtenidas durante el proyecto IoFeeD. Los resultados de esta tesis muestran cómo la internet de las cosas y los métodos de optimización basados en simulación se combinan con éxito para optimizar las operaciones de suministro de pienso para el consumo animal en las explotaciones ganaderas.Aquesta tesi forma part del projecte IoFeeD, finançat per la Unió Europea, que té com a objectiu controlar remotament l'estoc de 325 sitges i investigar els processos de negoci duts a terme entre agricultors i productors de pinso. Proposem un sistema d'ajuda a la presa de decisions per controlar i optimitzar la cadena de subministrament de pinso a les explotacions ramaderes. Les comandes poden ser de diversos tipus de pinso i es poden enviar des de diversos centres de fabricació mitjançant l'ús d'una flota de vehicles heterogenis amb diversos compartiments. A més, es tenen en compte algunes restriccions específiques de l'empresa, com ara la compatibilitat del producte, les restriccions d'accessibilitat a les instal·lacions, les ubicacions prioritzades o les restriccions de bioseguretat. A escala de granja, s'implementa un enfocament basat en bessons digitals mitjançant la instal·lació de sensors per mesurar remotament els inventaris. En el marc de la tesi, es desenvolupa aquest sensor cercant la precisió requerida i les característiques oportunes que en permetin la instal·lació a gran escala. El nostre enfocament combina tècniques d'aleatorització esbiaixada amb un marc simheurístic per fer ús de les dades proporcionades pels sensors. L'anàlisi dels resultats es basa en aquests dos pilots reals i mostra les idees obtingudes durant el projecte IoFeeD. Els resultats d'aquesta tesi mostren com la internet de les coses i els mètodes d'optimització basats en simulació es combinen amb èxit per optimitzar les operacions de subministrament de pinso per al consum animal a les explotacions ramaderes.Tecnologies de la informació i de xarxe

Applied Metaheuristic Computing

For decades, Applied Metaheuristic Computing (AMC) has been a prevailing optimization technique for tackling perplexing engineering and business problems, such as scheduling, routing, ordering, bin packing, assignment, facility layout planning, among others. This is partly because the classic exact methods are constrained with prior assumptions, and partly due to the heuristics being problem-dependent and lacking generalization. AMC, on the contrary, guides the course of low-level heuristics to search beyond the local optimality, which impairs the capability of traditional computation methods. This topic series has collected quality papers proposing cutting-edge methodology and innovative applications which drive the advances of AMC

Planning and Scheduling Optimization

Although planning and scheduling optimization have been explored in the literature for many years now, it still remains a hot topic in the current scientific research. The changing market trends, globalization, technical and technological progress, and sustainability considerations make it necessary to deal with new optimization challenges in modern manufacturing, engineering, and healthcare systems. This book provides an overview of the recent advances in different areas connected with operations research models and other applications of intelligent computing techniques used for planning and scheduling optimization. The wide range of theoretical and practical research findings reported in this book confirms that the planning and scheduling problem is a complex issue that is present in different industrial sectors and organizations and opens promising and dynamic perspectives of research and development