Characterizing Token Delays of Timed Event Graphs for K-Cyclic Schedules

Cited 5 time in webofscience Cited 0 time in scopus
  • Hit : 509
  • Download : 0
A timed discrete event system, which repeats identical work cycles, has task delays due to synchronization between work cycles. Real such systems tend to operate mostly in a K-cyclic timing regime, where a sequence of identical timing patterns is repeated for every K cycles. Therefore, the task delays fluctuate and repeat a sequence of K different values, and hence have higher risk of violating an upper limit. Task delays correspond to token delays at the system's timed event graph model. We therefore examine token delays in K-cyclic schedules of a timed event graph, an essential class of Petri nets. We first identify all possible K-cyclic schedules and define their initial phases. We then develop a closed-formula on the token delays on a path for a K-cyclic schedule, which can be computed by the longest path lengths between the nodes in an associated directed graph. We also present a formula for 1-cyclic schedules. The formulae can be used for computing statistics on K-different token delays, maximizing or minimizing the token delays with regard to all possible initial phases, and verifying task delay constraints, if any.
Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
Issue Date
2017-02
Language
English
Article Type
Article
Citation

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, v.62, no.2, pp.961 - 966

ISSN
0018-9286
DOI
10.1109/TAC.2016.2570122
URI
http://hdl.handle.net/10203/222710
Appears in Collection
IE-Journal Papers(저널논문)
Files in This Item
There are no files associated with this item.
This item is cited by other documents in WoS
⊙ Detail Information in WoSⓡ Click to see webofscience_button
⊙ Cited 5 items in WoS Click to see citing articles in records_button

qr_code

  • mendeley

    citeulike


rss_1.0 rss_2.0 atom_1.0