Model decomposition of timed event graphs under periodic partial synchronization: application to output reference control

被引:0
|
作者
Johannes Trunk
Bertrand Cottenceau
Laurent Hardouin
Joerg Raisch
机构
[1] Technische Universität Berlin,
[2] Fachgebiet Regelungssysteme,undefined
[3] Université d’Angers,undefined
来源
关键词
Dioids; Optimal control; TEG; Discrete-event systems; Residuation; Time-variant behaviour;
D O I
暂无
中图分类号
学科分类号
摘要
Timed Event Graphs (TEGs) are a graphical model for decision free and time-invariant Discrete Event Systems (DESs). To express systems with time-variant behaviors, a new form of synchronization, called partial synchronization (PS), has been introduced for TEGs. Unlike exact synchronization, where two transitions t1,t2 can only fire if both transitions are simultaneously enabled, PS of transition t1 by transition t2 means that t1 can fire only when transition t2 fires, but t1 does not influence the firing of t2. This, for example can describe the synchronization between a local train and a long distance train. Of course it is reasonable to synchronize the departure of a local train by the arrival of long distance train in order to guarantee a smooth connection for passengers. In contrast, the long distance train should not be delayed due to the late arrival of a local train. Under the assumption that PS is periodic, we can show that the dynamic behavior of a TEG under PS can be decomposed into a time-variant and a time-invariant part. It is shown that the time-variant part is invertible and that the time-invariant part can be modeled by a matrix with entries in the dioid Minaxγ,δ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}${\mathcal{M}}_{in}^{ax}\left [\!\left [\gamma ,\delta \right ]\!\right ]$\end{document}, i.e. the time-invariant part can be interpreted as a standard TEG. Therefore, the tools introduced for standard TEGs can be used to analyze and to control the overall system. In particular, in this paper output reference control for TEGs under PS is addressed. This control strategy determines the optimal input for a predefined reference output. In this case optimality is in the sense of the ”just-in-time” criterion, i.e., the input events are chosen as late as possible under the constraint that the output events do not occur later than required by the reference output.
引用
收藏
页码:605 / 634
页数:29
相关论文
共 50 条
  • [11] Supervisory control of timed event graphs with partial specifications
    Takai, S
    Ito, Y
    INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1999, 30 (11) : 1187 - 1192
  • [12] Optimal Control Synthesis of Timed Event Graphs With Interval Model Specifications
    Declerck, Philippe
    Alaoui, Mohamed Khalid Didi
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (02) : 518 - 523
  • [13] Weight-Balanced Timed Event Graphs to Model Periodic Phenomena in Manufacturing Systems
    Cottenceau, Bertrand
    Hardouin, Laurent
    Trunk, Johannes
    IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2017, 14 (04) : 1731 - 1742
  • [14] Optimal output feedback control of Timed Event Graphs including disturbances in a resource sharing environment
    Goltz, Philipp
    Schafaschek, Germano
    Hardouin, Laurent
    Raisch, Jorg
    IFAC PAPERSONLINE, 2022, 55 (28): : 188 - 195
  • [15] SUPERVISORY CONTROL OF TIMED DISCRETE-EVENT SYSTEMS UNDER PARTIAL OBSERVATION
    LIN, F
    WONHAM, WM
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1995, 40 (03) : 558 - 562
  • [16] Model predictive control for discrete event systems with partial synchronization
    David-Henriet, Xavier
    Hardouin, Laurent
    Raisch, Joerg
    Cottenceau, Bertrand
    AUTOMATICA, 2016, 70 : 9 - 13
  • [17] Partial synchronization of logical control networks under event-triggered control
    Ouyang, Chen
    Li, Lulu
    Ho, Daniel W. C.
    Lu, Jianquan
    PROCEEDINGS OF THE 38TH CHINESE CONTROL CONFERENCE (CCC), 2019, : 651 - 655
  • [18] Just-in-time control of timed event graphs: Update of reference input, presence of uncontrollable input
    Menguy, E
    Boimond, JL
    Hardouin, L
    Ferrier, JL
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2000, 45 (11) : 2155 - 2159
  • [19] Robust supervisory control of a class of timed discrete event systems under partial observation
    Takai, S
    SYSTEMS & CONTROL LETTERS, 2000, 39 (04) : 267 - 273
  • [20] Interval analysis in dioid : Application to robust open-loop control for timed event graphs
    Lhommeau, Mehdi
    Hardouin, Laurent
    Ferrier, Jean-Louis
    Ouerghi, Iteb
    2005 44th IEEE Conference on Decision and Control & European Control Conference, Vols 1-8, 2005, : 7744 - 7749