*********************************************

JUCS Special issue "Interactions of discrete-event control and computer sciences"


The special issue focuses on the fruitful possible interactions between discrete-event control and computer science, especially in the domain of the modelling, analysis and control of real-time, reactive systems.

The topics include (but are not
limited to) the following:
• Formalisms and modelling methodologies: Petri nets, state automata,
statecharts, process algebras...
• Reactivity of discrete-event systems with emphasis on supervisory
control, real time control and on mode management
• Performance evaluation, diagnosis, optimization and implementation
• Discrete approaches of hybrid, reactive and embedded systems
• Applications including transportation systems, distributed systems, telecommunications, systems on chip, energy, manufacturing systems ...
• Emerging applications in critical systems and related fields:
performance assessment, on-line control, reconfiguration, mode management,
safe control, fault-tolerant systems...
• Software tools enabling efficient handling of industrial-sized systems.
• Validation techniques : verification, test generation, ...
• Specification and programming languages for describing discrete-event and reactive systems

Tentative dates:

- deadline for paper submission (full papers, in English): November 15, 2008
- notification of acceptance: February 27, 2009

Guest editors:

Eric Niel, laboratoire Ampère UMR 5005, INSA Lyon, Université de Lyon
Eric Rutten, INRIA Rhône-Alpes
Jean-Michel Muller, CNRS-LIP (CNRS, ENS Lyon, INRIA, Université de Lyon)

*********************************************************