Synthesis and Control of Discrete Event Systems

هدف این کتاب ارائه دیدگاهی از روندهای فعلی در توسعه تحقیقات در مورد سنتز و کنترل سیستم های رویداد گسسته است. مقالات گردآوری شده در این جلد بر اساس منتخبی از صحبت‌های انجام شده در ژوئن و ژوئیه 2001 در دو نشست مستقل است: کارگاه آموزشی سنتز سیستم‌های همزمان، که در نیوکاسل آپون تاین به‌عنوان رویداد ماهواره‌ای ICATPN/ICACSD برگزار شد و توسط Ph. Darondeau و L. Lavagno، و سمپوزیوم در مورد نظارت بر کنترل سیستم های رویداد گسسته (SCODES)، که در پاریس به عنوان یک رویداد ماهواره ای CAV برگزار شد و توسط B. Caillaud و X. Xie سازماندهی شد. سنتز یک اصطلاح عمومی است که تمام رویه هایی را که با هدف ساخت از مشخصات داده شده به عنوان اشیاء ورودی مطابق با این مشخصات ارائه می شود، پوشش می دهد. پیشینه ها و کاربردهای سنتز برای مدت طولانی در ارتباط با منطق، برنامه نویسی، اتوماتا، سیستم های رویداد گسسته و مدارهای سخت افزاری مورد مطالعه و توسعه قرار گرفته اند. منطق و برنامه نویسی خارج از محدوده این کتاب است که تمرکز آن بر روی سیستم های رویداد گسسته و کنترل نظارتی است. امروزه استرس در این زمینه بر روی کاربرد بهتر نظریه ها و الگوریتم ها در طراحی سیستم های عملی است. مقابله با تمرکززدایی یا توزیع و مراقبت از اجرای کارآمد سیستم‌ها یا کنترل‌کننده‌های سنتز شده در زمینه‌های متنوعی مانند نظارت بر سیستم‌های تولیدی تعبیه‌شده یا انسانی، یا اجرای پروتکل‌ها در نرم‌افزار یا سخت‌افزار از اهمیت بالایی برخوردار است. p>

This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col­ lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of Concurrent Systems, held in Newcastle upon Tyne as a satellite event of ICATPN/ICACSD and organized by Ph. Darondeau and L. Lavagno, and the Symposium on the Supervisory Control of Discrete Event Systems (SCODES), held in Paris as a satellite event of CAV and organized by B. Caillaud and X. Xie. Synthesis is a generic term that covers all procedures aiming to construct from specifications given as input objects matching these specifications. The­ ories and applications of synthesis have been studied and developped for long in connection with logics, programming, automata, discrete event systems, and hardware circuits. Logics and programming are outside the scope of this book, whose focus is on Discrete Event Systems and Supervisory Control. The stress today in this field is on a better applicability of theories and algorithms to prac­ tical systems design. Coping with decentralization or distribution and caring for an efficient realization of the synthesized systems or controllers are of the utmost importance in areas so diverse as the supervision of embedded or man­ ufacturing systems, or the implementation of protocols in software or in hard­ ware.