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

05/04/2023
by   Davide Zorzenon, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/01/2020

Computation of the Transient in Max-Plus Linear Systems via SMT-Solving

This paper proposes a new approach, grounded in Satisfiability Modulo Th...
research
02/26/2021

Periodic trajectories in P-time event graphs and the non-positive circuit weight problem

P-time event graphs (P-TEGs) are specific timed discrete-event systems, ...
research
07/09/2020

Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems

This work discusses the reachability analysis (RA) of Max-Plus Linear (M...
research
04/20/2019

Analysis and Design of Robust Max Consensus for Wireless Sensor Networks

A novel distributed algorithm for estimating the maximum of the node ini...
research
04/11/2023

The Big-O Problem for Max-Plus Automata is Decidable (PSPACE-Complete)

We show that the big-O problem for max-plus automata is decidable and PS...
research
02/16/2018

A Combinatorial Problem Arising From Ecology: the Maximum Empower Problem

The ecologist H. T. Odum introduced a principle of physics, called Maxim...
research
04/16/2020

Dual connectivity and standalone modes for LTE-U

Long-Term Evolution in unlicensed bands (LTE-U) has been considered as a...

Please sign up or login with your details

Forgot password? Click here to reset