Compositional and assume-guarantee reasoning for switching linear systems

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

Original language	English
Title of host publication	Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems
Publisher	The International Federation of Automatic Control
Number of pages	0
ISBN (Print)	9783902661593
Publication status	Published - 2009

Cite this

@inproceedings{b71c977c16b14dbd8297441a30ce0ee4,

title = "Compositional and assume-guarantee reasoning for switching linear systems",

author = "F. Kerber and Schaft, {A.J. van der}",

note = "Relation: http://www.ifac-papersonline.net/ Rights: The International Federation of Automatic Control",

year = "2009",

language = "English",

isbn = "9783902661593",

booktitle = "Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems",

publisher = "The International Federation of Automatic Control",

}

TY - GEN

T1 - Compositional and assume-guarantee reasoning for switching linear systems

AU - Kerber, F.

AU - Schaft, A.J. van der

N1 - Relation: http://www.ifac-papersonline.net/ Rights: The International Federation of Automatic Control

PY - 2009

Y1 - 2009

M3 - Conference contribution

SN - 9783902661593

BT - Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems

PB - The International Federation of Automatic Control

ER -