دانلود کتاب Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
کتاب سیستم های فیزیکی سایبری طراحی، مدل سازی و ارزیابی: پنجمین کارگاه بین المللی، CyPhy 2015، آمستردام، هلند، 8 اکتبر 2015، مجموعه مقالات نسخه زبان اصلی
دانلود کتاب سیستم های فیزیکی سایبری طراحی، مدل سازی و ارزیابی: پنجمین کارگاه بین المللی، CyPhy 2015، آمستردام، هلند، 8 اکتبر 2015، مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
توضیحاتی در مورد کتاب Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
نام کتاب : Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International Workshop, CyPhy 2015, Amsterdam, The Netherlands, October 8, 2015, Proceedings
ویرایش : 1
عنوان ترجمه شده به فارسی : سیستم های فیزیکی سایبری طراحی، مدل سازی و ارزیابی: پنجمین کارگاه بین المللی، CyPhy 2015، آمستردام، هلند، 8 اکتبر 2015، مجموعه مقالات
سری : Lecture Notes in Computer Science 9361
نویسندگان : Mohammad Reza Mousavi, Christian Berger (eds.)
ناشر : Springer International Publishing
سال نشر : 2015
تعداد صفحات : 155
ISBN (شابک) : 9783319251400 , 9783319251417
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 5 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات پنجمین کارگاه بین‌المللی طراحی، مدل‌سازی و ارزیابی سیستم‌های فیزیکی سایبری، CyPhy 2015 است که به عنوان بخشی از ESWeek 2015، در آمستردام، هلند، در اکتبر 2015 برگزار شد. p>
10 مقاله ارائه شده در این جلد به دقت بررسی و از بین 13 مقاله ارسالی انتخاب شدند. آنها به طور گسترده، از مجموعه‌ای از رشته‌ها، مدل‌سازی، شبیه‌سازی و ارزیابی سیستم‌های فیزیکی-سایبری را تفسیر می‌کنند.
فهرست مطالب :
Front Matter....Pages I-VII
Resource-Aware Control and Dynamic Scheduling in CPS....Pages 1-7
Current Challenges in the Verification of Hybrid Systems....Pages 8-24
Constructive Modelling of Parallelized Environmental Models for Structured Testing of Automated Driving Systems....Pages 25-39
Core Research and Innovation Areas in Cyber-Physical Systems of Systems....Pages 40-55
A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel Train Control Systems....Pages 56-66
A Modelling Framework for Cyber-Physical System Resilience....Pages 67-82
Recharging Probably Keeps Batteries Alive....Pages 83-98
Fault Localization of Energy Consumption Behavior Using Maximum Satisfiability....Pages 99-115
Hybrid Secure Data Aggregation in Wireless Sensor Networks....Pages 116-131
Formally Analyzing Continuous Aspects of Cyber-Physical Systems Modeled by Homogeneous Linear Differential Equations....Pages 132-146
Back Matter....Pages 147-147
توضیحاتی در مورد کتاب به زبان اصلی :
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.
The 10 papers presented in this volume were carefully reviewed and selected from 13 submissions. They broadly interpret, from a diverse set of disciplines, the modeling, simulation, and evaluation of cyber-physical systems.
پست ها تصادفی