Switched max-plus linear-dual inequalities: cycle time analysis and applications

被引:1
作者
Zorzenon, Davide [1 ]
Komenda, Jan [2 ]
Raisch, Joerg [1 ,3 ]
机构
[1] Tech Univ Berlin, Control Syst Grp, Berlin, Germany
[2] Czech Acad Sci, Inst Math, Prague, Czech Republic
[3] Sci Intelligence, Res Cluster Excellence, Berlin, Germany
来源
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2024年 / 34卷 / 01期
关键词
Switched systems; Max-plus algebra; Scheduling; Petri nets; EVENT GRAPHS; ELECTROPLATING LINE; PETRI NETS; SYSTEMS; MIN;
D O I
10.1007/s10626-023-00389-5
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
P-time event graphs are discrete event systems suitable for modeling processes in which tasks must be executed in predefined time windows. Their dynamics can be represented by max-plus linear-dual inequalities (LDIs), i.e., systems of linear dynamical inequalities in the primal and dual operations of the max-plus algebra. We define a new class of models called switched LDIs (SLDIs), which allow to switch between different modes of operation, each corresponding to a set of LDIs, according to a sequence of modes called schedule. In this paper, we focus on the analysis of SLDIs when the considered schedule is fixed and either periodic or intermittently periodic. We show that SLDIs can model a wide range of applications including single-robot multi-product processing networks, in which every product has different processing requirements and corresponds to a specific mode of operation. Based on the analysis of SLDIs, we propose algorithms to compute: i. minimum and maximum cycle times for these processes, improving the time complexity of other existing approaches; ii. a complete trajectory of the robot including start-up and shut-down transients.
引用
收藏
页码:199 / 250
页数:52
相关论文
共 55 条
[1]   Computation of the Transient in Max-Plus Linear Systems via SMT-Solving [J].
Abate, Alessandro ;
Cimatti, Alessandro ;
Micheli, Andrea ;
Mufid, Muhammad Syifa'ul .
FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2020, 2020, 12288 :161-177
[2]  
Alsaba M, 2006, ICINCO 2006: Proceedings of the Third International Conference on Informatics in Control, Automation and Robotics, P79
[3]   Max-Plus Control Design for Temporal Constraints Meeting in Timed Event Graphs [J].
Amari, Said ;
Demongodin, Isabel ;
Loiseau, Jean Jacques ;
Martinez, Claude .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2012, 57 (02) :462-467
[4]   The Model Matching Problem for Max-Plus Linear Systems: A Geometric Approach [J].
Animobono, Davide ;
Scaradozzi, David ;
Zattoni, Elena ;
Perdon, Anna Maria ;
Conte, Giuseppe .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2023, 68 (06) :3581-3587
[5]  
Astrom KarlJ., 2013, COMPUTER CONTROLLED
[6]  
Baccelli F., 1992, SYNCHRONIZATION LINE
[7]   Model predictive control of an electroplating line without stopping the production [J].
Becha, Tassadit ;
Hamri, Hakima ;
Kara, Redouane ;
Collart-Dutilleul, Simon .
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2017, 91 (9-12) :4095-4105
[8]  
Blyth TS, 1972, RESIDUATION THEORY, V102
[9]   Towards a new schedulability technique of real-time systems modeled by P-time Petri nets [J].
Bonhomme, Patrice .
INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, 2013, 67 (1-4) :759-769
[10]  
Boyer M, 2008, FUND INFORM, V88, P225