hal-00746053
https://ensta-bretagne.hal.science/hal-00746053
https://ensta-bretagne.hal.science/hal-00746053/document
https://ensta-bretagne.hal.science/hal-00746053/file/paper_lhommeau_wodes2012.pdf
[UNIV-BREST] Université de Bretagne occidentale - Brest (UBO)
[INSTITUT-TELECOM] Institut Mines Télécom
[ENSTA-BRETAGNE] ENSTA Bretagne
[CNRS] CNRS - Centre national de la recherche scientifique
[UNIV-ANGERS] Université d'Angers
[UNIV-UBS] Université de Bretagne Sud
[ENSTA-BRETAGNE-STIC] Département STIC
[ENIB] Ecole Nationale d'Ingénieurs de Brest
[LAB-STICC_ENIB] Laboratoire des Sciences et Techniques de l'Information, de la Communication et de la Connaissance, site ENIB Brest
[LAB-STICC] Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
[TDS-MACS] Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes
[INSTITUTS-TELECOM] composantes instituts telecom
A non-linear set-membership approach for the control of Discrete Event Systems
Lhommeau, Mehdi
Jaulin, Luc
Hardouin, Laurent
[SPI.AUTO] Engineering Sciences [physics]/Automatic
COMM
Max-plus Algebra
Timed Event Graphs
Min-Max-Plus
Interval Arithmetic
Constraint Satisfaction Problem
Max-plus Algebra
A variety of problems in non-linear time-evolution systems such as manufacturing plants, operations research, computer networks, etc., can be modelled as min-max-plus systems in which operations of min, max and addition appear simultaneously. It is well know that systems with only maximum (or minimum) constraints can be modelled as max-plus system and handled by max-plus algebra which changes the original non-linear system into linear system in this framework. Several authors have developed methods, in max-plus algebra, to compute control for max-plus systems. In general, these methods use the residuation theory to design a just-in- time control such that the output of the controlled system is, on the one hand, less than the desired reference signal but as close as possible to the given reference and, on the other hand, the control is delayed as much as possible. In this paper, we consider min-max-plus systems which are extensions of max-plus systems and non-linear even in the max-plus algebra view. We proposes a new approach to solve the just-in-time control problem for a non-linear min-max- plus system. This problem is cast into the more general framework of constraint satisfaction problems. This makes it possible to propose a new algorithm that contracts the feasible domains for each uncertain variable optimally (i.e., no smaller domain could be obtained) and e ciently.
2012-10-02
2012-10-29
en
Workshop on Discrete Event Systems - WODES
Guadalajara, Mexico