Fixed poles in the model matching problem for systems over semirings. (English) Zbl 1159.93019
Summary: Conditions for the existence of the model matching problem are studied for systems over semirings, which are used in many applications, such as queueing systems, communication networks, and manufacturing systems. The main contribution is the discovery of fixed pole structure in solutions for the model matching problem. This fixed pole structure provides essential information contained in all the solutions for the model matching problem. For a discrete-event dynamic system example, a common Petri net component in the solutions of the model matching problem can be discovered from the fixed pole structure.
MSC:
| 93C65 | Discrete event control/observation systems |
| 93A30 | Mathematical modelling of systems (MSC2010) |
| 16Y60 | Semirings |
| 93B55 | Pole and zero placement problems |
References:
| [1] | Aaron, M. R., Synthesis of feedback control systems by means of pole and zero location of the closed loop function, AIEE Trans., 70, 1439-1445 (1951) |
| [2] | Al-Thani, H. M.J., \(k\)-Projective semimodules, KOBE J. Math., 13, 49-59 (1996) · Zbl 0869.16033 |
| [3] | Baccelli, F. L.; Cohen, G.; Olsder, G. J.; Quadrat, J. P., Synchronization and Linearity: An Algebra for Discrete-Event Systems (1992), John Wiley and Sons: John Wiley and Sons New York · Zbl 0824.93003 |
| [4] | Blyth, T. S., Module Theory: An Approach to Linear Algebra (1977), Clarendon Press: Clarendon Press Oxford · Zbl 0353.15004 |
| [5] | Le Boudec, J.-Y.; Thiran, P., Network Calculus (2002), Springer-Verlag: Springer-Verlag New York |
| [6] | Cassandras, C. G., Discrete-Event Systems: Modeling and Performance Analysis (1993), Irwin: Irwin Boston |
| [7] | Colaneri, P.; Kučera, V., The model matching problem for periodic discrete-time systems, IEEE Trans. Automat. Control, 42, 1472-1476 (1997) · Zbl 0895.93006 |
| [8] | Conte, G.; Perdon, A. M.; Wyman, B. F., Fixed poles in transfer function equations, SIAM J. Control Optim., 26, 356-368 (1988) · Zbl 0642.93028 |
| [9] | Cottenceau, B.; Hardouin, L.; Boimond, J.-L.; Ferrier, J.-L., Model reference control for timed event graphs in dioids, Automatica, 37, 1451-1458 (2001) · Zbl 0999.93045 |
| [10] | Gao, Z.; Antsaklis, P. J., On stable solutions of the one- and two-sided model matching problems, IEEE Trans. Automat. Control, 34, 978-982 (1989) · Zbl 0693.93025 |
| [11] | Golan, J. S., Semirings and Their Applications (1999), Kluwer Academic Publishers: Kluwer Academic Publishers Boston · Zbl 0947.16034 |
| [12] | E. Jonckheere, P. Lohsoonthorn, A geometric approach to model matching reconfigurable propulsion control, in: Proceedings of the American Control Conference, 2000, pp. 2388-2392.; E. Jonckheere, P. Lohsoonthorn, A geometric approach to model matching reconfigurable propulsion control, in: Proceedings of the American Control Conference, 2000, pp. 2388-2392. |
| [13] | Kalman, R. E., Algebraic structure of linear dynamical systems: I. The module of \(\Sigma \), Proc. Natl. Acad. Sci. USA, 54, 6, 1503-1508 (1965) · Zbl 0144.11604 |
| [14] | S. Kotsios, A model matching algorithm for a class of nonlinear discrete systems a symbolic computational approach, in: Proceeding of IEEE Conference on Decision and Control, 2005, pp. 6603-6607.; S. Kotsios, A model matching algorithm for a class of nonlinear discrete systems a symbolic computational approach, in: Proceeding of IEEE Conference on Decision and Control, 2005, pp. 6603-6607. |
| [15] | Kotta, U., Model matching problem for nonlinear recursive systems, Proc. Estonian Acad. Sci. Phys. Math., 46, 251-261 (1997) · Zbl 0911.93013 |
| [16] | C.A. Maia, L. Hardouin, R. Santos-Mendes, B. Cottenceau, On the model reference control for max-plus linear systems, in: Proceeding of IEEE Conference on Decision and Control, 2005, pp. 7799-7803.; C.A. Maia, L. Hardouin, R. Santos-Mendes, B. Cottenceau, On the model reference control for max-plus linear systems, in: Proceeding of IEEE Conference on Decision and Control, 2005, pp. 7799-7803. |
| [17] | Morse, A. S., Structure and design of linear model following systems, IEEE Trans. Automat. Control, 18, 346-354 (1973) · Zbl 0264.93005 |
| [18] | Y. Osa, T. Mabuchi, S. Uchikado, Synthesis of discrete time adaptive flight control system usingnonlinear model matching, in: Proceedings of IEEE International Symposium on Industrial Electronics Publication, vol. 1, 2001, pp. 58-63.; Y. Osa, T. Mabuchi, S. Uchikado, Synthesis of discrete time adaptive flight control system usingnonlinear model matching, in: Proceedings of IEEE International Symposium on Industrial Electronics Publication, vol. 1, 2001, pp. 58-63. |
| [19] | Y. Osa, S. Uchikado, T. Mabuchi, Synthesis of nonlinear model matching flight control system for high maneuver vehicle, in: Proceedings of the Fourth International Conference on Control and Automation, 2003, pp. 23-27.; Y. Osa, S. Uchikado, T. Mabuchi, Synthesis of nonlinear model matching flight control system for high maneuver vehicle, in: Proceedings of the Fourth International Conference on Control and Automation, 2003, pp. 23-27. |
| [20] | P. Picard, J.F. Lafay, V. Kučera, Model matching for linear systems with delays, in: Proceedings of the 13th IFAC World Congress, 1996, pp. 183-188.; P. Picard, J.F. Lafay, V. Kučera, Model matching for linear systems with delays, in: Proceedings of the 13th IFAC World Congress, 1996, pp. 183-188. |
| [21] | P.M. Sain, Y. Shang, M.K. Sain, Reachability analysis for \(N\)-squared state charts over a Boolean semiring applied to a hysteretic discrete-event structural control model, in: Proceedings of American Control Conference, 2005, pp. 3072-3077.; P.M. Sain, Y. Shang, M.K. Sain, Reachability analysis for \(N\)-squared state charts over a Boolean semiring applied to a hysteretic discrete-event structural control model, in: Proceedings of American Control Conference, 2005, pp. 3072-3077. |
| [22] | Y. Shang, M.K. Sain, On the zero semimodules of systems over a semiring with applications to queueing systems, in: Proceedings of American Control Conference, 2005, pp. 225-230.; Y. Shang, M.K. Sain, On the zero semimodules of systems over a semiring with applications to queueing systems, in: Proceedings of American Control Conference, 2005, pp. 225-230. |
| [23] | Y. Shang, M.K. Sain, Fixed zeros of the model matching problem for systems over a semiring, in: Proceedings of IEEE Conference on Decision and Control, 2007, pp. 3381-3386.; Y. Shang, M.K. Sain, Fixed zeros of the model matching problem for systems over a semiring, in: Proceedings of IEEE Conference on Decision and Control, 2007, pp. 3381-3386. |
| [24] | Shang, Y.; Sain, M. K., Systems over a Semiring: Realization and Decoupling. Systems over a Semiring: Realization and Decoupling, Advance in Statistical Control, Algebraic Systems Theory, and Dynmaic Systems Characteristic (2008), Birkhäuser: Birkhäuser Boston, pp. 129-144 · Zbl 1193.93088 |
| [25] | Y. Shang, Semimodule Morphic Systems: Realization, Model Matching, and Decoupling, Ph.D. Thesis, Department of Electrical and Computer Engineering, University of Notre Dame, Notre Dame, IN, 2006.; Y. Shang, Semimodule Morphic Systems: Realization, Model Matching, and Decoupling, Ph.D. Thesis, Department of Electrical and Computer Engineering, University of Notre Dame, Notre Dame, IN, 2006. |
| [26] | Takahashi, M., On the Bordism categories. II: Elementary properties of semimodules, Math. Semin. Notes, 9, 495-530 (1981) · Zbl 0492.55006 |
| [27] | Vardulakis, A., Proper rational matrix diophantine equations and the exact model matching problem, IEEE Trans. Automat. Control, 29, 475-477 (1984) · Zbl 0539.93017 |
| [28] | Wang, S. H.; Davison, E. J., A minimization algorithm for the design of linear multivariable systems, IEEE Trans. Automat. Control, 18, 220-225 (1973) · Zbl 0261.93010 |
| [29] | Wang, S. H.; Desoer, C. A., The exact model matching of linear multivariable systems, IEEE Trans. Automat. Control, 17, 347-349 (1972) · Zbl 0262.93016 |
| [30] | Wolovich, W. A., The use of state feedback for exact model matching, SIAM J. Control, 10, 512-523 (1972) · Zbl 0241.93008 |
| [31] | Wyman, B. F.; Sain, M. K., The zero module and essential inverse systems, IEEE Trans. Circuits Systems, 8, 2, 112-126 (1981) · Zbl 0474.93023 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
