Startseite
Forschungsgruppe
Publikationen
Softwareentwicklung
Lehre
Aktivitäten
Auszeichnungen
Offene Stellen
Google Scholar

Akademische Aktivitäten
 

Programmkomitee & Redaktion

  • PhD Defence Committee at the LUT University, Finland, 2024

  • Artifact Evaluation Program Committee for the ACM International Conference on the Foundations of Software Engineering (FSE 2024)

  • PhD Defence Committee at the Norwegian University of Science and Technology, Norway (Februar 2024)

  • Publication Editor for the 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024)

  • Associate Editor for the 8th IEEE Conference on Control Technology and Applications (CCTA 2024)

  • Associate Editor for the 27th IEEE International Conference on Intelligent Transportation Systems (ITSC 2024)

  • Program Committee for the 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024)

  • Program Committee for the 6th Annual Learning for Dynamics & Control Conference (L4DC 2024)

  • Program Committee for the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024), as a part of CPS-IoT Week 2024

  • Program Committee for the 38th Annual AAAI Conference on Artificial Intelligence (AAAI-24), Special Track on Safe, Robust and Responsible Artificial Intelligence

  • Associate Editor for European Control Conference (ECC 2024)

  • Publication Chair for the 27th IEEE International Conference on Intelligent Transportation Systems (ITSC 2024)

  • Website Co-chair for the IEEE Technical Committee on Hybrid Systems

  • Publicity Chair for the 8th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2024)

  • Associate Editor for IFAC journal Nonlinear Analysis: Hybrid Systems (NAHS) since February 2023

  • IEEE CSS Technology Conferences Editorial Board (TCEB)

  • Associate Editor for European Control Conference (ECC 2023)

  • Associate Editor for a Special Section entitled “Formal Verification and Synthesis of Cyber-Physical Systems” in IEEE Open Journal of Control Systems, 2022

  • Associate Editor for European Control Conference (ECC 2022)

  • Program Committee for the 4th IFAC Workshop on Cyber-Physical & Human Systems (CPHS 2022)

  • Program Committee for Workshop on Computation-Aware Algorithmic Design for Cyber- Physical Systems (CAADCPS) at the CPS-IoT Week 2022

  • Program Committee for WIP, Posters and Demo Sessions of 13th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2022)

  • Program Committee for Workshop on Computation-Aware Algorithmic Design for Cyber- Physical Systems (CAADCPS) at the CPS-IoT Week 2021

  • IEEE Technical Committee on Hybrid Systems (since 2020)

Konferenz/Workshop-Organisation

  • Organizer of a workshop on “Data-Driven Verification and Control with Provable Guarantees” at the 22nd European Control Conference (ECC 2024) - link to workshop

  • Organizer of multiple invited sessions on “Data-Driven Verification and Control of Cyber-Physical Systems” at the 22nd European Control Conference (ECC 2024)

  • Organizer of multiple invited sessions on “Data-Driven Verification and Control of Cyber-Physical Systems” at the 62nd IEEE Conference on Decision and Control (CDC 2023)

  • Organizer of the ARCH initiative: “An annual friendly competition among software tools for stochastic hybrid systems” at the CPS-IoT Week 2023

  • Organizer of a workshop on “Data-Driven Verification and Control of Cyber-Physical Systems” at the IFAC World Congress 2023 - link to workshop

Sitzungsleiter

  • Chair of the session “Learning” at the 27th ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2024)

  • Chair of invited sessions on “Data-Driven Verification and Control of Cyber-Physical Systems” at the 22nd European Control Conference (ECC 2024)

  • Chair of multiple invited sessions on “Data-Driven Verification and Control of Cyber-Physical Systems” at the 62nd IEEE Conference on Decision and Control (CDC 2023)

  • Chair of the session “Stochastic Systems” at the 61st IEEE Conference on Decision and Control (CDC 2022)

  • Co-chair of the session “Large-Scale Systems” at the 61st IEEE Conference on Decision and Control (CDC 2022)

  • Chair of the session “Stochastic System” in Virtual American Control Conference (ACC 2022)

  • Co-chair of the session “Hybrid Systems Session” in Virtual American Control Conference (ACC 2022)

Überprüfungsaktivitäten

  • Fachzeitschriftartikel: IEEE Transaction on Automatic Control (TAC), IEEE Transactions on Control of Network Systems (TCNS), Automatica, Nonlinear Analysis: Hybrid Systems (NAHS), European Journal of Control (EJCON), ACM Transactions on Embedded Computing Systems (TECS), IEEE Control Systems Letters (L-CSS), IEEE Systems Journal, Systems & Control Letters, International Journal of Robust and Nonlinear Control

  • Konferenzen: ACM Conference on Hybrid Systems: Computation and Control (HSCC), AAAI Conference on Artificial Intelligence, IEEE Conference on Decision and Control (CDC), IEEE European Control Conference (ECC), IEEE American Control Conference (ACC), IEEE Indian Control Conference (ICC), IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), IFAC World Congress, Formal Modeling and Analysis of Timed Systems (FORMATS), Symposium on Mathematical Theory of Networks and Systems (MTNS)

Eingeladene Seminare

  • University of Oxford, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, February 2024.

  • Shanghai University, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, September 2023.

  • Workshop Talk at IFAC World Congress, “Data-Driven Verification and Control of Cyber-Physical Systems”, Juli 2023.

  • KTH Royal Institute of Technology, “Safe Verification, Learning and Control of Large- Scale Stochastic Cyber-Physical Systems”, Dezember 2022.

  • King's College London, “Safe Learning and Control of Cyber-Physical Systems”, November 2022.

  • Massachusetts Institute of Technology (MIT), “Safe Learning and Control of Cyber-Physical Systems”, Oktober 2022.

  • The University of Edinburgh, “Data-Driven Estimation of Collision Risks for Autonomous Vehicles with Formal Guarantees”, Oktober 2022.

  • Newcastle University, “Safe Learning and Control of Cyber-Physical Systems”, Oktober 2022.

  • Technical University of Munich, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, Mai 2022.

  • Imperial College London, “Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems”, April 2022.

  • University of Stuttgart, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, November 2021.

  • ETH Zurich, “Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques”, December 2020.

  • EPFL, “Automated Verification and Control of Large-Scale Stochastic Cyber-Physical Systems: Compositional Techniques”, Oktober 2020.

  • Munich Aerospace, “Compositional Abstractions for Large-Scale Stochastic Cyber-Physical Systems”, Juli 2018.