Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems, Carreira Paulo, Amaral Vasco, Vangheluwe Hans
Автор: Carreira Paulo, Amaral Vasco, Vangheluwe Hans Название: Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems ISBN: 3030439488 ISBN-13(EAN): 9783030439484 Издательство: Springer Рейтинг: Цена: 5589.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS).
Автор: Alla G. Kravets; Alexander A. Bolshakov; Maxim V. Название: Cyber-Physical Systems: Advances in Design & Modelling ISBN: 3030325784 ISBN-13(EAN): 9783030325787 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions.
Автор: Roger Chamberlain; Walid Taha; Martin T?rngren Название: Cyber Physical Systems. Model-Based Design ISBN: 3030237028 ISBN-13(EAN): 9783030237028 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book constitutes the proceedings of the 8th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2018 and 14th International Workshop on Embedded and Cyber-Physical Systems Education, WESE 2018, held in conjunction with ESWeek 2018, in Torino, Italy, in October 2018.
The 13 full papers presented together with 1 short paper in this volume were carefully reviewed and selected from 18 submissions.
The conference presents a wide range of domains including Modeling, simulation, verification, design, cyber-physical systems, embedded systems, real-time systems, safety, and reliability.
Автор: Roger Chamberlain; Walid Taha; Martin T?rngren Название: Cyber Physical Systems. Design, Modeling, and Evaluation ISBN: 3030179095 ISBN-13(EAN): 9783030179090 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 7th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2017, held in conjunction with ESWeek 2017, in Seoul, South Korea, in October 2017.The 10 papers presented together with 1 extended and 1 invited abstracts in this volume were carefully reviewed and selected from 16 submissions.
The conference presents a wide range of domains including robotics; smart homes, vehicles, and buildings; medical implants; and future-generation sensor networks.
Автор: Ezio Bartocci; Rance Cleaveland; Radu Grosu; Oleg Название: From Reactive Systems to Cyber-Physical Systems ISBN: 3030315134 ISBN-13(EAN): 9783030315139 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The contributions cover a wide spectrum of the topics related to Scott`s research scientific interests, including model repair for probabilistic systems, runtime verification, model checking, cardiac dynamics simulation and machine learning.
Автор: Stefan Biffl; Matthias Eckhart; Arndt L?der; Edgar Название: Security and Quality in Cyber-Physical Systems Engineering ISBN: 3030253112 ISBN-13(EAN): 9783030253110 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book examines the requirements, risks, and solutions to improve the security and quality of complex cyber-physical systems (C-CPS), such as production systems, power plants, and airplanes, in order to ascertain whether it is possible to protect engineering organizations against cyber threats and to ensure engineering project quality.
The book consists of three parts that logically build upon each other. Part I 'Product Engineering of Complex Cyber-Physical Systems' discusses the structure and behavior of engineering organizations producing complex cyber-physical systems, providing insights into processes and engineering activities, and highlighting the requirements and border conditions for secure and high-quality engineering. Part II 'Engineering Quality Improvement' addresses quality improvements with a focus on engineering data generation, exchange, aggregation, and use within an engineering organization, and the need for proper data modeling and engineering-result validation. Lastly, Part III 'Engineering Security Improvement' considers security aspects concerning C-CPS engineering, including engineering organizations’ security assessments and engineering data management, security concepts and technologies that may be leveraged to mitigate the manipulation of engineering data, as well as design and run-time aspects of secure complex cyber-physical systems.
The book is intended for several target groups: it enables computer scientists to identify research issues related to the development of new methods, architectures, and technologies for improving quality and security in multi-disciplinary engineering, pushing forward the current state of the art. It also allows researchers involved in the engineering of C-CPS to gain a better understanding of the challenges and requirements of multi-disciplinary engineering that will guide them in their future research and development activities. Lastly, it offers practicing engineers and managers with engineering backgrounds insights into the benefits and limitations of applicable methods, architectures, and technologies for selected use cases.
Автор: Song Guo; Deze Zeng Название: Cyber-Physical Systems: Architecture, Security and Application ISBN: 3030064611 ISBN-13(EAN): 9783030064617 Издательство: Springer Рейтинг: Цена: 19564.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides an overview of recent innovations and achievements in the broad areas of cyber-physical systems (CPS), including architecture, networking, systems, applications, security, and privacy. The book discusses various new CPS technologies from diverse aspects to enable higher level of innovation towards intelligent life. The book provides insight to the future integration, coordination and interaction between the physical world, the information world, and human beings. The book features contributions from renowned researchers and engineers, who discuss key issues from various perspectives, presenting opinions and recent CPS-related achievements.Investigates how to advance the development of cyber-physical systems Provides a joint consideration of other newly emerged technologies and concepts in relation to CPS like cloud computing, big data, fog computing, and crowd sourcingIncludes topics related to CPS such as architecture, system, networking, application, algorithm, security and privacy
Автор: Nazila Gol Mohammadi Название: Trustworthy Cyber-Physical Systems ISBN: 3658274875 ISBN-13(EAN): 9783658274870 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Trustworthiness is a key success factor in the acceptance and adoption of cyber-physical systems. The author first discusses various existing definitions of trust and trustworthiness and extends them to cyber-physical systems. A comprehensive framework is proposed, including methods that cover all phases of development: requirements engineering, system design, trustworthiness evaluation, run-time maintenance, and evidence-based assurance. To support a smooth integration of the methods into development projects, these methods are provided in the form of so-called capability patterns. A running example from the ambient assisted living domain is used to demonstrate the application of the methods.About the Author:Nazila Gol Mohammadi is currently working as an associate researcher at paluno – The Ruhr Institute for Software Technology in Essen, Germany. Her research interests include software engineering, requirements engineering, digitalization, cloud computing, cyber-physical systems, and trustworthiness of software systems.
Автор: Mohammad Abdullah Al Faruque; Arquimedes Canedo Название: Design Automation of Cyber-Physical Systems ISBN: 3030130495 ISBN-13(EAN): 9783030130497 Издательство: Springer Рейтинг: Цена: 16769.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the state-of-the-art and breakthrough innovations in design automation for cyber-physical systems.The authors discuss various aspects of cyber-physical systems design, including modeling, co-design, optimization, tools, formal methods, validation, verification, and case studies. Coverage includes a survey of the various existing cyber-physical systems functional design methodologies and related tools will provide the reader unique insights into the conceptual design of cyber-physical systems.
Автор: Dmitry G. Arseniev; Ludger Overmeyer; Heikki K?lvi Название: Cyber-Physical Systems and Control ISBN: 3030349829 ISBN-13(EAN): 9783030349820 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents the proceedings of the International Conference on Cyber-Physical Systems and Control (CPS&C`2019), held in Peter the Great St. Petersburg Polytechnic University, which is celebrating its 120th anniversary in 2019.
Автор: Yijia Cao; Yong Li; Xuan Liu; Christian Rehtanz Название: Cyber-Physical Energy and Power Systems ISBN: 9811500614 ISBN-13(EAN): 9789811500619 Издательство: Springer Рейтинг: Цена: 18167.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses recent advances in cyber-physical power systems (CPPS) in the modeling, analysis and applications of smart grid. It introduces a series of models, such as an analysis of interaction between the power grid and the communication network, differential protection in smart distribution systems, data flow for VLAN-based communication in substations, a co-simulation model for investigating the impacts of cyber-contingency and distributed control systems as well as the analytical techniques used in different parts of cyber physical energy systems. It also discusses methods of cyber-attack on power systems, particularly false data injection. The results presented are a comprehensive summary of the authors’ original research conducted over a period of 5 years. The book is of interest to university researchers, R&D engineers and graduate students in power and energy systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
