Finite Abstractions of Nonautonomous Max-Plus-Linear Systems

被引：0
|
作者：
Adzkiya, Dieky [1 ]
De Schutter, Bart [1 ]
Abate, Alessandro [1 ]
机构：
[1] TU Delft Delft Univ Technol, Delft Ctr Syst & Control, Delft, Netherlands
来源：
2013 AMERICAN CONTROL CONFERENCE (ACC) | 2013年
关键词：
MANUFACTURING SYSTEMS; DOMAIN; MODELS;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This work puts forward a technique to generate finite abstractions of nonautonomous Max-Plus-Linear (MPL) models, a known class of discrete-event systems characterizing the timing related to event counters. Nonautonomous models embed an external input (namely a nondeterministic choice, regarded as an exogenous control signal) in the dynamics. Abstractions are characterized as finite-state Labeled Transition Systems (LTS). LTS are obtained first by partitioning the state space of the MPL model and by associating states of the LTS to the introduced partitions, then by defining relations among the states of the LTS, corresponding to the dynamical (nonautonomous) transitions between the MPL state partitions, and finally by labeling the LTS edges according to the one-step timing properties related to the events of the original MPL model. In order to establish formal equivalences, the finite LTS abstraction is proven either to simulate or to bisimulate the original MPL model. The computational performance of the abstraction procedure is tested on a numerical benchmark. The approach enables the study of properties of the original MPL model by verifying equivalent specifications over the finite LTS abstraction.
引用
收藏
页码：4387 / 4392
页数：6
相关论文
共 50 条
  • [31] Feedback properties of model predictive control Tor max-plus-linear systems
    Masuda, Shiro
    Goto, Hiroyuki
    2007 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL, VOLS 1 AND 2, 2007, : 553 - +
  • [32] Worst-case optimal control of uncertain max-plus-linear systems
    Necoara, Ion
    Kerrigan, Eric C.
    De Schutter, Bart
    van den Boom, Ton J. J.
    PROCEEDINGS OF THE 45TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-14, 2006, : 6055 - +
  • [33] MPC for max-plus-linear systems: Closed-loop behavior and tuning
    van den Boom, T
    De Schutter, B
    PROCEEDINGS OF THE 2001 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2001, : 325 - 330
  • [34] Modeling and control of switching max-plus-linear systems with random and deterministic switching
    van den Boom, Ton J. J.
    De Schutter, Bart
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2012, 22 (03): : 293 - 332
  • [35] Model predictive control for perturbed max-plus-linear systems: A stochastic approach
    van den Boom, TJJ
    De Schutter, B
    PROCEEDINGS OF THE 40TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-5, 2001, : 4535 - 4540
  • [36] Towards railway traffic management using switching Max-plus-linear systems
    Kersbergen, Bart
    Rudan, Janos
    van den Boom, Ton
    De Schutter, Bart
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (02): : 183 - 223
  • [37] Analytic expressions in stochastic max-plus-linear algebra
    van den Boom, Ton J. J.
    De Schutter, Bart
    2014 IEEE 53RD ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2014, : 1608 - 1613
  • [38] Stabilization of max-plus-linear systems using model predictive control: The unconstrained case
    Necoara, Ion
    van den Boom, Ton J. J.
    De Schutter, Bart
    Hellendoorn, Hans
    AUTOMATICA, 2008, 44 (04) : 971 - 981
  • [39] VeriSiMPL 2: An open-source software for the verification of max-plus-linear systems
    Adzkiya, Dieky
    Zhang, Yining
    Abate, Alessandro
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2016, 26 (01): : 109 - 145
  • [40] MPC of implicit switching max-plus-linear discrete event systems - Timing aspects
    van den Boom, Ton J. J.
    De Schutter, Bart
    WODES 2006: EIGHTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2006, : 457 - +
12345