| |||||||||||||
JUCS Special issue 2009 : Journal of Universal Computer Science Special issue Interactions of discrete-event control and computer sciences | |||||||||||||
Link: http://www.jucs.org/ujs/jucs/info/special_issues/interactions_cfp_2009.pdf | |||||||||||||
| |||||||||||||
Call For Papers | |||||||||||||
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 |
|