Skip to main content

Our researchers

Goran Frehse

Unité d'Informatique et d'Ingénierie des Systèmes (U2IS)
Enseignant-chercheur
HDR

Je suis enseignant-chercheur dans l'équipe Sémantique des Systèmes Hybrides et directeur adjoint de l'Unité Informatique et Ingénierie des Systèmes à l'ENSTA Paris. 

I'm an assistant professor in the team Hybrid System Semantics (SSH) and deputy 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

Subscribe to our newsletter