دانلود کتاب Design Automation of Cyber-Physical Systems – اتوماسیون طراحی سیستم های فیزیکی-سایبری

توضیحات

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.

————————————————————–

ترجمه ماشینی :

این کتاب جدیدترین و نوآوری‌های پیشرفت در اتوماسیون طراحی برای سیستم‌های فیزیکی سایبری را ارائه می‌کند. نویسندگان جنبه‌های مختلف طراحی سیستم‌های فیزیکی سایبری، از جمله مدل‌سازی، طراحی مشترک، بهینه‌سازی، ابزارها، روش‌های رسمی، اعتبارسنجی، تأیید، و مطالعات موردی. پوشش شامل بررسی روش‌های مختلف طراحی عملکردی سیستم‌های فیزیکی سایبری موجود و ابزارهای مرتبط است که بینش منحصر به فردی را در مورد طراحی مفهومی سیستم‌های فیزیکی سایبری در اختیار خواننده قرار می‌دهد.