Section: Dissemination

PhD Thesis and Trainees

PhD. thesis defended in 2009:

Jérémy Dubreil :

“Monitoring and Supervisory Control for Opacity Properties ”, November 2009.

Current PhD. thesis:

Sébastien Chédor:

“Verification and Test of systems modeled by regular graphs ”, first year.

Trainees 2008-2009:

Sébastien Chédor:

“Infinite discrete event systems and partial information ”