TY - CHAP A1 - Riegel, Amelie A1 - Kerber, Florian ED - Bertram, Torsten ED - Corves, Burkhard ED - Gräßler, Iris ED - Janschek, Klaus T1 - Assistierte Qualitätssicherung: Generierung eines Prüfplans T2 - Fachtagung Mechatronik 2019 KW - Assistenzsysteme KW - Qualitätssicherung KW - SynDiQuAss Y1 - 2019 UR - https://www.vdi-mechatroniktagung.de/images/programm/MT2019_Tagungsband.pdf SN - 978-3-945437-05-6 N1 - Postervortrag: Fachtagung Mechatronik 2019, Paderborn, Deutschland, 27.03.2019-28.03.2019 SP - 214 EP - 218 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 - TY - CHAP A1 - Kerber, Florian A1 - Kuttig, Helge A1 - Luangvilai, Kritsakorn A1 - Niethammer, Marc A1 - Jacobs, Laurence J. ED - Thompson, Donald O. ED - Chimenti, Dale E. T1 - Dispersive Wave Analysis Using the Chirplet Transform T2 - AIP Conference Proceedings: Review of Progess in Quanitative Nondestructive Evaluation KW - lamb waves KW - waveguides KW - time-frequency analysis KW - fourier analysis Y1 - 2007 U6 - https://doi.org/10.1063/1.2718031 SN - 1551-7616 N1 - Beitrag: Review of Progess in Quanitative Nondestructive Evaluation, Portland, Oregon, USA, 30.07.2006 - 04.08.2006 VL - 894 IS - 2007,1 SP - 642 EP - 649 ER - TY - CHAP A1 - Kerber, Florian A1 - Teubert, Dominik A1 - Meyer, Ulrike T1 - Covert Remote Syscall Communication at Kernel Level: A SPOOKY Backdoor T2 - 2015 10th International Conference on Malicious and Unwanted Software (MALWARE) KW - malware KW - invasive software KW - network intrusion detection systems KW - transport protocols Y1 - 2015 SN - 978-1-5090-0319-8 SN - 978-1-5090-0317-4 U6 - https://doi.org/10.1109/MALWARE.2015.7413687 N1 - Beitrag: 10th International Conference on Malicious and Unwanted Software (MALWARE), Fajardo, PR, USA, 20.10.2015 - 22.10.2015 SP - 74 EP - 81 PB - IEEE ER - TY - CHAP A1 - Wiedholz, Andreas A1 - Wucherer, Stefanie A1 - Dietrich, Simon A1 - Kerber, Florian T1 - Semantic 3D Scene Segmentation for Robotic Assembly Process Execution T2 - 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE) KW - point cloud compression KW - robotic assembly KW - three-dimensional displays KW - service robots KW - semantic segmentation Y1 - 2023 SN - 979-8-3503-2069-5 U6 - https://doi.org/10.1109/CASE56687.2023.10260532 SN - 2161-8089 N1 - Beitrag: 2023 IEEE 19th International Conference on Automation Science and Engineering (CASE), Auckland, Neuseeland, 26.08.2023 - 30.08.2023 SP - 132 EP - 137 PB - IEEE ER - TY - CHAP A1 - Öfele, Marcel A1 - Hartmann, Christoph A1 - Sommer, Sabrina A1 - Kerber, Florian A1 - Braunreuther, Stefan ED - Kovács, László T1 - KI in der Produktion T2 - Künstliche Intelligenz und menschliche Gesellschaft Y1 - 2023 U6 - https://doi.org/10.1515/9783111034706-008 N1 - Sammelband zur KI-Ringvorlesung 2022 an der Hochschule Augsburg SP - 105 EP - 120 PB - De Gruyter Oldenbourg CY - Berlin; München; Boston ER -