Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification (bibtex)
by , ,
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},
}
Powered by bibtexbrowser