@inproceedings{KerbervanderSchaft2010, author = {Florian Kerber and Arjan van der Schaft}, title = {Compositional and Assume-Guarantee Reasoning for Switching Linear Systems}, booktitle = {IFAC Proceedings Volumes: 3rd IFAC Conference on Analysis and Design of Hybrid Systems}, volume = {42}, number = {2009,17}, pages = {328 -- 333}, doi = {10.3182/20090916-3-ES-3003.00057}, year = {2010}, }