The Model Matching Problem for Max-Plus Linear Systems: A Geometric Approach
Davide Animobono, David Scaradozzi, Elena Zattoni, Anna Maria Perdon, G. Conte
Abstract
Linear systems over the max-plus algebra provide a suitable formalism to model discrete event systems where synchronization, without competition, is involved. In this paper, we consider a formulation of the model matching problem for systems of such class, in which the output of a given system, called the plant, is forced, by a suitable input, to track exactly that of a given model. A necessary and sufficient condition for its solvability is obtained by making a suitable use of geometric methods in the framework of systems over the max-plus algebra.
Topics & Concepts
Linear systemFormalism (music)Algebra over a fieldMathematicsGeometric modelingClass (philosophy)Matching (statistics)Linear algebraApplied mathematicsDiscrete mathematicsComputer scienceAlgorithmPure mathematicsArtificial intelligenceMathematical analysisGeometryStatisticsMusicalVisual artsArtPetri Nets in System ModelingFormal Methods in VerificationAdvanced Control Systems Optimization