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]

Abstract

Abstract is missing.