A satellite workshop of the CAV'01 conference
The French joint research project "MARS" on control synthesis of discrete event systems using Petri nets has allowed researchers from several laboratories to develop original controller synthesis methods, tools and applications. The aim of the symposium is to gather a larger community of researchers interested in supervisory control of discrete event systems and outline new trends and problems in the field.
The symposium will be held at Campus "Jussieu", Paris, France.
The symposium programme will consist of both contributed talks (30 minutes) and invited lectures (50 minutes), covering different topics on the supervisory control of discrete event systems. Proceedings will be published and distributed to participants.
Registration should be made through the CAV'01 registration form if you want to participate to both CAV'01 and SCODES'2001. Participants who want to attend solely to SCODES'2001 should register directly through the SCODES'2001 registration form. The number of participants will be limited and priority will be given to participants who have registered to CAV'01.
Benoît Caillaud IRISA Campus universitaire de Beaulieu 35042 Rennes cedex France email: Benoit.Caillaud@irisa.fr telephone: +33 2 99 84 74 07 fax: +33 2 99 84 25 32
The symposium is sponsored by INRIA and is affiliated to the CAV'01 conference (18-23 July 2001)