In this paper, switching model predictive control (MPC) is proposed for a perturbed max-plus
linear system with a reference signal. The lack of stability guarantee for MPC brings …

This paper discusses a formal control design of a discrete-time unicycle model using
Satisfiability Modulo Theory (SMT). Given a set of possible initial positions, a set of possible …

In this paper, terminal constraint-free model predictive control (MPC) is established to track a
reference signal for a max-plus linear system. Due to unconvex characteristics of max-plus …

This study compares an existing method with a novel approach for state estimation of Max-
Plus Linear systems with bounded uncertainties. Traditional stochastic filtering does not …

This paper presents a new approach to bounded error state-estimation for uncertain max-
plus linear systems. This method yields the smallest interval vector including the real state in …

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 …