Switched max-plus linear-dual inequalities: cycle time analysis and applications
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 …
tasks must be executed in predefined time windows. Their dynamics can be represented by …
Formal Analysis and Verification of Max-Plus Linear Systems
Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in
transportation networks, manufacturing and biological systems. In this paper, we investigate …
transportation networks, manufacturing and biological systems. In this paper, we investigate …
Symbolic reachability analysis of high dimensional max-plus linear systems
This work discusses the reachability analysis (RA) of Max-Plus Linear (MPL) systems, a
class of continuous-space, discrete-event models defined over the max-plus algebra. Given …
class of continuous-space, discrete-event models defined over the max-plus algebra. Given …
Reinforcement Learning for Stochastic Max-Plus Linear Systems
V Subramanian, F Farhadi… - 2023 62nd IEEE …, 2023 - ieeexplore.ieee.org
This paper studies the design of control policies for Discrete Event Systems under
uncertainties. We capture the timing of the events using the framework of max-plus-linear …
uncertainties. We capture the timing of the events using the framework of max-plus-linear …
SMT-based model checking of max-plus linear systems
Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in
transportation networks, manufacturing and biological systems. MPL systems can be …
transportation networks, manufacturing and biological systems. MPL systems can be …
APPLICATION OF SYSTEM MAX-PLUS LINEAR EQUATIONS ON SERIAL MANUFACTURING MACHINE WITH STORAGE UNIT
AESH Maharani, A Suparwanto - BAREKENG: Jurnal Ilmu …, 2022 - ojs3.unpatti.ac.id
The set together with the operation maximum (max) denoted as and addition (+) denoted as
is called max-plus algebra. Max-plus algebra may be used to apply algebraically a few …
is called max-plus algebra. Max-plus algebra may be used to apply algebraically a few …
Abstractions and formal verification of max-plus linear systems
M Syifaul Mufid - 2021 - ora.ox.ac.uk
Max-Plus Linear (MPL) systems are the class of discrete-event systems (DES) with dynamics
based on two binary operations (maximisation and addition) over the so-called max-plus …
based on two binary operations (maximisation and addition) over the so-called max-plus …