This book presents new findings on cyber-physical systems design and modelling approaches based on AI and data-driven techniques, identifying the key industrial challenges and the main features of design and modelling processes. To enhance the efficiency of the design process, it proposes new approaches based on the concept of digital twins. Further, it substantiates the scientific, practical, and methodological approaches to modelling and simulating of cyber-physical systems. Exploring digital twins of cyber-physical systems as well as of production systems, it proposes combining both mathematical models and data processing techniques as advanced methods for cyber-physical system design and modelling. Moreover, it presents the implementation of the developed prototypes, including testing in real industries, which have collected and analyzed big data and proved their effectiveness. The book is intended for practitioners, enterprise representatives, scientists, and Ph.D. and master’s students interested in the research and applications of cyber-physical systems in different domains.

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany. The topic of the summer school was devoted to modeling and verification of cyber-physical systems. This covers several aspects of the field, including hybrid systems and model checking, as well as applications in robotics and aerospace systems. The main chapters have been written by leading scientists, who present their field of research, each providing references to introductory material as well as latest scientific advances and future research directions. This is complemented by short papers submitted by the participating PhD students.

Cyber-physical systems (CPS) can be defined as systems in which physical objects are represented in the digital world and integrated with computation, storage, and communication capabilities and are connected to each other in a network. The goal in the use of the CPS is integrating the dynamics of the physical processes with those of the software and networking, providing abstractions and modelling, design, and analysis techniques for the integrated whole. The notion of CPS is linked to concepts of robotics and sensor networks with intelligent systems proper of computational intelligence leading the pathway. Recent advances in science and engineering improve the link between computational and physical elements by means of intelligent systems, increasing the adaptability, autonomy, efficiency, functionality, reliability, safety, and usability of cyber-physical systems. The potential of cyber-physical systems will spread to several directions, including but not limited to intervention, precision manufacturing, operations in dangerous or inaccessible environments, coordination, efficiency, Maintenance 4.0, and augmentation of human capabilities. Design, Applications, and Maintenance of Cyber-Physical Systems gives insights about CPS as tools for integrating the dynamics of the physical processes with those of software and networking, providing abstractions and modelling, design, and analysis techniques for their smart manufacturing interoperation. The book will have an impact upon the research on robotics, mechatronics, integrated intelligent multibody systems, Industry 4.0, production systems management and maintenance, decision support systems, and Maintenance 4.0. The chapters discuss not only the technologies involved in CPS but also insights into how they are used in various industries. This book is ideal for engineers, practitioners, researchers, academicians, and students who are interested in a deeper understanding of cyber-physical systems (CPS), their design, application, and maintenance, with a special focus on modern technologies in Industry 4.0 and Maintenance 4.0.

Offers a one-stop reference on the application of advanced modeling and simulation (M&S) in cyber physical systems (CPS) engineering This book provides the state-of-the-art in methods and technologies that aim to elaborate on the modeling and simulation support to cyber physical systems (CPS) engineering across many sectors such as healthcare, smart grid, or smart home. It presents a compilation of simulation-based methods, technologies, and approaches that encourage the reader to incorporate simulation technologies in their CPS engineering endeavors, supporting management of complexity challenges in such endeavors. Complexity Challenges in Cyber Physical Systems: Using Modeling and Simulation (M&S) to Support Intelligence, Adaptation and Autonomy is laid out in four sections. The first section provides an overview of complexities associated with the application of M&S to CPS Engineering. It discusses M&S in the context of autonomous systems involvement within the North Atlantic Treaty Organization (NATO). The second section provides a more detailed description of the challenges in applying modeling to the operation, risk and design of holistic CPS. The third section delves in details of simulation support to CPS engineering followed by the engineering practices to incorporate the cyber element to build resilient CPS sociotechnical systems. Finally, the fourth section presents a research agenda for handling complexity in application of M&S for CPS engineering. In addition, this text: Introduces a unifying framework for hierarchical co-simulations of cyber physical systems (CPS) Provides understanding of the cycle of macro-level behavior dynamically arising from spaciotemporal interactions between parts at the micro-level Describes a simulation platform for characterizing resilience of CPS Complexity Challenges in Cyber Physical Systems has been written for researchers, practitioners, lecturers, and graduate students in computer engineering who want to learn all about M&S support to addressing complexity in CPS and its applications in today’s and tomorrow’s world.

Model-based tools and methods are playing important roles in the design and analysis of cyber-physical systems before building and testing physical prototypes. The development of increasingly complex CPSs requires the use of multiple tools for different phases of the development lifecycle, which in turn depends on the ability of the supporting tools to interoperate. However, currently no vendor provides comprehensive end-to-end systems engineering tool support across the entire product lifecycle, and no mature solution currently exists for integrating different system modeling and simulation languages, tools and algorithms in the CPSs design process. Thus, modeling and simulation tools are still used separately in industry. The unique challenges in integration of CPSs are a result of the increasing heterogeneity of components and their interactions, increasing size of systems, and essential design requirements from various stakeholders. The corresponding system development involves several specialists in different domains, often using different modeling languages and tools. In order to address the challenges of CPSs and facilitate design of system architecture and design integration of different models, significant progress needs to be made towards model-based integration of multiple design tools, languages, and algorithms into a single integrated modeling and simulation environment. In this thesis we present the need for methods and tools with the aim of developing techniques for numerically stable co-simulation, advanced simulation model analysis, simulation-based optimization, and traceability capability, and making them more accessible to the model-based cyber physical product development process, leading to more efficient simulation. In particular, the contributions of this thesis are as follows: 1) development of a model-based dynamic optimization approach by integrating optimization into the model development process; 2) development of a graphical co-modeling editor and co-simulation framework for modeling, connecting, and unified system simulation of several different modeling tools using the TLM technique; 3) development of a tool-supported method for multidisciplinary collaborative modeling and traceability support throughout the development process for CPSs; 4) development of an advanced simulation modeling analysis tool for more efficient simulation.

This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016. The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.

Multi-Paradigm Modelling for Cyber-Physical Systems explores modeling and analysis as crucial activities in the development of Cyber-Physical Systems, which are inherently cross-disciplinary in nature and require distinct modeling techniques related to different disciplines, as well as a common background knowledge. This book will serve as a reference for anyone starting in the field of CPS who needs a solid foundation of modeling, including a comprehensive introduction to existing techniques and a clear explanation of their advantages and limitations. This book is aimed at both researchers and practitioners who are interested in various modeling paradigms across computer science and engineering. Identifies key problems and offers solution approaches as well as tools which have been developed or are necessary for modeling paradigms across cyber physical systems Explores basic theory and current research topics, related challenges, and research directions for multi-paradigm modeling Provides a complete, conceptual overview and framework of the research done by the MPM4CPS working groups and the different types of modeling paradigms developed