TY - CHAP A1 - Kerber, Florian A1 - van der Schaft, Arjan T1 - Compositional Properties of Passivity T2 - 2011 50th IEEE Conference on Decision and Control and European Control Conference KW - closed loop systems KW - interconnected systems KW - linear systems KW - negative feedback interconnection Y1 - 2011 SN - 978-1-61284-801-3 U6 - https://doi.org/10.1109/CDC.2011.6160591 SN - 0191-2216 SP - 4628 EP - 4633 PB - IEEE ER - TY - CHAP A1 - Kerber, Florian A1 - van der Schaft, Arjan T1 - Decentralized Control Using Compositional Analysis Techniques T2 - 2011 50th IEEE Conference on Decision and Control and European Control Conference KW - distributed control KW - cognition KW - silicon KW - linear systems KW - closed loop systems KW - trajectory Y1 - 2011 SN - 978-1-61284-801-3 SN - 978-1-61284-800-6 U6 - https://doi.org/10.1109/CDC.2011.6160781 SN - 0191-2216 SP - 2699 EP - 2704 PB - IEEE ER - TY - CHAP A1 - Kerber, Florian A1 - van der Schaft, Arjan T1 - Compositional Analysis for Linear Control Systems T2 - HSCC '10: Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control KW - linear systems KW - assume-guarantee reasoning KW - compositional reasoning KW - simulation relations Y1 - 2010 SN - 978-1-60558-955-8 U6 - https://doi.org/10.1145/1755952.1755957 SP - 21 EP - 30 PB - Association for Computing Machinery CY - New York ER - TY - JOUR A1 - Kerber, Florian A1 - van der Schaft, Arjan T1 - Compositional Analysis for Linear Systems JF - Systems & Control Letters KW - compositional reasoning KW - computer simulation KW - linear systems Y1 - 2010 UR - https://research.rug.nl/files/2629447/2010SystContLettKerber.pdf U6 - https://doi.org/10.1016/j.sysconle.2010.08.002 SN - 0167-6911 VL - 59 IS - 2010,10 SP - 645 EP - 653 ER -