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

Xiang, Weiming; Tran, Hoang-Dung; Johnson, Taylor T.

doi:10.1109/TAC.2017.2692100

by Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson

Reference:

Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson, "Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification", In IEEE Transactions on Automatic Control (TAC), 2017.

Bibtex Entry:

@article{xiang2017tac,
    author = {Weiming Xiang and Hoang-Dung Tran and Taylor T. Johnson},
    title = {Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification},
    journal = {IEEE Transactions on Automatic Control (TAC)},
    year = {2017},
    pdf = {http://www.taylortjohnson.com/research/xiang2017tac.pdf},
    doi = {10.1109/TAC.2017.2692100},
}