2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA )

2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ) PDF

Author: IEEE Staff

Publisher:

Published: 2021-09-07

Total Pages:

ISBN-13: 9781728129907

DOWNLOAD EBOOK →

ETFA focus is on the latest developments and new technologies in the field of industrial and factory automation The conference aims to exchange ideas with both industry leaders and a variety of experienced researchers, developers, and practitioners from several industries, research institutes, and academia

Software Engineering and Formal Methods

Software Engineering and Formal Methods PDF

Author: Bernd-Holger Schlingloff

Publisher: Springer Nature

Published: 2022-09-21

Total Pages: 373

ISBN-13: 303117108X

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the 20th International Conference on Software Engineering and Formal Methods, SEFM 2022, which took place in Berlin, Germany, in September 2022. The 19 full and 3 short papers included in this book were carefully reviewed and selected from 62 submissions. They were organized in topical sections as follows: software verification; program analysis; verifier technology; formal methods for intelligent and learning systems; specification and contracts; program synthesis; temporal logic; and runtime methods.

Application and Theory of Petri Nets and Concurrency

Application and Theory of Petri Nets and Concurrency PDF

Author: Luis Gomes

Publisher: Springer Nature

Published: 2023-05-27

Total Pages: 470

ISBN-13: 3031336208

DOWNLOAD EBOOK →

This book constitutes the proceedings of the 44th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2023, which took place in Lisbon, Portugal, in June 2023. The 21 full papers included in this book were carefully reviewed and selected from 47 submissions. They were organized in topical sections as follows: Process mining; semantics; tools; verification; timed models; model transformation. The book also includes two invited talks in full paper length.

Innovative Intelligent Industrial Production and Logistics

Innovative Intelligent Industrial Production and Logistics PDF

Author: Alexander Smirnov

Publisher: Springer Nature

Published: 2023-07-06

Total Pages: 170

ISBN-13: 303137228X

DOWNLOAD EBOOK →

This volume includes extended and revised versions of a set of selected papers from the First International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2020, held as virtual event in November 4-6, 2020 and Second International Conference on Innovative Intelligent Industrial Production and Logistics, IN4PL 2021, held as virtual event in October 25-27, 2021. The 9 full papers included in this book were carefully reviewed and selected from 44 submissions. They were organized in topical sections as follows: ​on kernel search based gaussian process anomaly detection; general architecture framework and general modelling framework.

Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus

Flexible Automation and Intelligent Manufacturing: The Human-Data-Technology Nexus PDF

Author: Kyoung-Yun Kim

Publisher: Springer Nature

Published: 2022-10-12

Total Pages: 427

ISBN-13: 3031183266

DOWNLOAD EBOOK →

This is an open access book. It gathers the first volume of the proceedings of the 31st edition of the International Conference on Flexible Automation and Intelligent Manufacturing, FAIM 2022, held on June 19 – 23, 2022, in Detroit, Michigan, USA. Covering four thematic areas including Manufacturing Processes, Machine Tools, Manufacturing Systems, and Enabling Technologies, it reports on advanced manufacturing processes, and innovative materials for 3D printing, applications of machine learning, artificial intelligence and mixed reality in various production sectors, as well as important issues in human-robot collaboration, including methods for improving safety. Contributions also cover strategies to improve quality control, supply chain management and training in the manufacturing industry, and methods supporting circular supply chain and sustainable manufacturing. All in all, this book provides academicians, engineers and professionals with extensive information on both scientific and industrial advances in the converging fields of manufacturing, production, and automation.

Advances in System-Integrated Intelligence

Advances in System-Integrated Intelligence PDF

Author: Maurizio Valle

Publisher: Springer Nature

Published: 2022-09-03

Total Pages: 745

ISBN-13: 3031162811

DOWNLOAD EBOOK →

This book reports on cutting-edge research and developments focusing on integrating intelligent functionalities into materials, components, systems and products. Gathering the proceedings of the 6th International Conference on System-Integrated Intelligence (SysInt 2022), held on September 7-9, in Genova, Italy, it offers a comprehensive, multidisciplinary and applied perspective on the state-of-the art and challenges in the field of intelligent, flexible and connected systems. The book covers advanced methods and applications relating to artificial, pervasive and ubiquitous intelligence, sensors, smart factory and logistics, structural health monitoring, as well as soft robotics, cognitive systems and human-machine interaction. Giving a special focus to artificial intelligence, it extensively reports on methods and algorithms for data-driven modeling, and agent-based data processing and planning. It aims at inspiring and fostering collaboration between researchers and professionals from the different fields of electrical, manufacturing and production engineering, and materials and computer sciences.

Software Architecture. ECSA 2022 Tracks and Workshops

Software Architecture. ECSA 2022 Tracks and Workshops PDF

Author: Thais Batista

Publisher: Springer Nature

Published: 2023-07-15

Total Pages: 492

ISBN-13: 3031368894

DOWNLOAD EBOOK →

This book constitutes the refereed proceedings of the tracks and workshops which complemented the 16th European Conference on Software Architecture, ECSA 2022, held in Prague, Czech Republic, in September 2022. The 26 full papers presented together with 4 short papers and 2 tutorial papers in this volume were carefully reviewed and selected from 61 submissions. Papers presented were accepted into the following tracks and workshops: Industry track; Tools and Demonstrations Track; Doctoral Symposium; Tutorials; 8th International Workshop on Automotive System/Software Architectures (WASA); 5th Context-Aware, Autonomous and Smart Architectures International Workshop (CASA); 6th International Workshop on Formal Approaches for Advanced Computing Systems (FAACS); 3rd Workshop on Systems, Architectures, and Solutions for Industry 4.0 (SASI4); 2nd International Workshop on Designing and Measuring Security in Software Architectures (DeMeSSA); 2nd International Workshop on Software Architecture and Machine Learning (SAML); 9th Workshop on Software Architecture Erosion and Architectural Consistency (SAEroCon); 2nd International Workshop on Mining Software Repositories for Software Architecture (MSR4SA); and 1st International Workshop on Digital Twin Architecture (TwinArch).

Production Processes and Product Evolution in the Age of Disruption

Production Processes and Product Evolution in the Age of Disruption PDF

Author: Francesco Gabriele Galizia

Publisher: Springer Nature

Published: 2023-08-07

Total Pages: 858

ISBN-13: 3031348214

DOWNLOAD EBOOK →

This book includes state-of-the-art and original research contributions from two well-established conferences, which collectively focus on the joint design, development, and management of products, advanced production systems, and business for sustainable customization and personalization. The book includes wide range of topics within these subjects, ranging from industrial success factors to original contributions within the field. The authors represent worldwide leading research institutions.

Emerging Technologies in Digital Manufacturing and Smart Factories

Emerging Technologies in Digital Manufacturing and Smart Factories PDF

Author: Hassan, Ahdi

Publisher: IGI Global

Published: 2023-12-29

Total Pages: 312

ISBN-13:

DOWNLOAD EBOOK →

Rapid digital transformation is forcing the manufacturing industry to drastically alter its current trajectory for future success. The remarkable convergence of digitalization and manufacturing is reshaping industries, ushering in an era known as Industry 5.0. This revolutionary transition has given birth to digital manufacturing and smart factories, heralding a new dawn in the way we produce goods. The amalgamation of artificial intelligence (AI), robotics, the internet of things (IoT), augmented reality (AR), virtual reality (VR), big data analytics, cloud computing, and additive manufacturing stands poised to unlock unprecedented avenues in the realm of production. Practitioners, researchers, dreamers, and pioneers all are beckoned to explore the uncharted territories of digital innovation in manufacturing. Emerging Technologies in Digital Manufacturing and Smart Factories spans domains from mechanical and electrical engineering to computer science, from industrial economics to business strategy, and this book addresses this diverse audience. The book embarks on a comprehensive voyage, unveiling the latest evolutions and nascent trends within digital manufacturing and smart factories. From inception to execution, from design optimization to predictive maintenance, every phase of the manufacturing lifecycle is scrutinized through the lens of cutting-edge technologies. Rather than relying exclusively on the theoretical realm, this book also ventures into the crucible of real-world application, offering practical insights drawn from varied industries, including automotive, aerospace, and pharmaceuticals.

Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future

Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future PDF

Author: Theodor Borangiu

Publisher: Springer Nature

Published: 2023-02-01

Total Pages: 452

ISBN-13: 3031242912

DOWNLOAD EBOOK →

The scientific theme of the book is “Virtualisation – a multifaceted key enabler of Industry 4.0 from holonic to cloud manufacturing” which is addressed in the framework of cyber-physical system development. The book approaches cyber-physical systems for manufacturing with emergent digital technologies: Internet of Things, digital twins (based on the virtualization of production models embedded in the design, virtual commissioning, optimization and resilience of processes and fault tolerance of resources), big data, cloud control and computing, machine learning and cobots, that are applied in the book’s chapters to industry and service sectors such as manufacturing, energy, logistics, construction and health care. The novelty of this approach consists in interpreting and applying the characteristics of RAMI4.0—the reference architecture model of the Industry 4.0 framework—as combinations of virtualized cyber-physical system elements and IT components in life cycle value stream models. The general scope of the book is to foster innovation in smart and sustainable manufacturing and logistics systems and in this context to promote concepts, methods and solutions for the digital transformation of manufacturing through service orientation in holonic and agent-based control with distributed intelligence. The book’s readership is comprised by researchers and engineers working in the manufacturing value chain area who develop and use digital control solutions in the “Industry of the Future” vision. The book also addresses to master’s and Ph.D. students enrolled in Engineering Sciences programs.