Supervisory Control of Discrete-Event Systems

ویرایش: 1st ed. 
نویسندگان: W. Murray Wonham,  Kai Cai  
سری: Communications and Control Engineering 
ISBN (شابک) : 9783319774510 
ناشر: Springer International Publishing 
سال نشر: 2019 
تعداد صفحات: 503 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 12 مگابایت 

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



این کتاب نشان می‌دهد که چگونه تئوری کنترل نظارتی (SCT) از فرمول‌بندی مسائل کنترلی مختلف از انواع استاندارد، مانند سنتز متغیرهای دینامیکی کنترل‌شده توسط بازخورد حالت، و حل چنین مشکلاتی از نظر مفاهیم کنترلی-نظری به طور طبیعی قابل تعریف پشتیبانی می‌کند. و ویژگی هایی مانند قابلیت دسترسی، کنترل پذیری و مشاهده پذیری. این مدل از یک مدل ساده و انتزاعی از سیستم‌های رویداد گسسته کنترل‌شده (DES) بهره‌برداری می‌کند که ثابت کرده است قابل کنترل است، برای متخصصان کنترل جذاب است و طیف وسیعی از ایده‌های تئوری کنترل را بیان می‌کند. این به خوانندگان این امکان را می دهد که بین اشکال SCT مبتنی بر خودکار و دو زبانه انتخاب کنند، بسته به اینکه ترجیح آنها برای توصیف درونی-ساختاری یا رفتاری بیرونی مشکل است.

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

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

This book shows how supervisory control theory (SCT) supports the formulation of various control problems of standard types, like the synthesis of controlled dynamic invariants by state feedback, and the resolution of such problems in terms of naturally definable control-theoretic concepts and properties, like reachability, controllability and observability. It exploits a simple, abstract model of controlled discrete-event systems (DES) that has proved to be tractable, appealing to control specialists, and expressive of a range of control-theoretic ideas. It allows readers to choose between automaton-based and dually language-based forms of SCT, depending on whether their preference is for an internal-structural or external-behavioral description of the problem.

The monograph begins with two chapters on algebraic and linguistic preliminaries and the fundamental concepts and results of SCT are introduced. To handle complexity caused by system scale, architectural approaches—the horizontal modularity of decentralized and distributed supervision and the vertical modularity of hierarchical supervision—are introduced. Supervisory control under partial observation and state-based supervisory control are also addressed; in the latter, a vector DES model that exploits internal regularity of algebraic structure is proposed. Finally SCT is generalized to deal with timed DES by incorporating temporal features in addition to logical ones.

Researchers and graduate students working with the control of discrete-event systems or who are interested in the development of supervisory control methods will find this book an invaluable aid in their studies. The text will also be of assistance to researchers in manufacturing, logistics, communications and transportation, areas which provide plentiful examples of the class of systems being discussed.

Front Matter ....Pages i-xx
 Algebraic Preliminaries  (W. Murray Wonham, Kai Cai)....Pages 1-43
 Linguistic Preliminaries  (W. Murray Wonham, Kai Cai)....Pages 45-84
 Supervision of Discrete-Event Systems: Basics  (W. Murray Wonham, Kai Cai)....Pages 85-146
 Decentralized and Distributed Supervision of Discrete-Event Systems  (W. Murray Wonham, Kai Cai)....Pages 147-203
 Hierarchical Supervision of Discrete-Event Systems  (W. Murray Wonham, Kai Cai)....Pages 205-255
 Supervisory Control with Partial Observations  (W. Murray Wonham, Kai Cai)....Pages 257-338
 State-Based Control of Discrete-Event Systems  (W. Murray Wonham, Kai Cai)....Pages 339-359
 Supervision of Vector Discrete-Event Systems  (W. Murray Wonham, Kai Cai)....Pages 361-410
 Supervisory Control of Timed Discrete-Event Systems  (W. Murray Wonham, Kai Cai)....Pages 411-444
Back Matter ....Pages 445-489