期刊
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
卷 67, 期 6, 页码 2800-2815出版社
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TAC.2021.3093618
关键词
Safety; Automata; Clocks; Petri nets; Discrete-event systems; Delays; Upper bound; Discrete event systems; reachability; safety; supervisory control; temporal specifications; Time Petri nets
This novel framework introduces a method for supervisory control of timed discrete event systems using Time Petri nets, which can handle both logical and temporal specifications.
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据