Skip to main content

A test for behavioral equivalence (2000)
Journal Article
Hou, M., Pugh, A. C., & Hayton, G. E. (2000). A test for behavioral equivalence. IEEE transactions on automatic control, 45(11), 2177-2182. doi:10.1109/9.887674

External equivalence of behavioral representations is investigated within an impulsive-smooth framework. As an attendant problem, initial-value consistency is also considered. Explicit necessary and sufficient conditions are derived. Applying the ext... Read More about A test for behavioral equivalence.

Observer design based on triangular form generated by injective map (2000)
Journal Article
Hou, M., Busawon, K., & Saif, M. (2000). Observer design based on triangular form generated by injective map. IEEE transactions on automatic control, 45(7), 1350-1355. doi:10.1109/9.867046

A study is conducted which focuses on showing that for the multi-output case uniform observability is necessary but not sufficient for the existence of a coordinate change bringing a system a triangular form; providing a procedure to construct an inj... Read More about Observer design based on triangular form generated by injective map.

General solution to systems in polynomial matrix form (2000)
Journal Article
Hou, M., Pugh, A. C., & Hayton, G. E. (2000). General solution to systems in polynomial matrix form. International journal of control, 73(9), 733-743. doi:10.1080/00207170050029241

Solvability and general solutions to dynamic systems in polynomial matrix descriptions are investigated. The polynomial matrix descriptions need not necessarily be regular. Consistency of initial Values and inputs are discussed. The characterization... Read More about General solution to systems in polynomial matrix form.