Abstract
A one-to-one correspondence is shown to exist between the lattice of all self-bounded (A, ℬ)-controlled invariants contained in ℒ and the lattice of all self-hidden (A, ℒ)-conditioned invariants containing ℬ. This correspondence, stated herein as the main dual-lattice theorem, allows a straightforward derivation of the universal bounds of the lattices, particularly when additional constraints are imposed, such as to contain a given subspace ℘ for the elements of the former lattice and to be contained in a given subspace ℒ for the elements of the latter. Then, two further minor dual-lattice theorems, dual to each other, are presented, and some connections and applications of the new theory to standard control and observation problems are briefly discussed.
Similar content being viewed by others
References
Basile, G., andMarro, G.,Controlled and Conditioned Invariant Subspaces in Linear System Theory, Journal of Optimization Theory and Applications, Vol. 3, No. 5, pp. 305–315, 1969.
Wonham, W. M., andMorse, A. S.,Decoupling and Pole Assignment in Linear Multivariable Systems: A Geometric Approach, SIAM Journal on Control, Vol. 8, No. 1, pp. 1–18, 1970.
Basile, G., andMarro, G.,Self-Bounded Controlled Invariant Subspaces: A Straightforward Approach to Constrained Controllability, Journal of Optimization Theory and Applications, Vol. 38, No. 1, pp. 71–81, 1982.
Wonham, W. M.,Linear Multivariable Control: A Geometric Approach, Springer-Verlag, New York, New York, 1974.
Marro, G.,Fondamenti di Teoria dei Sistemi, Patron Editore, Bologna, Italy, 1975.
Heymann, M.,Comments “On Pole Assignment in Multi-Input Controllable Linear Systems,” IEEE Transactions on Automatic Control, Vol. AC-13, No. 6, pp. 747–748, 1968.
Hautus, M. L. J.,A Simple Proof of Heymann's Lemma, IEEE Transactions on Automatic Control, Vol. AC-22, No. 5, pp. 885–886, 1977.
Basile, G., andMarro, G.,L'Invarianza Rispetto ai Disturbi Studiata nello Spazio degli Stati, Rendiconti della LXX Riunione Annuale AEI, Paper No. 1-4-01, 1969.
Marro, G.,Controlled and Conditioned Invariance in the Synthesis of Unknown-Input Observers and Inverse Systems, Control and Cybernetics (Poland), Vol. 2, Nos. 3–4, pp. 81–98, 1973.
Battacharyya, S. P.,Observers Design for Linear Systems with Unknown Inputs, IEEE Transactions on Automatic Control, Vol. AC-23, No. 3, pp. 483–484, 1978.
Basile, G., Hamano, F., andMarro, G.,Some New Results on Unknown-Input Observability, Proceedings of the 8th IFAC Congress, Kyoto, Paper No. 2.1, 1981.
Basile, G., andMarro, G.,On the Observability of Linear, Time-Invariant Systems with Unknown Inputs, Journal of Optimization Theory and Applications, Vol. 3, No. 6, pp. 410–415, 1969.
Laschi, R., andMarro, G.,Alcune Considerazioni sull' Osservabilità dei Sistemi Dinamici con Ingressi Inaccessibili, Rendiconti della LXX Riunione Annuale AEI, Paper No. 1-1-06, 1969.
Basile, G., andMarro, G.,Self-Bounded Controlled Invariants Versus Stabilizability, Journal of Optimization Theory and Applications, Vol. 48, No. 2, pp. 245–263, 1986.
Imai, H., andAkashi, H.,Disturbance Localization and Pole Shifting by Dynamic Compensation, IEEE Transactions on Automatic Control, Vol. AC-26, No. 1, pp. 490–504, 1981.
Willems, J. C., andCommault, C.,Disturbance Decoupling by Measurement Feedback with Stability or Pole Placement, SIAM Journal of Control and Optimization, Vol. 19, No. 4, pp. 490–504, 1981.
Wonham, W. M., andPearson, J. B.,Regulation and Internal Stabilization in Linear Multivariable Systems, SIAM Journal on Control, Vol. 12, No. 1, pp. 5–18, 1974.
Shumacher, J. M. H.,Regulator Synthesis Using (C, A, B)-Paris, IEEE Transactions on Automatic Control, Vol. AC-27, No. 6, pp. 1211–1221, 1982.
Author information
Authors and Affiliations
Additional information
Communicated by G. Leitmann
Rights and permissions
About this article
Cite this article
Basile, G., Marro, G. Dual-lattice theorems in the geometric approach. J Optim Theory Appl 48, 229–244 (1986). https://doi.org/10.1007/BF00940671
Issue Date:
DOI: https://doi.org/10.1007/BF00940671