posted by user: mpstew || 3473 views || tracked by 19 users: [display]

JUCS Special issue 2009 : Journal of Universal Computer Science Special issue Interactions of discrete-event control and computer sciences

FacebookTwitterLinkedInGoogle

Link: http://www.jucs.org/ujs/jucs/info/special_issues/interactions_cfp_2009.pdf
 
When N/A
Where N/A
Submission Deadline Nov 15, 2008
Notification Due Feb 27, 2009
Categories    modelling   real-time   distributed systems   telecommunications
 

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

Related Resources

JUCS - ILT 2019   Journal of Universal Computer Science - Special Issue on Immersive Learning Technologies: Research and Future Directions
MIDDLEWARE 2019   ACM/IFIP International Middleware Conference
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
SCAI 2019   8th International Conference On Soft Computing, Artificial Intelligence And Applications
DEBS 2019   13th ACM International Conference on Distributed and Event-based Systems
IMDA 2019   INTELLIGENT METHODS FOR DATA ANALYSIS AND COMPUTER AIDED SOFTWARE ENGINEERING
IEEE ISM 2019   IEEE International Symposium on Multimedia
CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
CDKE 2019   Conversational Data and Knowledge Engineering
SCOM 2019   7th International Conference on Soft Computing