posted by user: jyotirmoy || 2843 views || tracked by 8 users: [display]

WODES 2014 : IEEE International Workshop on Discrete Event Systems


When May 14, 2014 - May 16, 2014
Where ENS Cachan
Submission Deadline Nov 8, 2013
Notification Due Feb 13, 2014
Final Version Due Mar 13, 2014
Categories    discrete event systems   automata   des   modeling

Call For Papers

Aims and scope

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.

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.

Related Resources

IEEE Trans SUSC 2019   IEEE Trans on Sustainable Computing (SI: Intersection of Computing and Communication Technologies with Energy Systems)
FACS 2018   15th International Conference on Formal Aspects of Component Software
ITSC 2019   IEEE Intelligent Transportation Systems Conference
Scopus-CACRE 2018   2018 3rd International Conference on Automation, Control and Robotics Engineering (CACRE 2018)
ASYNC 2018   24st IEEE International Symposium on Asynchronous Circuits and Systems
ICMSAO 2019   The 8th International Conference on Modeling, Simulation and Applied Optimization
IPDPS 2018   32nd IEEE International Parallel and Distributed Processing Symposium
MDEbug 2018   2nd International Workshop on Debugging in Model-Driven Engineering
ACIIDS 2018   10th Asian Conference on Intelligent Information and Database Systems
CMES 2018   International Conference of Computational Methods in Engineering Science