Search results: Found 5

Listing 1 - 5 of 5
Sort by
A Journey of Embedded and Cyber-Physical Systems

Author:
ISBN: 9783030474874 Year: Pages: 176 DOI: 10.1007/978-3-030-47487-4 Language: English
Publisher: Springer Nature
Subject: Agriculture (General)
Added to DOAB on : 2020-09-01 00:02:28
License:

Loading...
Export citation

Choose an application

Abstract

This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.

Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems

Authors: --- ---
ISBN: 9783030439460 Year: Pages: 285 DOI: 10.1007/978-3-030-43946-0 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Agriculture (General)
Added to DOAB on : 2020-05-14 09:30:09
License:

Loading...
Export citation

Choose an application

Abstract

This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.

Digital Transformation in Semiconductor Manufacturing

Authors: --- --- ---
Book Series: Lecture Notes in Electrical Engineering ISBN: 9783030486020 Year: Pages: 146 DOI: 10.1007/978-3-030-48602-0 Language: English
Publisher: Springer Nature
Subject: Agriculture (General)
Added to DOAB on : 2020-06-16 23:58:21
License:

Loading...
Export citation

Choose an application

Abstract

This open access book reports on cutting-edge electrical engineering and microelectronics solutions to foster and support digitalization in the semiconductor industry. Based on the outcomes of the European project iDev40, which were presented at the two first conference editions of the European Advances in Digital Transformation Conference (EADCT 2018 and EADTC 2019), the book covers different, multidisciplinary aspects related to digital transformation, including technological and industrial developments, as well as human factors research and applications. Topics include modeling and simulation methods in semiconductor operations, supply chain management issues, employee training methods and workplaces optimization, as well as smart software and hardware solutions for semiconductor manufacturing. By highlighting industrially relevant developments and discussing open issues related to digital transformation, the book offers a timely, practice-oriented guide to graduate students, researchers and professionals interested in the digital transformation of manufacturing domains and work environments.

European Guide to Power System Testing

Authors: --- ---
ISBN: 9783030422745 Year: Pages: 132 DOI: 10.1007/978-3-030-42274-5 Language: English
Publisher: Springer Nature
Subject: Agriculture (General)
Added to DOAB on : 2020-06-17 00:00:25
License:

Loading...
Export citation

Choose an application

Abstract

This book is an open access book. This book provides an overview of the ERIGrid validation methodology for validating CPES, a holistic power system testing method. It introduces readers to corresponding simulation and laboratory-based tools, including co-simulation, real-time simulation, and hardware-in-the-loop. Selected test cases and validation examples are provided, in order to support the theory discussed. The book begins with an introduction to current power system testing methods and an overview of the ERIGrid system-level validation approach. It then moves on to discuss various validation methods, concepts and tools, including simulation and laboratory-based assessment methods. The book presents test cases and validation examples of the proposed methodologies and summarises the lessons learned from the holistic validation approach. In the final section of the book, the educational aspects of these methods, the outlook for the future, and overall conclusions are discussed. Given its scope, the book will be of interest to researchers, engineers, and laboratory personnel in the fields of power systems and smart grids, as well as undergraduate and graduate students studying related engineering topics.

Cyber-Physical Systems: A Model-Based Approach

Authors: --- ---
ISBN: 9783030360719 Year: Pages: 187 DOI: 10.1007/978-3-030-36071-9 Language: English
Publisher: Springer Nature
Subject: Computer Science --- Agriculture (General)
Added to DOAB on : 2020-09-23 00:03:28
License:

Loading...
Export citation

Choose an application

Abstract

In this concise yet comprehensive Open Access textbook, future inventors are introduced to the key concepts of Cyber-Physical Systems (CPS). Using modeling as a way to develop deeper understanding of the computational and physical components of these systems, one can express new designs in a way that facilitates their simulation, visualization, and analysis. Concepts are introduced in a cross-disciplinary way. Leveraging hybrid (continuous/discrete) systems as a unifying framework and Acumen as a modeling environment, the book bridges the conceptual gap in modeling skills needed for physical systems on the one hand and computational systems on the other. In doing so, the book gives the reader the modeling and design skills they need to build smart, IT-enabled products. Starting with a look at various examples and characteristics of Cyber-Physical Systems, the book progresses to explain how the area brings together several previously distinct ones such as Embedded Systems, Control Theory, and Mechatronics. Featuring a simulation-based project that focuses on a robotics problem (how to design a robot that can play ping-pong) as a useful example of a CPS domain, Cyber-Physical Systems: A Model-Based Approach demonstrates the intimate coupling between cyber and physical components, and how designing robots reveals several non-trivial control problems, significant embedded and real-time computation requirements, and a need to consider issues of communication and preconceptions.

Listing 1 - 5 of 5
Sort by
Narrow your search

Publisher

Springer Nature (5)


License

CC by (5)


Language

english (5)


Year
From To Submit

2021 (2)

2020 (3)