Model-Implementation Fidelity in Cyber Physical System Design, Molnos Anca, Fabre Christian

Автор: Anca Molnos; Christian Fabre
Название: Model-Implementation Fidelity in Cyber Physical System Design
ISBN: 3319473069 ISBN-13(EAN): 9783319473062
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book puts in focus various techniques for checking modeling fidelity of Cyber Physical Systems (CPS), with respect to the physical world they represent. The authors' present modeling and analysis techniques representing different communities, from very different angles, discuss their possible interactions, and discuss the commonalities and differences between their practices. Coverage includes model driven development, resource-driven development, statistical analysis, proofs of simulator implementation, compiler construction, power/temperature modeling of digital devices, high-level performance analysis, and code/device certification. Several industrial contexts are covered, including modeling of computing and communication, proof architectures models and statistical based validation techniques.

Автор: Yi, Qiu Puxiang, Xiong Zhu, Tianlong
Название: The Design and implementation of the rt-thread operating system
ISBN: 0367554860 ISBN-13(EAN): 9780367554866
Издательство: Taylor&Francis
Рейтинг:
Цена: 12095.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers embedded real-time multi-threaded operating system called RT-Thread. RT-Thread supports multiple chip architectures, compilers and IDEs, and is free to use. The book has two parts: the kernel and device components. Each chapter features code samples

Автор: Liuping Wang
Название: Model Predictive Control System Design and Implementation Using MATLAB®
ISBN: 1849968365 ISBN-13(EAN): 9781849968362
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book proposes methods for the design and implementation of MPC systems using basis functions that confer a number of advantages. As well as presenting the theory, the author covers industrial applications and explains the subject of quadratic programming.

Автор: Mendel Rosenblum
Название: The Design and Implementation of a Log-structured file system
ISBN: 1461359333 ISBN-13(EAN): 9781461359333
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Unsalan Cem, Tar Bora
Название: Digital System Design with FPGA: Implementation Using Verilog and VHDL
ISBN: 1259837904 ISBN-13(EAN): 9781259837906
Издательство: McGraw-Hill
Рейтинг:
Цена: 12868.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Master the art of FPGA digital system design with Verilog and VHDL

Автор: Marwedel Peter
Название: Embedded System Design: Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things
ISBN: 303060909X ISBN-13(EAN): 9783030609092
Издательство: Springer
Рейтинг:
Цена: 5589.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in embedded systems, with applications in cyber-physical systems and the Internet of things.

Автор: Shin Nakajima; Jean-Pierre Talpin; Masumi Toyoshim
Название: Cyber-Physical System Design from an Architecture Analysis Viewpoint
ISBN: 981104435X ISBN-13(EAN): 9789811044359
Издательство: Springer
Рейтинг:
Цена: 15372.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Providing a wide variety of technologies for ensuring the safety and dependability of cyber-physical systems (CPS), this book offers a comprehensive introduction to the architecture-centric modeling, analysis, and verification of CPS.

Автор: Taraate Vaibbhav
Название: Pld Based Design with VHDL: Rtl Design, Synthesis and Implementation
ISBN: 9811098360 ISBN-13(EAN): 9789811098369
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book covers basic fundamentals of logic design and advanced RTL design concepts using VHDL. The book is organized to describe both simple and complex RTL design scenarios using VHDL. The design guidelines by using VHDL are also explained with the practical examples in this book.

Автор: Kumar
Название: Design and Implementation of Practical Schedulers for M2M Uplink Networks
ISBN: 3319780808 ISBN-13(EAN): 9783319780801
Издательство: Springer
Рейтинг:
Цена: 13974.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents the design of delay-efficient packet schedulers for heterogeneous M2M uplink traffic classified into several classes, based on packet delay requirements, payload size, arrival process, etc.