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

ACM SAC 2025   40th ACM/SIGAPP Symposium On Applied Computing
EI/Scopus-ISESCE 2025   2025 10th International Symposium on Energy Science and Chemical Engineering-EI/Scopus
IEEE-ADMIT 2025   2025 IEEE 4th International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2025)
OPODIS 2025   29th International Conference on Principles of Distributed Systems
CSPE 2026   IEEE--2026 International Conference on Computational Science and Power Engineering (CSPE 2026)
IJCCMS 2025   International Journal of Chaos, Control, Modelling and Simulation
IEEE-DSIS 2025   2025 International Conference on Data Science and Intelligent Systems (DSIS 2025)
From Data to Decision: Empowering Ecosys 2025   The International Society for Ecological Modelling Global Conference:
TOCS 2025   6th International Conference on Telecommunications, Optics and Computer Science
FoIKS 2026   International Symposium on Foundations of Information and Knowledge Systems