![](/img/cover-not-exists.png)
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification
Xiang, Weiming, Tran, Hoang-Dung, Johnson, Taylor T.Year:
2017
Language:
english
Journal:
IEEE Transactions on Automatic Control
DOI:
10.1109/TAC.2017.2692100
File:
PDF, 1.30 MB
english, 2017