Secure Cyber-Physical Systems for Smart Cities, Shaikh Riaz Ahmed
Автор: Riaz Ahmed Shaikh Название: Secure Cyber-Physical Systems for Smart Cities ISBN: 1522571892 ISBN-13(EAN): 9781522571896 Издательство: Mare Nostrum (Eurospan) Рейтинг: Цена: 32987.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Interest in developing smart cities has grown exponentially over the years with many governments across the world hoping to initiate these projects in their own countries. One of the key challenges for the success of any smart city project is the assurance of smart security and privacy of the citizens. Due to the use of a wide range of interconnected cyber-physical systems, traditional security solutions cannot be applied to smart city applications, and new practices must be sought. Secure Cyber-Physical Systems for Smart Cities is an essential reference publication that examines information security and privacy in smart city settings including discussions on new security frameworks, solutions, cybersecurity laws and regulations, and risk management frameworks for smart city environments. Covering a wide range of topics including wireless networks, security, and cyber-physical systems, this book is ideally designed for IT specialists and consultants, engineers, government officials, policymakers, researchers, academicians, and industry professionals.
Описание: This thesis describes the research done regarding communication reliability when using the Internet to realize the communications for cyber-physical systems (CPSs).
Автор: Roger Chamberlain; Walid Taha; Martin T?rngren Название: Cyber Physical Systems. Model-Based Design ISBN: 3030237028 ISBN-13(EAN): 9783030237028 Издательство: Springer Рейтинг: Цена: 6097.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.
Автор: Ezio Bartocci; Rance Cleaveland; Radu Grosu; Oleg Название: From Reactive Systems to Cyber-Physical Systems ISBN: 3030315134 ISBN-13(EAN): 9783030315139 Издательство: Springer Рейтинг: Цена: 10976.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.
Автор: Roger Chamberlain; Walid Taha; Martin T?rngren Название: Cyber Physical Systems. Design, Modeling, and Evaluation ISBN: 3030179095 ISBN-13(EAN): 9783030179090 Издательство: Springer Рейтинг: Цена: 6097.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.
Автор: Feng Xia; Azizur Rahim Название: MAC Protocols for Cyber-Physical Systems ISBN: 3662463601 ISBN-13(EAN): 9783662463604 Издательство: Springer Рейтинг: Цена: 6097.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a literature review of various wireless MAC protocols and techniques for achieving real-time and reliable communications in the context of cyber-physical systems (CPS).
Автор: Rolf Drechsler; Ulrich K?hne Название: Formal Modeling and Verification of Cyber-Physical Systems ISBN: 3658099933 ISBN-13(EAN): 9783658099930 Издательство: Springer Рейтинг: Цена: 10366.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: 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.
Описание: Models and Design.- Simulation and Tools.- Formal Methods.- Embedded and Cyber-Physical Systems Education.
Автор: Bali Vikram, Bhatnagar Vishal, Aggarwal Deepti Название: Cyber-Physical, Iot, and Autonomous Systems in Industry 4.0 ISBN: 036770515X ISBN-13(EAN): 9780367705152 Издательство: Taylor&Francis Рейтинг: Цена: 26796.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book addresses topics related to Internet of Things (IoT), Machine Learning, Cyber-Physical Systems, Cloud Computing and Autonomous Vehicles for Industry 4.0. It investigates challenges across multiple sectors, industries and considers Industry 4.0 for operations research and supply chain management.
Автор: Abbaszadeh Название: Security and Resilience in Cyber-Physical Systems ISBN: 3030971651 ISBN-13(EAN): 9783030971656 Издательство: Springer Рейтинг: Цена: 20733.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book discusses the latest advances in cyber-physical security and resilience of cyber-physical systems, including cyber-attack detection, isolation, situation awareness, resilient estimation and resilient control under attack. It presents both theoretical results and important applications of the methods. Security and Resilience in Cyber-Physical Systems begins by introducing the topic of cyber-physical security, covering state-of-the-art trends in both theory and applications, as well as some of the emerging methodologies and future directions for research. It then moves on to detail theoretical methods of attack detection, resilient estimation and control within cyber-physical systems, before discussing their various applications, such as power generation and distribution, autonomous systems, wireless communication networks and chemical plants. Focusing on the detection of and accommodation to cyber-attacks on cyber-physical systems, and including both estimation and artificial-intelligence-based methods, this book will be of interest to researchers, engineers and graduate students within the fields of cyber-physical security and resilient control.
Описание: This book includes extended and revised selected papers from the 8th International Conference on Smart Cities and Green ICT Systems, SMARTGREENS 2019, and the 5th International Conference on Vehicle Technology and Intelligent Transport Systems, VEHITS 2019, held in Heraklion, Crete, Greece, in May 2019.
Описание: All engineers and applied scientists will need to harness the power of machine learning to solve the highly complex and data intensive problems now emerging.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
