Scheduling and Reconfiguration of Real-Time Systems: A Supervisory Control Approach
暫譯: 即時系統的排程與重構：監控控制方法

Wang, XI, Li, Zhiwu

Scheduling and Reconfiguration of Real-Time Systems: A Supervisory Control Approach
  • 出版商: Springer
  • 出版日期: 2024-11-16
  • 售價: $7,110
  • 貴賓價: 9.5 折 $6,755
  • 語言: 英文
  • 頁數: 205
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 3031419715
  • ISBN-13: 9783031419713

    • 海外代購書籍(需單獨結帳)

相關主題

商品描述

This book presents a methodology for the real-time scheduling problems of real-time systems (RTS) from the viewpoint of control theory. Generally, any system can be viewed as an RTS if it performs real-time application functions and behaves correctly depending on given logical activities and satisfying specified deadlines for the activities. This monograph provides broad views and detailed introductions to supervisory control theory (SCT) and its application in real-time scheduling and reconfiguration. Based on three popular SCT modelling frameworks, discrete-event system (DES), timed DES (TDES), and state-tree structures (STS), the authors provide RTS modelling frameworks; thereafter, SCT is used to find their safe execution sequences.

As the main contribution, we use (untimed) DES events to represent the execution and preemption of each individual RTS task. This modelling formalism brings the possibilities to model the preemptions of tasks' executions. Furthermore, in some cases, priorities cannot be assigned to real-time tasks. In order to solve this problem, a matrix-based priority-free conditional-preemption (PFCP) relation is provided, which generalizes fixed-priority (FP) RTS scheduling. As a natural extension, a generalized modular modelling framework is presented to model the task parameters instead of the global real-time task. The modular models are taken to be generic entities, which also considers the exact execution time of real-time tasks. STS are undoubtedly recognized as a computationally efficient SCT framework which manages the state explosion problem significantly. Hence, building on the (untimed) modular RTS models, a novel STS-based RTS modeling framework is formulated, by assigning dynamic priorities as specified optimality criteria, which can be utilized to model sporadic RTS processing both sporadic and (multi-period) periodic tasks, providing a small set of the safe execution sequences which rank at the top.

商品描述(中文翻譯)

這本書從控制理論的角度提出了一種針對即時系統（RTS）即時排程問題的方法論。一般來說，任何系統如果執行即時應用功能並根據給定的邏輯活動正確運作，滿足活動的指定截止日期，就可以視為即時系統。本專著提供了對監控控制理論（SCT）及其在即時排程和重配置中的應用的廣泛視角和詳細介紹。基於三個流行的SCT建模框架：離散事件系統（DES）、定時離散事件系統（TDES）和狀態樹結構（STS），作者提供了RTS建模框架；隨後，使用SCT來尋找它們的安全執行序列。

作為主要貢獻，我們使用（未定時）DES事件來表示每個個別RTS任務的執行和搶佔。這種建模形式使得任務執行的搶佔建模成為可能。此外，在某些情況下，無法為即時任務分配優先級。為了解決這個問題，提供了一種基於矩陣的無優先級條件搶佔（PFCP）關係，這是固定優先級（FP）RTS排程的概括。作為自然擴展，提出了一種廣義模組化建模框架，以建模任務參數，而不是全局即時任務。模組化模型被視為通用實體，並考慮即時任務的確切執行時間。STS無疑被認為是一種計算效率高的SCT框架，顯著管理狀態爆炸問題。因此，基於（未定時）模組化RTS模型，提出了一種新穎的基於STS的RTS建模框架，通過分配動態優先級作為指定的最優性標準，這可以用來建模間歇性RTS處理的間歇性和（多周期）周期性任務，提供一小組排名最高的安全執行序列。

作者簡介

Xi Wang received the B.S. degree in Automation from Liren College, Yanshan University, Qinhuangdao, China, in 2008, and the M.S. and Ph.D. degree in Mechanical Engineering from Xidian University, Xi'an, China, in 2011 and 2016, respectively. He joined Xidian University in 2016. During 2013 and 2015, he was a visiting Ph.D. student at the Systems Control Group, Department of Electrical and Computer Engineering, University of Toronto, Canada. Dr. Wang has been awarded a 24-month Humboldt Research Fellowship for Postdoctoral Researchers during February 2018 and January 2020. His research interests include dynamic reconfiguration and scheduling of real-time systems and supervisory control of discrete-event systems.

Zhiwu Li received the B.S., M.S., and Ph.D. degrees in Mechanical Engineering, Automatic Control, and Manufacturing Engineering, respectively, all from Xidian University, Xi'an, China, in 1989, 1992, and 1995, respectively. He joined Xidian University in 1992. Over the past decade, he held a visiting professorship at the University of Toronto, Technion (Israel Institute of Technology), Martin-Luther University of Halle-Wittenberg, Conservatoire National des Arts et Métiers (CNAM), University of Cagliari, and Meliksah Universitesi. He is now with the Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau. His research interests include Petri net theory and applications, supervisory control of discrete-event systems, and systems engineering. Dr. Li is a recipient of an Alexander von Humboldt Research Grant, Alexander von Humboldt Foundation, Germany. He is a fellow of IEEE (2016).

作者簡介(中文翻譯)

Xi Wang於2008年獲得中國秦皇島燕山大學理工學院自動化學士學位，並於2011年和2016年分別獲得西安電子科技大學機械工程碩士及博士學位。他於2016年加入西安電子科技大學。在2013年至2015年間，他曾擔任加拿大多倫多大學電機與計算機工程系系統控制組的訪問博士生。王博士於2018年2月至2020年1月期間獲得24個月的洪堡研究獎學金，專為博士後研究人員設立。他的研究興趣包括實時系統的動態重構與排程，以及離散事件系統的監督控制。

李志武於1989年、1992年和1995年分別獲得中國西安電子科技大學機械工程、自動控制和製造工程的學士、碩士和博士學位。他於1992年加入西安電子科技大學。在過去十年中，他曾在多倫多大學、以色列理工學院、哈雷-維滕堡大學、法國國立工藝學院（CNAM）、卡利亞里大學和梅利克沙大學擔任訪問教授。目前，他在澳門科技大學系統工程研究所任職。他的研究興趣包括Petri網理論及應用、離散事件系統的監督控制以及系統工程。李博士是德國亞歷山大·馮·洪堡基金會的洪堡研究獎獲得者，並於2016年成為IEEE會士。

類似商品