Professional activities
Administrative activities
Member of the Scientific Committee of PGMO (Gaspard Monge Program for Optimisation and operational research), since 2017.
Co-chair of the Master program in Control, Signal and Image Processing (Master ATSI) of Université Paris-Saclay; 2018-2022.
Responsible of the Education Board and co-director of PERSYVAL-lab, 2012 - 2015.
Member of the Research Commission of UFRIM2AG, 2011 - 2015.
Responsible of the team CASYS of the Laboratoire Jean Kuntzmann, 2009 - 2013.
Representative of UFRIM2AG in the council of the department for undergraduate studies in sciences and technology (DLST), Université Joseph Fourier, 2008 - 2011.
Elected member of the council of the Laboratoire Jean Kuntzmann, 2007 - 2011.
Scientific animation
Co-chair of the French working group on verification and synthesis of cyber-physical systems, since 2017.
Co-chair of the French working group on hybrid systems. 2010 - 2015.
Co-responsible of the Bipop-Casys Seminar, 2007 - 2009, 2011.
Conference organization:
Hybrid Systems: Computation and Control, co-chair with Sriram Sankaranarayanan, 2015.
International Symposium on Symbolic and Algebraic Computation (ISSAC), committee member, 2012.
Congrès de la SMAI (French Society of Industrial and Applied Mathematics), committee member, 2007.
School and workshop organization:
Control of cyber-physical systems, CentraleSupélec, workshop organizer, 2019.
Control subject to computational and communication constraints, LAAS, workshop co-organizer, 2016.
Towards scalable formal synthesis of complex systems, IEEE Conference on Decision and Control, pre-conference workshop co-organizer, 2015.
Control under computation and communication constraints, Ecole MACS, module co-organizer, 2015.
Hybrid systems applications, Ecole des JDMACS, module co-organizer, 2011.
Correct-by-design embedded control software synthesis, IEEE Conference on Decision and Control, pre-conference workshop co-organizer, 2010.
Invited session organizer:
Modular design and verification of control systems, IEEE Conference on Decision and Control, session co-organizer, 2021.
Modern computational and algorithmic challenges on switched systems, IEEE Conference on Decision and Control, session co-organizer, 2019.
Formal methods for hybrid systems, IFAC Conference on Analysis and Design of Hybrid Systems, session co-organizer, 2012.
Formal methods in systems and control, IEEE Conference on Decision and Control, session co-organizer, 2010.
Reviewing and editorial activities
Journal editorial board member:
IEEE Control System Letters, Associate Editor, 2017 - onwards.
IEEE Transactions on Automatic Control, Associate Editor, 2015 - 2019.
Nonlinear Analysis: Hybrid Systems, Associate Editor, 2011 - 2015.
Asian Journal of Control, Associate Editor, 2008 - 2011.
Journal guest editor:
Nonlinear Analysis: Hybrid Systems, Special issue on Advances in Analysis and Design of Hybrid Systems, 2020.
Nonlinear Analysis: Hybrid Systems, Special issue on Hybrid Systems: Computation and Control, 2017.
Conference program committee chair:
IFAC Conference on Analysis and Design of Hybrid Systems, co-chair with Maurice Heemels, 2018.
Hybrid Systems: Computation and Control, co-chair with Sriram Sankaranarayanan, 2015.
Conference editorial board and technical committee member:
Conference Editorial Board of the European Control Association, Associate Editor, 2013 - onwards.
IFAC Technical Committee on Discrete Event and Hybrid Systems, Member, 2012 - onwards.
Conference Editorial Board of the IEEE Control Systems Society, Associate Editor, 2009 - 2013.
Conference program committee member:
IEEE Conference on Decision and Control, 2022.
Hybrid Systems: Computation and Control, 2022.
IEEE Conference on Decision and Control, 2021.
IFAC Conference on Analysis and Design of Hybrid Systems, 2021.
IEEE Conference on Decision and Control, 2020.
IFAC World Congress, 2020.
European Control Conference, 2020.
International Symposium on Mathematical Theory of Networks and Systems, 2020.
IEEE Conference on Decision and Control, 2019.
IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2019.
IFAC Workshop on Linear Parameter Varying Systems, 2019.
Workshop on Design and Analysis of Robust Systems, 2019.
European Control Conference, 2019.
IEEE Conference on Decision and Control, 2018.
IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2018.
Workshop on Design and Analysis of Robust Systems, 2018.
Hybrid Systems: Computation and Control, 2018.
Workshop on Design, Modeling and Evaluation of Cyber-Physical Systems, 2017.
Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2017.
Joint International Conference on System Theory, Control and Computing, 2017.
Hybrid Systems: Computation and Control, 2017.
Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2016.
Hybrid Systems: Computation and Control, 2016.
International Symposium on Mathematical Theory of Networks and Systems, 2016.
IFAC Conference on Analysis and Design of Hybrid Systems, 2015.
IFAC Workshop on Linear Parameter Varying Systems, 2015.
IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2015.
IEEE International Conference on Event-based Control, Communication, and Signal Processing, 2015.
Journées Doctorales MACS, 2015.
International Conference on Control, Engineering & Information Technology, 2015.
International Workshop on Synthesis of Complex Parameters, 2015.
International Symposium on Games, Automata, Logics and Formal Verification, 2014.
IEEE Conference on Control Applications, 2014.
International Workshop on Synthesis of Continuous Parameters, 2014.
ACM/IEEE International Conference on Cyber-Physical Systems, 2014.
International Symposium on Mathematical Theory of Networks and Systems, 2014.
IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2013.
Journées Doctorales MACS, 2013.
Mediterranean Conference on Control and Automation, 2013.
European Control Conference, 2013.
ACM/IEEE International Conference on Cyber-Physical Systems, 2013.
Hybrid Systems: Computation and Control, 2013.
Conférence sur les Modèles et l'Analyse des Réseaux : Approches Mathématiques et Informatique, 2012.
IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2012.
Mediterranean Conference on Control and Automation, 2012.
Conference Internationale Francophone d'Automatique, 2012.
IFAC Conference on Analysis and Design of Hybrid Systems, 2012.
Hybrid Systems: Computation and Control, 2012.
Conférence sur les Modèles et l'Analyse des Réseaux : Approches Mathématiques et Informatique, 2011.
Mediterranean Conference on Control and Automation, 2011.
Journées Doctorales MACS, 2011.
Hybrid Systems: Computation and Control, 2011.
IFAC Workshop on Distributed Estimation and Control in Networked Systems, 2010.
ACM/IEEE International Conference on Cyber-Physical Systems, 2010.
Conference Internationale Francophone d'Automatique, 2010.
Hybrid Systems: Computation and Control, 2009.
IFAC Conference on Analysis and Design of Hybrid Systems, 2009.
IEEE International Symposium on Computer-Aided Control System Design, 2008.
Hybrid Systems: Computation and Control, 2008.
Hybrid Systems: Computation and Control, 2007.
Reviewer for journals:
ACM Transactions on Embedded Computing Systems, ACM Transactions on Programming Languages and Systems, AIMS Proceedings, Annual Reviews in Control, Automatica, Discrete Event Dynamic Systems, Foundations and Trends in Systems and Control, Formal Methods in System Design, IEEE Transactions on Automatic Control, IEEE Transactions on Control Systems Technology, IEEE Transactions on Robotics, IMA Journal of Mathematical Control and Information, Information and Computation, International Journal of Computer Mathematics, International Journal of Control, International Journal of Statistics and Systems, Journal Européen des Systèmes Automatisés, Nonlinear Analysis: Hybrid Systems, SIAM Journal of Control and Optimization, Systems and Control Letters, Theoretical Computer Science, Transactions of the Institute of Measurement and Control.Reviewer for conferences:
ACM Symposium on Applied Computing, Algebraic Methodology and Software Technology, American Control Conference, Analysis and Design of Hybrid Systems, Computer Aided Verification, Conference on Control Applications, Euromicro Conference on Real-Time Systems, European Control Conference, Foundations of Software Technology and Theoretical Computer Science, Hybrid Systems: Computation and Control, IEEE Conference on Decision and Control, IFAC Symposium on Systems Identification, IFAC World Congress, Mediterranean Conference on Control and Automation, Quantitative Evaluation of Systems, Tools and Algorithms for the Construction and Analysis of Systems.