posted by user: jyotirmoy || 2738 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)
Scopus-RDA 2018   2018 International Conference on Robotics: Design and Applications (RDA 2018)
UCC 2018   11th IEEE/ACM International Conference on Utility and Cloud Computing
ICCSM--EI Compendex, Scopus 2018   2018 2nd International Conference on Computer, Software and Modeling (ICCSM 2018)--EI Compendex, Scopus
ASYNC 2018   24st IEEE International Symposium on Asynchronous Circuits and Systems
Scopus-CACRE 2018   2018 3rd International Conference on Automation, Control and Robotics Engineering (CACRE 2018)
IEEE DSA 2018   Fifith IEEE International Conference on Dependable Systems and Their Applications
FACS 2018   15th International Conference on Formal Aspects of Component Software
IEEE--ICICM--EI and Scopus 2018   IEEE--2018 The 3rd International Conference on Integrated Circuits and Microsystems (ICICM 2018)--Ei Compendex and Scopus
GandALF 2018   International Symposium on Games, Automata, Logics, and Formal Verification