The paper focuses on the set-estimation for uncertain Max-Plus Linear systems, with
bounded random parameters. This estimation process involves determining the conditional …

This paper introduces the abstraction of max-plus linear (MPL) systems via predicates.
Predicates are automatically selected from system matrix, as well as from the specifications …

Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in
transportation networks, manufacturing and biological systems. In this paper, we investigate …

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 …

Bounded model checking (BMC) is well-known to be undecidable even for simple hybrid
systems. Existing work targeted for a wide class of non-linear hybrid systems reduces the …

This article discusses the reachability analysis (RA) of interval max-plus linear (IMPL)
systems, a subclass of continuous-space, discrete-event systems defined over the max-plus …

Maxmin-$\omega $ dynamical systems were previously introduced as a generalization of
dynamical systems expressed by tropical linear algebra. To describe steady states of such …

Max-Plus Linear (MPL) systems are an algebraic formalism with practical applications in
transportation networks, manufacturing and biological systems. MPL systems can be …

A wide range of man-made systems, such as• telecommunications networks;• manufacturing
systems;• computer systems; in which evolution is governed by events, typically a signal …

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 …