Florian Kerber, Arjan van der Schaft. Compositional and Assume-Guarantee Reasoning for Switching Linear Systems. In Alessandro Giua, Cristian Mahulea, Manuel Silva 0001, Janan Zaytoon, editors, 3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, Zaragoza, Spain, September 16-18, 2009. Volume 42 of IFAC Proceedings Volumes, pages 328-333, Elsevier, 2009. [doi]
@inproceedings{KerberS09,
title = {Compositional and Assume-Guarantee Reasoning for Switching Linear Systems},
author = {Florian Kerber and Arjan van der Schaft},
year = {2009},
doi = {10.3182/20090916-3-ES-3003.00057},
url = {https://doi.org/10.3182/20090916-3-ES-3003.00057},
researchr = {https://researchr.org/publication/KerberS09},
cites = {0},
citedby = {0},
pages = {328-333},
booktitle = {3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, Zaragoza, Spain, September 16-18, 2009},
editor = {Alessandro Giua and Cristian Mahulea and Manuel Silva 0001 and Janan Zaytoon},
volume = {42},
number = {17},
series = {IFAC Proceedings Volumes},
publisher = {Elsevier},
}