مشخصات کتاب

Supervisory Control of Concurrent Systems: A Petri Net Structural Approach

ویرایش:  
نویسندگان: Iordache M. V.,  Antsaklis P. J.  
سری:  
ISBN (شابک) : 0817644881 
ناشر: Birkhäuser Boston 
سال نشر: 2006 
تعداد صفحات: 288 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 3 مگابایت 

در صورت تبدیل فایل کتاب Supervisory Control of Concurrent Systems: A Petri Net Structural Approach به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

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

توضیحاتی در مورد کتاب کنترل نظارتی سیستم های همزمان: رویکرد ساختاری شبکه پتری

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

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

Increasing complexity in engineering projects raises difficult challenges in industry and requires effective tools for correct-by-construction design or design verification. This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-event framework. The approach employed uses Petri nets as discrete-event models and structural methods for the synthesis of supervisors, and may lead to significant computational benefits.Highlighting recent progress in the design of supervisors by structural methods, the book represents a novel contribution to the field. One of the main features of the presentation is the demonstration that structural methods can address a variety of supervisor specifications under diverse supervision settings.Additional features of the text:* Applications of the methods presented are emphasized by considering various concurrency assumptions as well as types of system uncontrollability and unobservability.* Treatment of the supervision problem for decentralized settings and hybrid dynamical systems. * A focus on both theory and practice: formal proofs are provided in a sound mathematical setting to guarantee performance and correctness; at the same time, the authors have worked out the relevant details to ensure the methods are ready to implement in software.* Many of the presented methods have been realized in software as functions of a MATLAB toolbox, which have been used to solve many of the examples of the book.The work is self-contained and includes necessary background on Petri nets and supervision. Requiring only basic knowledge of undergraduate-level discrete mathematics, the text is accessible to a broad audience. Researchers and developers from various engineering fields may find effective means to reduce the complexity of design problems in the discrete-event setting. Graduate students may use the work as a self-study reference, and portions of the text may be used in advanced courses on discrete-event systems.

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

کتاب های تصادفی

دانلود کتاب The Hermetica: The Lost Wisdom of the Pharaohs

دانلود کتاب Guerrilla Networks : An Anarchaeology of 1970s Radical Media Ecologies

دانلود کتاب The Great Western Schism, 1378–1417: Performing Legitimacy, Performing Unity

دانلود کتاب Corruption, Empire and Colonialism in the Modern Era: A Global Perspective

دانلود کتاب Sociología