Compositional Verification
event
Submitted by phorvath on Mon, 04/16/2012 - 6:17pm
The 2012 Review Meeting will be held February 27th, 2012 at ISIS.
file
(Under review in IEEE Transactions on Control Systems Technology: “A Backstepping Control Framework for Networked Control of m-Triangular Systems”) m-Triangular Systems are dynamical physical systems which can be described by m triangular subsystem models. Many physical system models such as those which describe fixed-wing and quadrotor aircraft can be realized as m-Triangular Systems. However, many control engineers try to fit their dynamical model into a 1-Triangular System model.
