An efficient transformation from max-plus-linear systems to piecewise affine systems

摘要

Max-Plus-Linear (MPL) systems are a modeling framework for synchronization without concurrency. In this paper, we propose a procedure to construct Piecewise Affine (PWA) systems from MPL systems, such that the regions in the PWA systems are a partition of the state space and without using any refinement process. On the contrary, in the literature the standard procedure uses a refinement process. According to our numerical benchmark, the procedure without refinement outperforms the one with refinement. The obtained PWA models are key for the analysis of the dynamics of the received MPL systems.