THE BEST SOLUTION FOR INEQUALITIES OF A O CROSS X LOWER THAN X FROM B O DOT X USING HIGH MATRIX RESIDUATION OF IDEMPOTENT SEMIRING
DOI:
https://doi.org/10.21831/jsd.v5i1.12663Keywords:
complete lattice, complete idempotent semiring, dual Kleene Star, dual product, residuation theoryAbstract
Abstract
A complete idempotent semiring has a structure which is called a complete lattice. Because of the same structure as the complete lattice then inequality of the complete idempotent semiring can be solved a solution by using residuation theory. One of the inequality which is explained is where matrices A,X,B with entries in the complete idempotent semiring S. Furthermore, introduced dual product , i.e. binary operation endowed in a complete idempotent semirings S and not included in the standard definition of complete idempotent semirings. A solution of inequality can be solved by using residuation theory. Because of the guarantee that for each isotone mapping in complete lattice always has a fixed point, then is also exist in a complete idempotent semirings. This of the characteristics is used in order to obtain the greatest solution of inequality .
Keywords: complete lattice, complete idempotent semiring, dual Kleene Star, dual product, residuation theory
References
Baccelli, F., Cohen, G., Olsder, J., dan Quadrat, J.P., 1992, Synchronization and Linearity, An Algebra for Discrete Event Sys-tems, John Wiley and Sons, New York
Gaubert, S., 1997, Methodes and Application of (max,+) Linear Algebra, Rapport de Recherche.
Hardouin, L., Cottenceau, B., Le Corronc, E., 2010, Control of uncertain (max,+)-linear system in order to decrease uncertainty, University of Angers
Hardouin, L., Cottenceau, B., Le Corronc, E., 2010, On The Dual Product and The Dual Residua-tion over Idempotent Semiring of Intervals, University of Angers, Perancis
Judson, T.W., 2010, Abstract Algebra :
Theory and Applications, Stephen F. Austin State University.
Lhommeau, M., Hardouin, L., Cot-tenceau, B., 2009, Disturbance Decoupling of Timed Event Graphs by Output Feedback Controller, University of Angers
Houssin, L., Lahaye, S., dan Boimond, J.L., (2008), Control of (Max,+) - Linear Sys-tems Minimizing Delays, University of Angers, Perancis
Lhommeau, M., Hardouin, L., Cot-tenceau, B., Maia, C.A., 2010, Observer Design for (max,plus) Linear Systems, IEEE Transaction on Automatic Control vol. 55-2
Ouerghi, I., dan Hardouin, L., 2006, Control Synthesis for P-Temporal Event Graphs, International Workshop on Discrete Event Systems, An Arbor, USA
Tarski, A., 1955, A Lattice Theoretical Fixed Point Theorem and Its Applications, Paci c Journal of Mathematics 5 no.2 285-305
Andersen, M. H., 2002, Max – plus Algebra: Properties and Applications, Lamarie, WY
Brunch, T., Hardouin, L., dan Raisch, J., 2011, Modeling Control of Nested Manufacturing Processes Using Dioid Models, In Peprints of the 3rd International Workshop on Depend-able Control of Discrete Systems, Jerman
Brunch, T , Hardouin, L., Boutin, O., Cottenceau, B., Raisch, J., 2013, Discrete Event Systems in a Dioid Framework: Control Theory, Control of Discrete Event Systems, Volume 433 of Lecture Notes in Control and Information Sciences, Springer, Berlin
Brunsch, T., 2014, Dissertation : Modeling and Control of Complex Systems in A Dioid FrameWork, Berlin
Cohen, G., Gaubert, S., dan Quadrat, J.P., 1998, Max plus Algebra and System Theory : Where We Are and Where to Go Now, IFAC Conference on Systems and Control
Downloads
Published
How to Cite
Issue
Section
License
Copyright of the published articles will be hold by the authors.
Publisher of JSD is Universitas Negeri Yogyakarta
The copyright follows Creative Commons Attribution–ShareAlike License (CC BY SA): This license allows to Share "” copy and redistribute the material in any medium or format, Adapt "” remix, transform, and build upon the material, for any purpose, even commercially.
