Abstract
AbstractP-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.
Funder
Deutsche Forschungsgemeinschaft
Grantová Agentura České Republiky
Publisher
Springer Science and Business Media LLC
Reference55 articles.
1. Abate A, Cimatti A, Micheli A, Mufid MS (2020) Computation of the transient in max-plus linear systems via SMT-solving. In: Bertrand N, Jansen N (eds). Formal modeling and analysis of timed systems. Springer International Publishing. pp 161–177
2. Alsaba M, Lahaye S, Boimond JL (2006) On just in time control of switching max-plus linear systems. In: ICINCO-SPSMC, pp 79–84
3. Amari S, Demongodin I, Loiseau JJ, Martinez C (2012) Max-plus control design for temporal constraints meeting in timed event graphs. IEEE Trans Autom Control 57(2):462–467. https://doi.org/10.1109/TAC.2011.2164735
4. Animobono D, Scaradozzi D, Zattoni E, Perdon AM, Conte G (2023) The model matching problem for max-plus linear systems: a geometric approach. IEEE Trans Autom Control 68(6):3581–3587. https://doi.org/10.1109/TAC.2022.3191362
5. Åström KJ, Wittenmark B (2013) Computer-controlled systems: theory and design. Courier Corporation
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献