Author:
Publisher:
ISBN:
Category :
Languages : en
Pages : 0
Book Description
2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA).
Advances in Artificial Intelligence in Manufacturing
Author: Achim Wagner
Publisher: Springer Nature
ISBN: 3031574966
Category :
Languages : en
Pages : 207
Book Description
Publisher: Springer Nature
ISBN: 3031574966
Category :
Languages : en
Pages : 207
Book Description
The Application of Formal Methods
Author: Simon Foster
Publisher: Springer Nature
ISBN: 3031671147
Category :
Languages : en
Pages : 388
Book Description
Publisher: Springer Nature
ISBN: 3031671147
Category :
Languages : en
Pages : 388
Book Description
Computer Security. ESORICS 2023 International Workshops
Author: Sokratis Katsikas
Publisher: Springer Nature
ISBN: 3031542045
Category :
Languages : en
Pages : 518
Book Description
Publisher: Springer Nature
ISBN: 3031542045
Category :
Languages : en
Pages : 518
Book Description
Methods and Applications for Modeling and Simulation of Complex Systems
Author: Fazilah Hassan
Publisher: Springer Nature
ISBN: 981997240X
Category : Computers
Languages : en
Pages : 518
Book Description
This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, AsiaSim 2023, held in Langkawi, Malaysia, during October 25–26, 2023. The 77 full papers included in this book were carefully reviewed and selected from 164 submissions. They were organized in topical sections as follows: Modelling and Simulation, Artificial intelligence, Industry 4.0, Digital Twins Modelling, Simulation and Gaming, Simulation for Engineering, Simulation for Sustainable Development, Simulation in Social Sciences.
Publisher: Springer Nature
ISBN: 981997240X
Category : Computers
Languages : en
Pages : 518
Book Description
This book constitutes the refereed proceedings of the 22nd Asia Simulation Conference on Methods and Applications for Modeling and Simulation of Complex Systems, AsiaSim 2023, held in Langkawi, Malaysia, during October 25–26, 2023. The 77 full papers included in this book were carefully reviewed and selected from 164 submissions. They were organized in topical sections as follows: Modelling and Simulation, Artificial intelligence, Industry 4.0, Digital Twins Modelling, Simulation and Gaming, Simulation for Engineering, Simulation for Sustainable Development, Simulation in Social Sciences.
The Engineering of Digital Twins
Author: John Fitzgerald
Publisher: Springer Nature
ISBN: 3031667190
Category : Cooperating objects (Computer systems)
Languages : en
Pages : 403
Book Description
This book is about the engineering of Digital Twins (DTs) of cyber-physical systems (CPSs). It goes behind the glossy image of DTs to help researchers and advanced professionals to ask and answer the fundamental questions underpinning the development of a DT. What are the foundational concepts of the DT? How do different engineering disciplines interact in creating a DT? How should the physical and digital worlds be connected, and how do the imperfections and faults inherent in both worlds affect the DT's qualities? How can we use a DT to support decisions, and how do we maintain it through life? To this end, the book is structured in five parts: "Foundations" introduces the DT concept, the potential benefits of DTs seen from a business perspective, and foundations for DT engineering. "Models and Data" presents the range of models and data that form the core assets of DTs for CPSs. It covers ways in which models can be produced and calibrated, and considers how data is derived from a CPS and communicated to its DT. Next, "Services for Digital Twins" details some of the main services that a DT provides by building on the assets of models and data, including visualisation, fault detection and diagnosis and support for decision-making. "Realising Digital Twins" then covers the realisation of DTs, including a platform allowing engineers to construct DTs from reusable components. Case studies in food production, robotics and marine engineering are presented using a systematic framework that aligns with the DT engineering concepts introduced in the earlier parts of the book. Eventually, "Advanced Topics in Digital Twins" introduces advanced topics in delivering dependable DT-enabled systems, focusing on security and privacy, the capacity for autonomy, and a range of open research topics. This book aims at researchers in DT technology and design, including advanced (master and doctoral) students, as well as engineering practitioners aiming to develop DTs. The most common techniques described in the main text will be accessible via open-source projects, including further DT examples, exercises and solutions, as well as pointers to emerging standards, frameworks and platforms. Classroom materials, exercises and solutions are available to lecturers through a dedicated Web site.
Publisher: Springer Nature
ISBN: 3031667190
Category : Cooperating objects (Computer systems)
Languages : en
Pages : 403
Book Description
This book is about the engineering of Digital Twins (DTs) of cyber-physical systems (CPSs). It goes behind the glossy image of DTs to help researchers and advanced professionals to ask and answer the fundamental questions underpinning the development of a DT. What are the foundational concepts of the DT? How do different engineering disciplines interact in creating a DT? How should the physical and digital worlds be connected, and how do the imperfections and faults inherent in both worlds affect the DT's qualities? How can we use a DT to support decisions, and how do we maintain it through life? To this end, the book is structured in five parts: "Foundations" introduces the DT concept, the potential benefits of DTs seen from a business perspective, and foundations for DT engineering. "Models and Data" presents the range of models and data that form the core assets of DTs for CPSs. It covers ways in which models can be produced and calibrated, and considers how data is derived from a CPS and communicated to its DT. Next, "Services for Digital Twins" details some of the main services that a DT provides by building on the assets of models and data, including visualisation, fault detection and diagnosis and support for decision-making. "Realising Digital Twins" then covers the realisation of DTs, including a platform allowing engineers to construct DTs from reusable components. Case studies in food production, robotics and marine engineering are presented using a systematic framework that aligns with the DT engineering concepts introduced in the earlier parts of the book. Eventually, "Advanced Topics in Digital Twins" introduces advanced topics in delivering dependable DT-enabled systems, focusing on security and privacy, the capacity for autonomy, and a range of open research topics. This book aims at researchers in DT technology and design, including advanced (master and doctoral) students, as well as engineering practitioners aiming to develop DTs. The most common techniques described in the main text will be accessible via open-source projects, including further DT examples, exercises and solutions, as well as pointers to emerging standards, frameworks and platforms. Classroom materials, exercises and solutions are available to lecturers through a dedicated Web site.
Mechatronics and Automation Technology
Author: J.-Y. Xu
Publisher: IOS Press
ISBN: 1643684833
Category : Technology & Engineering
Languages : en
Pages : 696
Book Description
Mechatronics and automation technology has led to technological change and innovation in all engineering fields, affecting various disciplines, including machine technology, electronics, and computing. It plays a vital role in improving production efficiency, reducing energy consumption and improving product quality and safety, and will be central to the further advancement of technology and industry, bringing convenience and innovation to even more areas. This book presents the proceedings of ICMAT 2023, the 2nd International Conference on Mechatronics and Automation Technology, held as a virtual event on 27 October 2023. The aim of the conference was to provide a platform for scientists, scholars, engineers and researchers from universities and scientific institutes around the world to share the latest research achievements in mechatronics and automation technology, explore key challenges and research directions, and promote the development and application of theory and technology in this field. A total of 121 submissions were received for the conference, of which 77 were ultimately accepted after a rigorous peer-review process. The papers cover a wide range of topics falling within the scope of mechatronics and automation technology, including smart manufacturing; digital manufacturing; additive manufacturing; robotics; sensors; control; electronic and electrical engineering; intelligent systems; and automation technology, as well as other related fields. Providing an overview of recent developments in mechatronics and automation technology, the book will be of interest to all those working in the field.
Publisher: IOS Press
ISBN: 1643684833
Category : Technology & Engineering
Languages : en
Pages : 696
Book Description
Mechatronics and automation technology has led to technological change and innovation in all engineering fields, affecting various disciplines, including machine technology, electronics, and computing. It plays a vital role in improving production efficiency, reducing energy consumption and improving product quality and safety, and will be central to the further advancement of technology and industry, bringing convenience and innovation to even more areas. This book presents the proceedings of ICMAT 2023, the 2nd International Conference on Mechatronics and Automation Technology, held as a virtual event on 27 October 2023. The aim of the conference was to provide a platform for scientists, scholars, engineers and researchers from universities and scientific institutes around the world to share the latest research achievements in mechatronics and automation technology, explore key challenges and research directions, and promote the development and application of theory and technology in this field. A total of 121 submissions were received for the conference, of which 77 were ultimately accepted after a rigorous peer-review process. The papers cover a wide range of topics falling within the scope of mechatronics and automation technology, including smart manufacturing; digital manufacturing; additive manufacturing; robotics; sensors; control; electronic and electrical engineering; intelligent systems; and automation technology, as well as other related fields. Providing an overview of recent developments in mechatronics and automation technology, the book will be of interest to all those working in the field.
Advances and Trends in Artificial Intelligence. Theory and Applications
Author: Hamido Fujita
Publisher: Springer Nature
ISBN: 9819746779
Category :
Languages : en
Pages : 525
Book Description
Publisher: Springer Nature
ISBN: 9819746779
Category :
Languages : en
Pages : 525
Book Description
Application and Theory of Petri Nets and Concurrency
Author: Luis Gomes
Publisher: Springer Nature
ISBN: 3031336208
Category : Technology & Engineering
Languages : en
Pages : 470
Book Description
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.
Publisher: Springer Nature
ISBN: 3031336208
Category : Technology & Engineering
Languages : en
Pages : 470
Book Description
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.
Producing Artificial Intelligent Systems
Author: Maria Isabel Aldinhas Ferreira
Publisher: Springer Nature
ISBN: 3031558170
Category :
Languages : en
Pages : 173
Book Description
Publisher: Springer Nature
ISBN: 3031558170
Category :
Languages : en
Pages : 173
Book Description