SCODES'2001

Symposium on the Supervisory Control of Discrete Event Systems

23 July 2001, Campus "Jussieu", Paris, France

A satellite workshop of the CAV'01 conference

Deadline for paper/abstract submission extended to Tuesday 8 May

Aims and Scope

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.

Programme

The symposium programme will consist of both contributed talks (30 minutes) and invited lectures (one hour), covering different topics on the supervisory control of discrete event systems. Proceedings will be published and distributed to participants.

Venue

The symposium will be held at Campus "Jussieu", Paris, France.

Topics

• Supervisory control of discrete event systems,
• Hierarchic, decentralised and distributed control,
• Graph/language theoretic approaches to controller synthesis,
• Algorithms and methods for synthesising discrete event controllers,
• Symbolic and linear programming methods for controller synthesis,
• Monitoring of Petri net systems,
• Applications of supervisory control to: automated manufacturing systems, process control, workflow management, autonomous transportation vehicles, software engineering.