ورود به حساب

نام کاربری گذرواژه

گذرواژه را فراموش کردید؟ کلیک کنید

حساب کاربری ندارید؟ ساخت حساب

ساخت حساب کاربری

نام نام کاربری ایمیل شماره موبایل گذرواژه

برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید


09117307688
09117179751

در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید

دسترسی نامحدود

برای کاربرانی که ثبت نام کرده اند

ضمانت بازگشت وجه

درصورت عدم همخوانی توضیحات با کتاب

پشتیبانی

از ساعت 7 صبح تا 10 شب

دانلود کتاب Formal Methods for Discrete-Time Dynamical Systems

دانلود کتاب روش‌های رسمی برای سیستم‌های دینامیکی زمان گسسته

Formal Methods for Discrete-Time Dynamical Systems

مشخصات کتاب

Formal Methods for Discrete-Time Dynamical Systems

ویرایش: 1st ed. 2017 
نویسندگان: , ,   
سری:  
ISBN (شابک) : 3319507621, 9783319507620 
ناشر: Springer 
سال نشر: 2017 
تعداد صفحات: 291 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 مگابایت 

قیمت کتاب (تومان) : 32,000

در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد



کلمات کلیدی مربوط به کتاب روش‌های رسمی برای سیستم‌های دینامیکی زمان گسسته: رباتیک و اتوماسیون، صنعتی، تولیدی و سیستم های عملیاتی، مهندسی، مهندسی و حمل و نقل، احتمال و آمار، کاربردی، ریاضیات، علوم و ریاضی، نظریه سیستم، فیزیک، علوم و ریاضیات، فناوری، تاریخچه فناوری، فناوری نانو، فن آوری نانو جنبه های اجتماعی، علوم و ریاضی، آمار، ریاضیات، علوم و ریاضیات، کتاب های درسی جدید، استفاده شده و اجاره ای، بوتیک تخصصی



ثبت امتیاز به این کتاب

میانگین امتیاز به این کتاب :
       تعداد امتیاز دهندگان : 9


در صورت تبدیل فایل کتاب Formal Methods for Discrete-Time Dynamical Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب روش‌های رسمی برای سیستم‌های دینامیکی زمان گسسته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.


توضیحاتی در مورد کتاب روش‌های رسمی برای سیستم‌های دینامیکی زمان گسسته


این کتاب شکاف های اساسی بین نظریه کنترل و روش های رسمی را پر می کند. اگرچه بر روی سیستم‌های وابسته به زمان گسسته و خطی تمرکز دارد، اما چارچوب‌های کلی را برای انتزاع، تحلیل و کنترل مدل‌های عمومی‌تر نیز ارائه می‌کند.

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


توضیحاتی درمورد کتاب به خارجی

This book bridges fundamental gaps between control theory and formal methods. Although it focuses on discrete-time linear and piecewise affine systems, it also provides general frameworks for abstraction, analysis, and control of more general models.

The book is self-contained, and while some mathematical knowledge is necessary, readers are not expected to have a background in formal methods or control theory. It rigorously defines concepts from formal methods, such as transition systems, temporal logics, model checking and synthesis. It then links these to the infinite state dynamical systems through abstractions that are intuitive and only require basic convex-analysis and control-theory terminology, which is provided in the appendix. Several examples and illustrations help readers understand and visualize the concepts introduced throughout the book.



فهرست مطالب

Front Matter....Pages i-xviii
Front Matter....Pages 1-1
Transition Systems....Pages 3-25
Temporal Logics and Automata....Pages 27-38
Front Matter....Pages 39-39
Model Checking....Pages 41-46
Largest Finite Satisfying Region....Pages 47-79
Finite Temporal Logic Control....Pages 81-108
Front Matter....Pages 109-109
Discrete-Time Dynamical Systems....Pages 111-118
Largest Satisfying Region....Pages 119-139
Parameter Synthesis....Pages 141-161
Temporal Logic Control....Pages 163-183
Finite Bisimulations....Pages 185-204
Language Guided Controller Synthesis....Pages 205-230
Optimal Temporal Logic Control....Pages 231-256
Back Matter....Pages 257-284




نظرات کاربران