دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Methods for Discrete-Time Dynamical Systems
دانلود کتاب روش‌های رسمی برای سیستم‌های دینامیکی زمان گسسته
مشخصات کتاب
Formal Methods for Discrete-Time Dynamical Systems
ویرایش: نویسندگان: Calin Belta, Boyan Yordanov , Ebru Aydin Gol سری: ISBN (شابک) : 9783319507637 ناشر: Springer سال نشر: 2017 تعداد صفحات: 287 زبان: english فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 42,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب 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
نظرات کاربران
کتاب های تصادفی
دانلود کتاب 陈康论希腊哲学
دانلود کتاب The Missionary Self-Perception of Pentecostal Charismatic Church Leaders from the Global South in Europe (Global Pentecostal and Charismatic Studies)
دانلود کتاب Psihologia lui C.G. Jung. O introducere in ansamblul operei.pdf
دانلود کتاب Gas Processors Suppliers Association - GPSA Engineering Data Book
