on December 22, 2021
The Modeling of Reactive Systems conference deals with the modeling, analysis and control of reactive and real-time systems. It brings together researchers and industrialists interested in the design of applications that are based on either continuous, discrete or hybrid systems. It was held on 8-9 November 2021 at the CNAM.
Rémi Parrot, a PhD student in the Control Control and Real-Time teams of the Laboratory of Digital Sciences of Nantes (LS2N), the Renault-Centrale Nantes chair and the MathSTIC Doctoral School (MathSTIC), received the Best Young Researcher Paper Award for his publication: Timed Petri Nets for Design and verification of pipelined circuits used in automatic generation of VHDL code for EV chargers.