![](/img/cover-not-exists.png)
[IEEE 2013 IEEE 52nd Annual Conference on Decision and Control (CDC) - Firenze (2013.12.10-2013.12.13)] 52nd IEEE Conference on Decision and Control - Verifying safety of interconnected passive systems using SOS programming
Coogan, Samuel, Arcak, MuratYear:
2013
Language:
english
DOI:
10.1109/cdc.2013.6760828
File:
PDF, 394 KB
english, 2013