WODES 2014 - 12th IFAC - IEEE International Workshop on Discrete Event Systems

The interdisciplinary field of Discrete Event Systems (DES) combines different formalisms, methodologies and tools from control, computer science and operations research. The research activity in this field is driven by the needs of many different applications domains: manufacturing, process control, supervisory systems, software engineering, transportation, and so on. Discrete Event Systems is now a mature field and many interesting applications have been developed. This 12th International Workshop on Discrete Event Systems will be hosted at ENS Cachan, France. It aims to provide researchers from different fields (control theoreticians and control engineers, software engineers and computer scientists, operations research specialists) with an opportunity to exchange information and new ideas, and to discuss new developments in the field of DES theory and applications.
Topics
The workshop will cover all topics related to Discrete Event Systems theory and applications, including (but not limited to) the following:
Formalisms and modeling methodologies: Petri nets, automata, statecharts, process algebras, max-plus algebra, queuing networks…
Control of discrete-event systems with emphasis on supervisory control and on real time control
Performance evaluation, optimization and scheduling
Diagnosis, fault detection, test, identification
Discrete approaches for hybrid systems
Applications including manufacturing systems, transportation systems, power production, distributed systems, software engineering, home automation, workflow, protocols, telecommunication systems, biological systems…
Automation methods and software tools enabling efficient handling of industrial-sized systems
Computer tools for DES modeling, synthesis, analysis…
Paper Submission and Publication
Prospective participants are invited to electronically submit full papers of their work following the instructions on the website. Conference proceedings will be published online on the IFAC-PapersOnline website and will receive an ISBN number and the ISSN number of series. The presented papers will be further screened for possible publications in IFAC Journals.
Contributions must be not published or submitted to other conferences/journals before or parallel to this workshop. They should clearly state the problem being addressed, the goal of the work and the results achieved.