Laurent Fribourg

• Computer Science Logic
• Control of Switching Systems by Invariance Analysis: Applcation to Power Electronics
• Control of Switching Systems by Invariance Analysis
• Formal Modeling and Analysis of Timed Systems