posted by user: mpstew || 4387 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

4th ICSTR Rome 2021   4th ICSTR Rome – International Conference on Science & Technology Research, 09-10 September 2021
ICDCS 2021   International Conference on Distributed Computing Systems
SOFSEM 2021   47th International Conference on Current Trends in Theory and Practice of Computer Science
CSIA 2020   11th International Conference on Communications Security & Information Assurance (CSIA 2020)
4th Rome ICSSH 2021   4th Rome – International Conference on Social Science & Humanities (ICSSH), 07-08 September 2021
CCNET 2020   7th International Conference on Computer Networks & Communications
ICSRS--Scopus & EI Compendex 2021   2021 5th International Conference on System Reliability and Safety (ICSRS 2021)--Scopus & EI Compendex
IJITCA 2020   International Journal of Information Technology, Control and Automation
PADS 2021   ACM SIGSIM Conference on Principles of Advanced Discrete Simulation
ICRE--EI Compendex, Scopus 2021   2021 5th International Conference on Reliability Engineering (ICRE 2021)--EI Compendex, Scopus