Projects

PROCSYS: Towards Programmable Cyber-physical Systems: a Symbolic Control Approach (2017-2023)

• Funder: ERC, Consolidator Grant.

• Participants: Laboratoire des Signaux et Systèmes.

• Coordinator: Antoine Girard.

• Web: https://sites.google.com/site/ercprocsys/

NICETWEET: Opinion dynamics in social networks in presence of multiple decision-makers (2020-2024)

• Funder: ANR, PRC

• Participants: CRAN, L2S, LIA, BETA

• Coordinator: Constantin Morarescu

• Web: https://constantinmoraresc.wixsite.com/nicetweet

HANDY: Hybrid and Networked Dynamical Systems (2019-2023)

• Funder: ANR, BLANC Program.

• Participants: LAAS, CRAN, GIPSA-Lab, Laboratoire des Signaux et Systèmes.

• Coordinator: Luca Zaccarian.

• Web: http://projects.laas.fr/handy/

Chaire Transformation Digitale des Réseaux Electriques (2017-2022)

• Funder: RTE, Chaire d'excellence.

• Participants: Laboratoire des Signaux et Systèmes, GEEPS, CIDRE.

• Coordinator: Samson Lasaulce.

• Web: https://rtechair.fr

CODECSYS: Contract based Design of Cyber-physical Systems (2016-2019)

• Funder: Labex Digicosme, Emergence project.

• Participants: Laboratoire des Signaux et Systèmes, Laboratoire Spécification et Vérification.

• Coordinator: Antoine Girard.

• Web: https://digicosme.lri.fr/tiki-index.php?page=Emergence+CODECSYS

COMPACS: Computation Aware Control Systems (2013-2017)

• Funder: ANR / FRAE, BLANC Program.

• Participants: Laboratoire Jean Kuntzmann, Centre de Recherche en Automatique de Nancy, Verimag.

• Coordinator: Antoine Girard.

• Web: https://sites.google.com/site/compacsproject/

COHYBA: Contrôle Hybride pour les Bâtiments Verts (2012-2015)

• Funder: Région Rhône-Alpes, CIBLE Program.

• Participants: Laboratoire Jean Kuntzmann, GIPSA-Lab.

• Coordinator: Antoine Girard.

SYMBAD: Symbolic Approaches to the Design of Cyber-Physical Systems (2012-2013)

• Funder: Pôle MSTIC of Université Joseph Fourier.

• Participants: Laboratoire Jean Kuntzmann, INRIA-Popart.

• Coordinator: Antoine Girard.

VEDECY: Verification and Design of Cyber-Physical Systems (2009-2012)

• Funder: ANR, ARPEGE Program.

• Participants: Laboratoire Jean Kuntzmann, INRIA-Popart, Verimag.

• Coordinator: Antoine Girard.

• Web: http://sites.google.com/site/vedecy/

CARESSE: Contrôle et Analyse de Réseaux de Systèmes Dynamiques Évolutifs (2008-2009)

• Funder: Pôle MSTIC of Université Joseph Fourier.

• Participants: Laboratoire Jean Kuntzmann.

• Coordinator: Antoine Girard.

• Web: http://ljk.imag.fr/membres/Antoine.Girard/Projects/CARESSE

ModeliScale: Languages and Compilation for Cyber-Physical System Design (2017-2021)

• Funder: INRIA Project Lab.

• Participants: INRIA, LIX, Laboratoire des Signaux et Systèmes, Verimag.

• Coordinator: Benoît Caillaud.

• Web: https://team.inria.fr/modeliscale/

Set Theory and Algorithms for Dynamical Systems (2014-2015)

• Funder: Persyval-lab, Exploratory project.

• Participants: GIPSA-Lab, Verimag, Laboratoire Jean Kuntzmann.

• Coordinators: Thao Dang and Mirko Fiacchini.

VAL-AMS: High Confidence Validation of Analog and Mixed Signal Circuits (2007-2009)

• Funder: ANR, SETIN program.

• Participants: Verimag, Laboratoire Jean Kuntzmann, INRIA-Bipop.

• Coordinator: Thao Dang (Verimag).

• Coordinator for Laboratoire Jean Kuntzmann: Antoine Girard.

• Web: http://www-verimag.imag.fr/~tdang/VAL-AMS/

CalCel: Calcul Cellulaire (2004-2006)

• Funder: Région Rhône-Alpes.

• Participants: Laboratoire de Modélisation et Calcul.

• Coordinator: Jean Della Dora.

• Web: http://www-ljk.imag.fr/CASYS/CalCel/

• Personnal involvement: I was awarded a one year scholarship for a postdoctoral stay at University of Pennsylvania.

ADéMo: Acquisition et Décision conduite par le Modèle (2000-2003)

• Funder: Région Rhône-Alpes.

• Participants: Laboratoire de Modélisation et Calcul.

• Coordinator: Jean Della Dora.

• Personnal involvement: I was awarded a three year Ph.D. student scholarship.