Order-reduction abstractions for safety verification of high-dimensional linear systems

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

doi:10.1007/s10626-017-0244-y

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

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},
}