Monitoring and Scheduling Methods for MIMO-FIFO Systems Utilizing Max-Plus Linear Representation

  • Goto, Hiroyuki (Department of Management Information Systems Science Nagaoka University of Technology Nagaoka) ;
  • Masuda, Shiro (Faculty of System Design Tokyo Metropolitan University)
  • Published : 2008.06.30

Abstract

This paper proposes an approach to monitoring and scheduling methods for repetitive MIMO-FIFO DESs. We use max-plus algebra for modeling and formulation, known as an effective approach for controller design for this type of system. Because a certain type of linear equations in max-plus algebra can represent the system's behavior, the principal concerns in past researches were how to solve the equations. However, the researches focused mainly on analyses of the relation between inputs and outputs of the system, which implies that the changes or the slacks of internal states were not clarified well. We first examine several properties of the corresponding state variables, which contribute to finding and tracing the float times in each process. Moreover, we provide a rescheduling method that can take into account delays or changes of the internal states. These methods would be useful in schedule control or progress management.

Keywords

References

  1. Baccelli, F., Cohen, G., Olsder, G. J., and Quadrat, J. P. (1992), Synchronization and Linearity, An Algebra for Discrete Event Systems, John Wiley and Sons, New York.
  2. Boimond, J. L. and Ferrier, J. (1996), Internal model control and max-algebra, IEEE Transactions on Automatic Control, 41, 457-461.
  3. Cohen, G., Moller, P., Quadrat, J. P., and Viot, M. (1989), Algebraic tools for the performance evaluation of discrete event systems, Proceedings of the IEEE, 77, 39-58.
  4. Goto, H. and Masuda, S. (2004), Derivation algorithm of state-space equation based on max-plus algebra, Industrial Engineering and Management Systems, 3, 1- 11.
  5. Goto, H. and Masuda, S. (2004), On the properties of the greatest subsolution for linear equations in the maxplus algebra, IEICE Transactions on Fundamentals, E87-A, 424-432.
  6. Hillier, F. and Lieberman, G. (2002), Introduction to Operations Research 7ed., McGraw-Hill Science, New York.
  7. Ramamoorthy, C. and Ho, G. (1980), Performance evaluation of asynchronous concurrent systems using Petri nets, IEEE Transactions on Software Engineering, SE-6, 440-449.
  8. Menguy, E., Boimond, J. L., Hardouin, L., and Ferrier, J. (2000), A first step towards adaptive control for linear systems in max algebra, Discrete Event Dynamic Systems: Theory and Applications, 10, 347-367.
  9. Masuda, S., Goto, H., Amemiya, T., and Takeyasu, K. (2003), An optimal inverse system for max-plus linear systems with linear parameter-varying structure, Transactions of the Institute of System, Control and Information Engineers, 16, 44-53.
  10. Schutter, B. and Boom, T. (2001), Model predictive control for max-plus-linear systems, Automatica, 37, 1049-1056.