Gorm larsen peter (24 Ergebnisse)

Hardcover/Pappeinband. Zustand: Sehr gut. 416 p. Very good. Shrink wrapped. / Sehr guter Zustand. In Folie verschweißt. Sprache: Englisch Gewicht in Gramm: 818.

Hardcover. Zustand: Very Good. Unread. In stock ready to dispatch from the UK.

Zustand: Very Good.

XIX, 385p. Hardcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Stamped. Sprache: Englisch.

Paperback. Zustand: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Hardcover. Zustand: Brand New. 2nd edition. 288 pages. 9.75x7.00x0.75 inches. In Stock.

hardcover. Zustand: New. Same / next day dispatch (Monday - Friday).

Zustand: Used. pp. 280 25 Figures.

Zustand: New. In English.

Zustand: New. In English.

Hardcover. Zustand: Brand New. 350 pages. 9.00x6.25x1.00 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - One of the most significant challenges in the development of embedded and cyber-physical systems is the gap between the disciplines of software and control engineering. In a marketplace, where rapid innovation is essential, engineers from both disciplines need to be able to explore system designs collaboratively, allocating responsibilities to software and physical elements, and analyzing trade-offs between them.To this end, this book presents a framework that allows the very different kinds of design models - discrete-event (DE) models of software and continuous time (CT) models of the physical environment - to be analyzed and simulated jointly, based on common scenarios. The individual chapters provide introductions to both sides of this co-simulation technology, and give a step-by-step guide to the methodology for designing and analyzing co-models. They are grouped into three parts: Part I introduces the technical basis for collaborative modeling and simulation with the Crescendo technology. Part II continues with different methodological guidelines for creating co-models and analyzing them in different ways using case studies. Part III then delves into more advanced topics and looks into the potential future of this technology in the area of cyber-physical systems. Finally various appendices provide summaries of the VDM and 20-sim technologies, a number of valuable design patterns applicable for co-models, and an acronym list along with indices and references to other literature. By combining descriptions of the underlying theory with records of real engineers' experience in using the framework on a series of case studies the book appeals to scientists and practitioners alike. It is complemented by tools, examples, videos, and other material on crescendotool.org.Scientists/researchers and graduate students working in embedded and cyber-physical systems will learn the semantic foundations for collaborative modeling and simulation,as well as the current capabilities and limitations of methods and tools in this field. Practitioners will be able to develop an appreciation of the capabilities of the co-modeling techniques, to assess the benefits of more collaborative approaches to modeling and simulation, and will benefit from the included guidelines and modeling patterns.…

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - One of the most significant challenges in the development of embedded and cyber-physical systems is the gap between the disciplines of software and control engineering. In a marketplace, where rapid innovation is essential, engineers from both disciplines need to be able to explore system designs collaboratively, allocating responsibilities to software and physical elements, and analyzing trade-offs between them.To this end, this book presents a framework that allows the very different kinds of design models - discrete-event (DE) models of software and continuous time (CT) models of the physical environment - to be analyzed and simulated jointly, based on common scenarios. The individual chapters provide introductions to both sides of this co-simulation technology, and give a step-by-step guide to the methodology for designing and analyzing co-models. They are grouped into three parts: Part I introduces the technical basis for collaborative modeling and simulation with the Crescendo technology. Part II continues with different methodological guidelines for creating co-models and analyzing them in different ways using case studies. Part III then delves into more advanced topics and looks into the potential future of this technology in the area of cyber-physical systems. Finally various appendices provide summaries of the VDM and 20-sim technologies, a number of valuable design patterns applicable for co-models, and an acronym list along with indices and references to other literature. By combining descriptions of the underlying theory with records of real engineers' experience in using the framework on a series of case studies the book appeals to scientists and practitioners alike. It is complemented by tools, examples, videos, and other material on crescendotool.org.Scientists/researchers and graduate students working in embedded and cyber-physical systems will learn the semantic foundations for collaborative modeling and simulation,as well as the current capabilities and limitations of methods and tools in this field. Practitioners will be able to develop an appreciation of the capabilities of the co-modeling techniques, to assess the benefits of more collaborative approaches to modeling and simulation, and will benefit from the included guidelines and modeling patterns. …

Zustand: New. In English.

Zustand: New. In English.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 31st International Conference on Formal Methods for Industrial Critical Systems, FMICS 2026, held in Liverpool, UK, during September 3 4, 2026.The 8 full papers included in this book together with two invited papers were carefully reviewed and selected from 34 submissions. The papers deal with developments and applications of formal methods in Industrial Critical Systems.…

Paperback. Zustand: Brand New. reprint edition. 408 pages. 9.25x6.10x0.92 inches. In Stock.

Taschenbuch. Zustand: Neu. Collaborative Design for Embedded Systems | Co-modelling and Co-simulation | John Fitzgerald (u. a.) | Taschenbuch | xxi | Englisch | 2016 | Springer | EAN 9783662524442 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 408 | Sprache: Englisch | Produktart: Bücher | This book presents a framework that allows the very different kinds of design models - discrete-event models of software and continuous time models of the physical environment - to be analyzed and simulated jointly, based on common scenarios.…

Zustand: New. In English.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Hardcover. Zustand: Brand New. 411 pages. 9.25x6.10x9.21 inches. In Stock.