Supervisory Control Theory With Event Forcing

• 成果类型: Article
• 署名作者: Reniers, Michel; Cai, Kai
• 署名单位: Eindhoven University of Technology; Osaka Metropolitan University
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2024.3522024
• 发表日期: 2025
• 页码: 3471-3477
• 关键词: Supervisory control; CONTROLLABILITY; Automata; STANDARDS; FORCE; Aerospace electronics; Transforms; Hands; Complexity theory; automobiles; Discrete-event systems (DESs); Finite automata; forcible events; forcibly controllable supervisory control; nonblocking

摘要

In the Ramadge-Wonham supervisory control theory, the only interaction mechanism between supervisor and plant is that the supervisor may enable/disable events from the plant and the plant makes a final decision about which of the enabled events is actually taking place. In this article, the interaction between supervisor and plant is enriched by allowing the supervisor to force specific events (called forcible events) that are allowed to preempt uncontrollable events. A notion of forcible controllability is defined that captures the interplay between controllability of a supervisor w.r.t. the uncontrollable events provided by a plant in the setting with event forcing. The existence of a maximally permissive, forcibly controllable, nonblocking supervisor is shown, and an efficient algorithm is provided that computes such a supervisor.