Logical Foundations of Cyber-Physical Systems, Andr? Platzer

Автор: Stefan Biffl; Arndt L?der; Detlef Gerhard
Название: Multi-Disciplinary Engineering for Cyber-Physical Production Systems
ISBN: 3319563440 ISBN-13(EAN): 9783319563442
Издательство: Springer
Рейтинг:
Цена: 139750.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The authors consider methods, architectures, and technologies applicable in use cases according to the viewpoints of product engineering and production system engineering, and regarding the triangle of (1) product to be produced by a (2) production process executed on (3) a production system resource.

Название: Industrial cloud-based cyber-physical systems
ISBN: 3319056239 ISBN-13(EAN): 9783319056234
Издательство: Springer
Рейтинг:
Цена: 113190.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intro and Vision of IMC-AESOP.- State of the Art.- Envisioned Architecture.- Promising Technologies.- Infrastructure Migration.- Engineering Methods.- Application: Usecase1.- Application: Usecase2.- Application: Usecase3.- Application: Usecase4.- Conclusions and Future Challenges.

Автор: Antoni Ligeza
Название: Logical Foundations for Rule-Based Systems
ISBN: 3642067093 ISBN-13(EAN): 9783642067099
Издательство: Springer
Рейтинг:
Цена: 174130.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Thinking in terms of facts and rules is perhaps one of the most common ways of approaching problem de?nition and problem solving both in everyday life and under more formal circumstances.

Автор: J?rgen Beyerer; Oliver Niggemann; Christian K?hner
Название: Machine Learning for Cyber Physical Systems
ISBN: 3662538059 ISBN-13(EAN): 9783662538050
Издательство: Springer
Рейтинг:
Цена: 158380.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The work presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It contains some selected papers from the international Conference ML4CPS – Machine Learning for Cyber Physical Systems, which was held in Karlsruhe, September 29th, 2016. Cyber Physical Systems are characterized by their ability to adapt and to learn: They analyze their environment and, based on observations, they learn patterns, correlations and predictive models. Typical applications are condition monitoring, predictive maintenance, image processing and diagnosis. Machine Learning is the key technology for these developments.

Автор: Christian Berger; Mohammad Reza Mousavi; Rafael Wi
Название: Cyber Physical Systems. Design, Modeling, and Evaluation
ISBN: 3319517376 ISBN-13(EAN): 9783319517377
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 6th International Workshopon Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy2016, held in conjunction with ESWeek 2016, in Pittsburgh, PA, USA, inOctober 2016.
The 9 papers presented in this volume were carefully reviewed and selected from 14 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems with a particular focus on techniques and components to enable and support virtual prototyping and testing.

Автор: Javier Bajo; Zita Vale; Kasper Hallenborg; Ana Pau
Название: Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems
ISBN: 3319602845 ISBN-13(EAN): 9783319602844
Издательство: Springer
Рейтинг:
Цена: 74530.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the nine workshops co-located with the 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017, held in Porto, Portugal, in June 2017.The 41 full papers presented were carefully reviewed and selected from 80 submissions.

Автор: Fernando De la Prieta; Zita Vale; Luis Antunes; Ti
Название: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017
ISBN: 3319615777 ISBN-13(EAN): 9783319615776
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: PAAMS, the International Conference on Practical Applications of Agents and Multi-Agent Systems is an evolution of the International Workshop on Practical Applications of Agents and Multi-Agent Systems.

Автор: Yunchuan Sun; Houbing Song
Название: Secure and Trustworthy Transportation Cyber-Physical Systems
ISBN: 9811038910 ISBN-13(EAN): 9789811038914
Издательство: Springer
Рейтинг:
Цена: 51230.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book comprehensively reviews the cyber security and privacy issues in transportation cyber-physical systems (TCPSs). It then discusses in detail the principles and metrics of evaluating safety and privacy in TCPSs and elaborates the verification and analysis of secure, robust and trustworthy TCPSs.

Автор: Yves Demazeau; Paul Davidsson; Javier Bajo; Zita V
Название: Advances in Practical Applications of Cyber-Physical Multi-Agent Systems: The PAAMS Collection
ISBN: 3319599291 ISBN-13(EAN): 9783319599298
Издательство: Springer
Рейтинг:
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The 11 revised full papers, 11 short papers, and 17 Demo papers were carefully reviewed and selected from 63 submissions.

Автор: Mohammad Reza Mousavi; Christian Berger
Название: Cyber Physical Systems. Design, Modeling, and Evaluation
ISBN: 3319251406 ISBN-13(EAN): 9783319251400
Издательство: Springer
Рейтинг:
Цена: 37270.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 5th International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, CyPhy 2015, held as part of ESWeek 2015, in Amsterdam, The Netherlands, in October 2015.

Автор: Zeashan H Khan; A. B. M. Shawkat Ali; Zahid Riaz
Название: Computational Intelligence for Decision Support in Cyber-Physical Systems
ISBN: 9811013357 ISBN-13(EAN): 9789811013355
Издательство: Springer
Рейтинг:
Цена: 121890.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book applies computational intelligence and soft computing techniques to Cyber Physical Systems, where physical and communication segments of networked entities interact. Discusses how to ensure dependability, safety, security and efficiency in real time.

Автор: Armando W. Colombo; Thomas Bangemann; Stamatis Kar
Название: Industrial Cloud-Based Cyber-Physical Systems
ISBN: 3319382659 ISBN-13(EAN): 9783319382654
Издательство: Springer
Рейтинг:
Цена: 87060.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Intro and Vision of IMC-AESOP.- State of the Art.- Envisioned Architecture.- Promising Technologies.- Infrastructure Migration.- Engineering Methods.- Application: Usecase1.- Application: Usecase2.- Application: Usecase3.- Application: Usecase4.- Conclusions and Future Challenges.