Quantitative Measure for Discrete Event Supervisory Control

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

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

• مواد اساسی در تصمیم گیری و کنترل نظارتی را قبل از ادغام روش جدید برای اندازه گیری کمی عملکرد خلاصه می کند

• تئوری رسمی را برای حمایت از رویکرد کمی ارائه می کند، بنابراین یک مدل موثر برای تصمیم گیری رویداد گسسته و کنترل سیستم های پیچیده مهندسی شده توسط انسان را ترسیم می کند

• مفاهیم متنوع و کاربردی برای مواد در تجارت و سیستم های فرماندهی نظامی، کنترل، کامپیوتر، ارتباطات، اطلاعات، نظارت و شناسایی (C⁴ISR)

• مبانی و شواهد ریاضی قابل توجهی را برای درک خواننده از فرآیندهای کمی روشن می کند، در حالی که اجتناب از جزئیات و کاربردهای غیرضروری ریاضی

• روش هایی را توسعه داده و توصیف می کند که در دانشگاه ایالتی پنسیلوانیا و دانشگاه فناوری لوئیزیانا با موفقیت در کلاس درس آزمایش شده اند

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

Never before has there been a quantitative approach designed to optimize supervisory decision and control for discrete event systems. The text pioneers a formal system for supervision of human-engineered complex systems, to compare different supervisory models, thereby maximizing potential for achieving high performance. It offers exciting implications for both military and commercial engineering systems.

Quantitative Measure for Discrete Event Supervisory Control presents a novel method for discrete-event decision and control of complex systems, and provides applications for burgeoning technological needs in engineering (i.e., multi-agent human and robotic systems, aircraft, and electric power generation systems), as well as control of software systems and malicious executables. Using Supervisory Control Theory (SCT), a tool to model and control human engineered complex systems, this text initiates new concepts in quantitative treatment of SCT, as a much needed augmentation to existing research on the diagnosis and control of SCT. This survey is the first comprehensive treatment of a language-theoretic quantitative approach to discrete event supervisory decision and control.

• Summarizes fundamental materials in supervisory decision and control before integrating new method to quantitatively measure performance

• Presents formal theory to support the quantitative approach, thus outlining an effective model for discrete event decision and control of human-engineered complex systems

• Outlines diverse and practical implications for the materials in the commercial and military Command, Control, Computer, Communication, Intelligence, Surveillance, and Reconnaissance (C⁴ISR) systems

• Illuminates significant mathematical foundations and proofs for reader understanding of quantification processes, while avoiding nonessential mathematical details and applications

• Develops and describes methods that have been successfully classroom-tested in Pennsylvania State University and Louisiana Tech University

Compiling some of the leading research in the field, this self-contained volume contains essential techniques and advanced applications for researchers or graduate students in computer engineering, computer science, and applied mathematics. Additionally, the book may be an important resource for students in other disciplines, such as the biological sciences, management sciences, social sciences, and economics.