Goran Frehse
Je suis professeur dans l'équipe Sémantique des Systèmes Hybrides et directeur de l'Unité Informatique et Ingénierie des Systèmes à l'ENSTA Paris.
I'm a professor in the team Hybrid System Semantics (SSH) and director of the Computer Science and Systems Engineering department (U2IS) of ENSTA Paris.
Research and education activities
Mes recherches portent sur la sûreté des systèmes cyber-physiques, y compris des systèmes pilotés par une intelligence artificielle. En particulier, je m'intéresse à l'application de méthodes formelles, issues de l'analyse de logiciels, aux systèmes dynamiques décrits par une combinaison d'événements discrets et d'équations différentielles, également appelés systèmes hybrides. Mes sujets de recherche incluent :
- la modélisation des systèmes dynamiques et la spécification de leur comportement souhaité,
- la vérification formelle des systèmes dynamiques par le model-checking et l'analyse d'atteignabilité,
- les techniques de vérification semi-formelles telles que le model-checking statistique,
- la surveillance et la supervision des systèmes de contrôle basés sur l'IA,
- l'apprentissage par renforcement vérifiable et sûr.
My research focuses on the safety of cyber-physical systems, including systems driven by artificial intelligence. In particular, I am interested in the application of formal methods, coming from software analysis, to dynamical systems described by a combination of discrete events and differential equations, also referred to as hybrid systems. My research topics include:
- modeling dynamical systems and specifying their desired behavior,
- formally verifying dynamical systems through model-checking and reachability analysis,
- semi-formal verification techniques such as statistical model checking,
- monitoring and supervision of AI-based control systems,
- verifiably safe reinforcement learning.
HAL Publications
-
On double descent in reinforcement learning with LSTD and random features
Communication dans un congrès Published on 07/05/2024 co-written by David Brellmann, Eloïse Berthier, David Filliat, Goran Frehse -
CLIP-QDA: An Explainable Concept Bottleneck Model
Article dans une revue Published on 01/05/2024 co-written by Rémi Kazmierczak, Eloïse Berthier, Goran Frehse, Gianni Franchi -
Fourier Features in Reinforcement Learning with Neural Networks
Article dans une revue Published on 01/10/2023 co-written by David Brellmann, David Filliat, Goran Frehse -
Data-driven Reachability using Christoffel Functions and Conformal Prediction
Communication dans un congrès Published on 13/09/2023 co-written by Abdelmouaiz Tebjou, Goran Frehse, Faïcel Chamroukhi -
Set Propagation Techniques for Reachability Analysis
Article dans une revue Published on 03/05/2021 co-written by Matthias Althoff, Goran Frehse, Antoine Girard -
Modeling the Wind Turbine Benchmark with PWA Hybrid Automata (Experience Report)
Communication dans un congrès Published on 17/04/2017 co-written by Nikolaos Kekatos, Marcelo Forets, Goran Frehse -
Constructing Verification Models of Nonlinear Simulink Systems via Syntactic Hybridization
Pré-publication, Document de travail Published on 21/03/2017 co-written by Nikolaos Kekatos, Marcelo Forets, Goran Frehse -
Scalable Verification of Hybrid Systems
HDR Published on 26/05/2016 by Goran Frehse -
Formal Analysis of Timing Effects on Closed-loop Properties of Control Software
Communication dans un congrès Published on 02/12/2014 co-written by Goran Frehse, Arne Hamann, Sophie Quinton, Matthias Wöhrle -
Monitoring Dynamical Signals While Testing Timed Aspects of a System
Communication dans un congrès Published on 01/01/2011 co-written by Goran Frehse, Kim G. Larsen, Marius Mikučionis, Brian Nielsen -
SpaceEx: Scalable Verification of Hybrid Systems
Communication dans un congrès Published on 01/01/2011 co-written by Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler -
Tools for the Analysis of Hybrid Models
Chapitre d'ouvrage Published on 01/11/2009 co-written by Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic -
Outils pour l'analyse des modèles hybrides
Chapitre d'ouvrage Published on 01/10/2008 co-written by Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic -
Recent progress in continuous and hybrid reachability analysis
Communication dans un congrès Published on 01/01/2006 co-written by Eugene Asarin, Thao Dang, Goran Frehse, Antoine Girard, Colas Le Guernic, Oded Maler