Laurent Fribourg
Senior Researcher, CNRS
Mail: laurent.fribourg@lmf.cnrs.fr
Phone: +33 (0)1 81 87 54 62
Office: 3S56, Bâtiment ENS - Nord
Laboratoire Méthodes Formelles (LMF)
Université Paris-Saclay, CNRS, ENS Paris-Saclay
4 avenue des Sciences • 91190 Gif-sur-Yvette, France
- Selected Publications
- Cours MPRI 2.08.2 (Fondements des systemes temps-reel et hybrides)
- book with Romain Soulat :
Control of Switching Systems by Invariance Analysis
- Institut FARMAN
- Département STIC: axe prioritaire sûreté et sécurité
Projects
- Digiteo SIMS with LIX
- Digicosme CODECSYS with L2S
- Farman RAILBOOL with THALES
- Farman ROSCOV with AIRBUS
- FarmanSWITCHDESIGN with CMLA and LMT
- Farman BOOST, BOOST2 with SATIE
- Farman SIMOP with LURPA
- ANR VALMEM with LIP6 and ST-MICROELECTRONICS
Teaching
Software
Popularization
The Inverse Method
Book by Étienne André and Romain Soulat: The Inverse Method
