Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications

• 成果类型: Article
• 署名作者: Basile, Francesco; Cordone, Roberto; Piroddi, Luigi
• 署名单位: University of Salerno; University of Milan; Polytechnic University of Milan
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2021.3093618
• 发表日期: 2022
• 页码: 2800-2815
• 关键词: safety; Automata; clocks; Petri nets; Discrete-event systems; DELAYS; Upper bound; discrete event systems; reachability; safety; Supervisory control; temporal specifications; Time Petri nets

摘要

A novel framework is introduced for the supervisory control (SC) of timed discrete event systems based on Time Petri nets. The method encompasses both logical (markings to reach or avoid) and temporal specifications (arrival and departure times in specific markings). It relies on the construction of a partial forward reachability graph of the modified state class graph type and the formulation of integer linear programming problems to establish suitable firing time intervals (FTIs) for the controllable transitions. For each enabled controllable transition, the SC algorithm provides the largest FTI that that the specifications are met, irrespectively of the firing times of the uncontrollable transitions.