Laurent
Fribourg
Directeur de Recherche, CNRS
Quelques publications
Cours MPRI 2.08.2 (Fondements des systemes temps-reel et hybrides)
Cours 1
Cours 2
Cours 3
Cours 4
Cours 5
Principle of optimality
and
HJB equation
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
Farman
SWITCHDESIGN
with
CMLA
and
LMT
Farman
BOOST
,
BOOST2
with
SATIE
Farman
SIMOP
with
LURPA
ANR
VALMEM
with
LIP6
and
ST-MICROELECTRONICS
Teaching:
Hybrid Systems
Software:
MINIMATOR
IMITATOR
Workshops:
Verification of biological systems
2016, MAY 17-18, Cachan
Switching Dynamics and verification
2016, January 28-29, IHP, Paris
NCMIP 2016
, MAY 20 / ENS Cachan
FORMATS 2013
Events:
Colloquium in honour of Martin Abadi
15th Anniversary of LSV
Popularization:
Monte Carlo
Turing
Berry
book by
Étienne André
and
Romain Soulat
:
The Inverse Method
À propos du
LSV
Actualités
Membres
Recherche
Séminaires
Enseignement
Contact
Pages privées
English
Français
Contact
Adresse
LSV
,
CNRS
&
ENS
Paris-Saclay
61, avenue du Président
Wilson
94235 CACHAN Cedex, France
Bureau
RH-B-109
Tél.
+33 (0)1 47 40 75 36
Fax
+33 (0)1 47 40 75 21
Secr.
+33 (0)1 47 40 75 20
E-Mail
fribourg@lsv.ens-cachan.fr