Laurent Fribourg

Senior Researcher, CNRS

• Selected 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
    
    
    

About LSV

• News
• People
• Research
• Seminars
• Teaching
• Contact