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 - 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 N1 - Beitrag: 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC), Orlando, FL, USA, 12.12.2011 - 15.12.2011 SP - 2699 EP - 2704 PB - IEEE ER - 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 N1 - Beitrag: 50th IEEE Conference on Decision and Control and European Control Conference, Orlando, FL, USA, 12.12.2011 - 15.12.2011 SP - 4628 EP - 4633 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 N1 - Beitrag: HSCC’10, Stockholm, Schweden, 12.04.2010 – 15.04.2010 SP - 21 EP - 30 PB - Association for Computing Machinery CY - New York ER - TY - CHAP A1 - Kerber, Florian A1 - van der Schaft, Arjan T1 - Assume-Guarantee Reasoning for Linear Dynamical Systems T2 - 2009 European Control Conference (ECC) KW - decision support systems KW - Europe KW - power capacitors KW - cognition Y1 - 2009 SN - 978-3-9524173-9-3 U6 - https://doi.org/10.23919/ECC.2009.7075195 N1 - Beitrag: European Control Conference (ECC 2009), Budapest, Ungarn, 23.08.2009 – 26.08.2009 SP - 5015 EP - 5020 PB - IEEE ER - TY - CHAP A1 - Kerber, Florian A1 - van der Schaft, Arjan T1 - Compositional and Assume-Guarantee Reasoning for Switching Linear Systems T2 - IFAC Proceedings Volumes: 3rd IFAC Conference on Analysis and Design of Hybrid Systems KW - switching linear systems KW - simulation relations KW - compositional Reasoning KW - assume-guarantee reasoning Y1 - 2009 SN - 978-3-902661-59-3 U6 - https://doi.org/10.3182/20090916-3-ES-3003.00057 SN - 1474-6670 N1 - Beitrag: 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza, Spanien, 16.09.2009 - 17.09.2009 N1 - The Copyright of articles submitted to IFAC before October 1, 2019, belongs to IFAC. The full text of these articles is publicly available on ScienceDirect. VL - 42 IS - 2009,17 SP - 328 EP - 333 ER -