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

by W Xiang, HD Tran and Taylor T. Johnson

Reference:

W Xiang, HD Tran and Taylor T. Johnson, "Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification", IEEE Transactions on Automatic Control (TAC), IEEE, vol. 62, no. 10, pp. 5380–5387, 2017.

Bibtex Entry:

@article{xiang2017tac,
  title = {Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification},
  author = {W Xiang and HD Tran and Taylor T. Johnson},
  year = {2017},
  month = oct,
  journal = {IEEE Transactions on Automatic Control (TAC)},
  volume = {62},
  number = {10},
  pages = {5380--5387},
  publisher = {IEEE},
  doi = {10.1109/TAC.2017.2692100},
  publabel = {J10},
  pubtype = {J},
  dblp = {journals/tac/XiangTJ17},
  pdf = "research/xiang2017tac.pdf",
}