Samuel Coogan, Murat Arcak. Verifying safety of interconnected passive systems using SOS programming. In Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy. pages 5951-5956, IEEE, 2013. [doi]
@inproceedings{CooganA13,
title = {Verifying safety of interconnected passive systems using SOS programming},
author = {Samuel Coogan and Murat Arcak},
year = {2013},
doi = {10.1109/CDC.2013.6760828},
url = {http://dx.doi.org/10.1109/CDC.2013.6760828},
researchr = {https://researchr.org/publication/CooganA13},
cites = {0},
citedby = {0},
pages = {5951-5956},
booktitle = {Proceedings of the 52nd IEEE Conference on Decision and Control, CDC 2013, December 10-13, 2013, Firenze, Italy},
publisher = {IEEE},
isbn = {978-1-4673-5714-2},
}