- 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
</a>
** Institut FARMAN
** Département STIC<a>: axe prioritaire [[http://www.lsv.ens-cachan.fr/~fribourg/Annexe_surete_securite.pdf| 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:
*** 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 <lu> - 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
]] </div>
About <abbr title="Laboratoire Spécification et Vérification---accesskey 1">LSV</abbr>
- %apply=list id="lsvmenu" title="LSV Navigation Menu" itemtype="http://schema.org/SiteNavigationElement"% News
- People
- Research
- Seminars
- Teaching
- Contact<!--
- École Normale Supérieure Paris-Saclay
- Centre National de la Recherche Scientifique -->