Academic Activities
 

Editorial Boards & Program Committees

  • 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) starting in 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 4th IFAC Workshop on Cyber-Physical & Human Systems (CPHS 2022)

  • Program Committee for Workshop on Computation-Aware Algorithmic Design for Cyber- Physical Systems (CAADCP) 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 (CAADCP) at the CPS-IoT Week 2021

  • IEEE Technical Committee on Hybrid Systems (since 2020)

Conference/Workshop Organizing

  • 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

Session Chair

  • 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)

Reviewing Activities

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

  • Conferences: ACM Conference on Hybrid Systems: Computation and Control (HSCC), 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)

Invited Talks

  • KTH Royal Institute of Technology, “Safe Verification, Learning and Control of Large- Scale Stochastic Cyber-Physical Systems”, December 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”, October 2022.

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

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

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

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

  • Newcastle University, “Formal Verification, Learning and Control of Large-Scale Stochastic Cyber-Physical Systems”, March 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”, October 2020.

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