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]
@article{XiangTJ17-0, title = {Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification}, author = {Weiming Xiang and Hoang-Dung Tran and Taylor T. Johnson}, year = {2017}, doi = {10.1109/TAC.2017.2692100}, url = {https://doi.org/10.1109/TAC.2017.2692100}, researchr = {https://researchr.org/publication/XiangTJ17-0}, cites = {0}, citedby = {0}, journal = {IEEE Trans. Automat. Contr.}, volume = {62}, number = {10}, pages = {5380-5387}, }