%0 Journal Article %1 journals/tac/XiangTJ17 %A Xiang, Weiming %A Tran, Hoang-Dung %A Johnson, Taylor T. %D 2017 %J IEEE Trans. Autom. Control. %K dblp %N 10 %P 5380-5387 %T Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification. %U http://dblp.uni-trier.de/db/journals/tac/tac62.html#XiangTJ17 %V 62

@article{journals/tac/XiangTJ17, added-at = {2024-04-08T00:00:00.000+0200}, author = {Xiang, Weiming and Tran, Hoang-Dung and Johnson, Taylor T.}, biburl = {https://www.bibsonomy.org/bibtex/25d4b851312d40556acea5b4531da329d/dblp}, ee = {https://doi.org/10.1109/TAC.2017.2692100}, interhash = {f66b7955c1ae5dc23022fd91c4efae2b}, intrahash = {5d4b851312d40556acea5b4531da329d}, journal = {IEEE Trans. Autom. Control.}, keywords = {dblp}, number = 10, pages = {5380-5387}, timestamp = {2024-04-12T14:36:15.000+0200}, title = {Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification.}, url = {http://dblp.uni-trier.de/db/journals/tac/tac62.html#XiangTJ17}, volume = 62, year = 2017 }