دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
ویرایش: 1st ed. 2017 نویسندگان: Calin Belta, Boyan Yordanov, Ebru Aydin Gol سری: ISBN (شابک) : 3319507621, 9783319507620 ناشر: Springer سال نشر: 2017 تعداد صفحات: 291 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
کلمات کلیدی مربوط به کتاب روشهای رسمی برای سیستمهای دینامیکی زمان گسسته: رباتیک و اتوماسیون، صنعتی، تولیدی و سیستم های عملیاتی، مهندسی، مهندسی و حمل و نقل، احتمال و آمار، کاربردی، ریاضیات، علوم و ریاضی، نظریه سیستم، فیزیک، علوم و ریاضیات، فناوری، تاریخچه فناوری، فناوری نانو، فن آوری نانو جنبه های اجتماعی، علوم و ریاضی، آمار، ریاضیات، علوم و ریاضیات، کتاب های درسی جدید، استفاده شده و اجاره ای، بوتیک تخصصی
در صورت تبدیل فایل کتاب Formal Methods for Discrete-Time Dynamical Systems به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب روشهای رسمی برای سیستمهای دینامیکی زمان گسسته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
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