Actas de congresos
A Super-eigenvector Approach To Control Constrained Max-plus Linear Systems
Registro en:
9781612848006
Proceedings Of The Ieee Conference On Decision And Control. , v. , n. , p. 1136 - 1141, 2011.
1912216
10.1109/CDC.2011.6160411
2-s2.0-84860658316
Autor
Maia C.A.
Hardouin L.
Santos-Mendes R.
Loiseau J.J.
Institución
Resumen
The control of timed Petri nets subject to synchronization and time delay phenomena is addressed in this paper. This class of timed Petri nets can be described by using the max-plus algebra. The objective is to design a feedback controller for a max-plus linear system to ensure that the system evolution respects time constraints imposed to the state that can be expressed by a semimodule. In order to achieve this goal, an approach based on the definition of the super-eigenvector of a matrix is proposed. Under some conditions, it ensures the existence of a feedback and allows us to compute it. The contribution is illustrated by a transportation control problem taken from literature. © 2011 IEEE.
1136 1141 Akian, M., Gaubert, S., Walsh, C., Discrete max-plus spectral theory (2005) Idempotent Mathematics and Mathematical Physics, 377, pp. 53-77 Allamigeon, X., Gaubert, S., Goubault, E., Inferring min and max invariants using max-plus polyhedra (2008) Proceedings of the 15th International Static Analysis Symposium (SAS'08), pp. 189-204. , Springer LNCS number 5079 Amari, S., Demongodin, I., Loiseau, J.J., Control of linear minplus systems under temporal constraints (2005) 44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC'05), pp. 7738-7743. , Seville, Spain, Dec Baccelli, F., Cohen, G., Olsder, G.J., Quadrat, J.P., (1992) Synchronisation and Linearity: An Algebra for Discrete Event Systems, , John Wiley and Sons, New York Blyth, T.S., (2005) Lattices and Ordered Algebraic Structures, , Springer, London Butkovic, P., Hegedüs, G., An elimination method for finding all solutions of the system of linear equations over an extremal algebra (1984) Ekon. Mat. Obzor, 20, pp. 203-214 Cassandras, C.G., Lafortune, S., (1999) Introduction to Discrete Event Systems, , Kluwer Academic Publishers Cohen, G., Gaubert, S., Quadrat, J.P., Duality and separation theorems in idempotent semimodules (2004) Linear Algebra and Appl., 379, pp. 395-422 Cottenceau, B., Hardouin, L., Boimond, J.L., Ferrier, J.L., Model reference control for timed event graphs in dioid (2001) Automatica, 37, pp. 1451-1458 Cottenceau, B., Hardouin, L., Lhommeau, M., Boimond, J.-L., (2000) Data Processing Tool for Calculation in Dioid, , www.istia.univ-angers.fr/hardouin/outils.html De Vries, R., De Schutter, B., De Moor, B., On max-algebraic models for transportation networks (1998) Workshop on Discrete Event Systems (WODES'98), pp. 457-462. , Cagliary, Italy, Aug Garcia, T., Cury, J.E.E., Kraus, W., Demongodin, I., (2007) Traffic Light Coordination of Urban Corridors Using Max-plus Algebra, pp. 103-108. , Buenos Aires - Argentina, Feb 8-10 Gaubert, S., (1992) Théorie des Systèmes Linéaires dans les Dioïdes, , Thèse de doctorat, Ecole des Mines de Paris, Paris Hardouin, L., Maia, C.A., Cottenceau, B., Lhommeau, M., Observer design for (max,plus) linear systems (2010) IEEE Transactions on Automatic Control, 55 (2), pp. 538-543. , February Heidergott, B., Olsder, G.-J., Van Der Woude, J., (2006) Max Plus at Work: Modeling and Analysis of Synchronized Systems: A Course on MaxPlus Algebra and its Applications, , Princeton University Press Houssin, L., Lahaye, S., Boimond, J.L., Just in time control of constrained (max,+)-linear systems (2007) Discrete Event Dynamic Systems. Theory and Applications, 17 (2), pp. 159-178 Quadrat, J.-P., (2007), www.scilab.org/contribKatz, R.D., Max-plus (a,b)-invariant spaces and control of timed discrete-event systems (2007) IEEE Transactions on Automatic Control, 52 (2), pp. 229-241 Lhommeau, M., Hardouin, L., Cottenceau, B., Disturbance decoupling of timed event graphs by output feedback controller (2002) WODES'2002, Workshop on Discrete Event Systems, , Zaragoza, Espagne Lhommeau, M., Hardouin, L., Cottenceau, B., Jaulin, L., Interval analysis in dioid: Application to obust controller design for timed event graphs (2004) Automatica, 40 (11), pp. 1923-1930. , Nov Lüders, R., Santos-Mendes, R., Generalized multivariable control of discrete event systems in dioid (2002) 6th International Workshop on Discrete Event Systems (WODES'02), , Zaragoza, Spain Maia, C.A., Andrade, C.R., Hardouin, L., On the control of maxplus linear system subject to state restriction (2011) Automatica, 47 (5), pp. 988-992. , May Maia, C.A., Hardouin, L., Santos-Mendes, R., Cottenceau, B., Optimal closed-loop of timed event graphs in dioids (2003) IEEE Trans. on Automatic Control, 48 (12), pp. 2284-2287. , Dec Maia, C.A., Hardouin, L., Santos-Mendes, R., Cottenceau, B., On the model reference control for max-plus linear systems (2005) 44th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC'05), pp. 7799-7803. , Seville, Spain, Dec Menguy, E., Boimond, J.L., Hardouin, L., Ferrier, J.L., Just-in-time control of timed event graphs update of reference input, presence of uncontrollable input (2000) IEEE Trans. on Automatic Control, 45 (11), pp. 2155-2158 Murata, T., Petri nets: Properties, analysis and applications (1989) Proceedings of the IEEE, 77 (4), pp. 541-580 Necoara, I., Kerrigan, E.C., De Schutter, B., Van Den Boom, T.J.J., Finite-horizon minmax control of max-plus-linear systems (2007) IEEE Trans. on Automatic Control, 52 (6), pp. 1088-1093. , Jun Ouerghi, I., Hardouin, L., Control synthesis for p-temporal event graphs (2006) Workshop on Discrete Event Systems (WODES'2006), , Michigan, USA, Jul