Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson. Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification. IEEE Trans. Automat. Contr., 62(10):5380-5387, 2017. [doi]

Authors

Weiming Xiang

This author has not been identified. Look up 'Weiming Xiang' in Google

Hoang-Dung Tran

This author has not been identified. Look up 'Hoang-Dung Tran' in Google

Taylor T. Johnson

This author has not been identified. Look up 'Taylor T. Johnson' in Google