Romain Soulat

PhD student, ENS Cachan

Recherche

I am a PhD. student at LSV under the supervision of Laurent Fribourg. I work on the modeling, verification and scheduling of parametric timed systems. I also work on control for hybrid systems. I work on the development of the model checker IMITATOR and MINIMATOR, a tool for controller synthesis.

Teaching Activities

I am a teacher assistant at University Paris Sud XI and at Polytech Paris Sud, an engineer school in the following courses:

Algorithmics, Languages, Logics and Complexity
Algorithmics and Complexity
Algorithmics and C coding

Projects

I workd in the following Farman Institute projects:

CRAFT
BOOST
COUPLET
BOOST 2
ROSCOV

Latest Publication

Laurent Fribourg and Romain Soulat. Control of Switching Systems by Invariance Analysis. ISTE Ltd and John Wiley & Sons Inc. ISBN: 9781848214477. July 2013.
Étienne André and Romain Soulat. The Inverse Method. ISTE Ltd and John Wiley & Sons Inc. ISBN: 9781848214477. January 2013.