Order-reduction abstractions for safety verification of high-dimensional linear systems (bibtex)
by , , ,
Reference:
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson, "Order-reduction abstractions for safety verification of high-dimensional linear systems", In Discrete Event Dynamic Systems (DEDS), 2017.
Bibtex Entry:
@article{tran2017deds,
        author = {Hoang-Dung Tran and Luan Viet Nguyen and Weiming Xiang and Taylor T. Johnson},
        title = {Order-reduction abstractions for safety verification of high-dimensional linear systems},
        journal = {Discrete Event Dynamic Systems (DEDS)},
        year = {2017},
        pdf = {http://www.taylortjohnson.com/research/tran2017deds.pdf},
	doi = {10.1007/s10626-017-0244-y},
	url = {http://rdcu.be/q8Xd},
}
Powered by bibtexbrowser