During the 5th Workshop on Discrete Event Systems (WODES2000)
there will be one or more sessions where developers of tools for DES
analysis and synthesis will have an opportunity to demonstrate their
software. The tools to be demonstrated could solve any of the problems
in the scope of the WODES2000 conference. In particular, but not
exclusively, there could be tools demonstrations for - verification and control synthesis for discrete event and hybrid systems; - perturbation analysis and sensitivity analysis tools; - (max,+) based tools and scheduling. The proposed format for each tools session consists of brief plenary presentations introducing the tools to be demonstrated, followed by demonstrations in smaller groups. For each of the tools there will also be the possibility of a brief (1 page) description to be included in the conference proceedings.
Deadlines: |