Estimation and Inference in Discrete Event Systems: A Model-Based Approach with Finite Automata

ویرایش: [1st ed. 2020] 
نویسندگان: Christoforos N. Hadjicostis  
سری: Communications and Control Engineering 
ISBN (شابک) : 9783030308209, 9783030308216 
ناشر: Springer International Publishing 
سال نشر: 2020 
تعداد صفحات: XVIII, 346
[357] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 6 Mb 

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



تخمین و استنتاج در سیستم‌های رویداد گسسته یک مدل محبوب برای سیستم‌های اتوماسیون نوظهور - اتوماتای ​​محدود تحت مشاهده جزئی - انتخاب می‌کند و بر یک مطالعه جامع از مشکلات کلیدی تخمین حالت و استنتاج رویداد تمرکز می‌کند. متن شامل درمان برآورد وضعیت فعلی، تاخیری و اولیه است. کاربردهای مرتبط برای ارزیابی و اجرای ویژگی‌های انعطاف‌پذیری - تشخیص و تشخیص عیب - و امنیت - حریم خصوصی و کدورت - مورد بحث قرار می‌گیرد و خواننده را قادر می‌سازد تا این تکنیک‌ها را در انواع برنامه‌های در حال ظهور، از جمله فرآیندهای تولید خودکار، سیستم‌های خودرو/بزرگراه هوشمند، به کار گیرد. و وسایل نقلیه خودمختار.

این کتاب توسعه سیستماتیک الگوریتم‌های بازگشتی را برای تخمین حالت و استنتاج رویداد ارائه می‌کند. نویسنده همچنین به تأیید ویژگی‌های مربوطه می‌پردازد، مانند:

• توانایی تعیین وضعیت دقیق یک سیستم، "قابلیت تشخیص"؛
< لی>توانایی اطمینان از اینکه می‌توان دسته‌های معینی از خطاها را شناسایی/تشخیص داد، «قابلیت تشخیص»؛ و
• توانایی اطمینان از اینکه برخی از متغیرهای حالت داخلی سیستم بدون توجه به نوع فعالیتی که در حال انجام است، "معروف بودن" از دنیای خارج "مخفی" باقی می مانند.

این کتاب به دانشجویان، محققان و مهندسان شاغل به طور یکسان اجازه می‌دهد تا جنبه‌های اساسی تخمین حالت را در سیستم‌های رویداد گسسته، جنبه‌هایی مانند توزیع و استنتاج احتمالی، به سرعت و بدون نیاز به تسلط درک کنند. کل وسعت مدل هایی که در ادبیات موجود است.

Estimation and Inference in Discrete Event Systems chooses a popular model for emerging automation systems—finite automata under partial observation—and focuses on a comprehensive study of the key problems of state estimation and event inference. The text includes treatment of current, delayed, and initial state estimation. Related applications for assessing and enforcing resiliency—fault detection and diagnosis—and security—privacy and opacity—properties are discussed, enabling the reader to apply these techniques in a variety of emerging applications, among them automated manufacturing processes, intelligent vehicle/highway systems, and autonomous vehicles.

The book provides a systematic development of recursive algorithms for state estimation and event inference. The author also deals with the verification of pertinent properties such as:

• the ability to determine the exact state of a system, “detectability”;
• the ability to ensure that certain classes of faults can be detected/identified, “diagnosability”; and
• the ability to ensure that certain internal state variables of the system remain “hidden” from the outside world regardless of the type of activity that is taking place, “opacity”.

This book allows students, researchers and practicing engineers alike to grasp basic aspects of state estimation in discrete event systems, aspects like distributivity and probabilistic inference, quickly and without having to master the entire breadth of models that are available in the literature.