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

CPAIOR 2024   International Conference on the Integration of Constraint Programming, Artificial Intelligence, and Operations Research
IJP2P 2024   International Journal of Peer-to-Peer networks
DSIT 2024   2024 7th International Conference on Data Science and Information Technology (DSIT 2024)
PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
Call for Chapters - CRC Press 2024   Internet of Things: Challenges and Advances
ADMIT 2024   2024 3rd International Conference on Algorithms, Data Mining, and Information Technology (ADMIT 2024)
NLE Special Issue 2024   Natural Language Engineering- Special issue on NLP Approaches for Computational Analysis of Social Media Texts for Online Well-being and Social Order
CNFSEM 2024   Complex networks for Smart environments management
FCSIT 2024   2024 3rd Eurasian Conference on Frontiers of Computer Science and Information Technology
EDCCS 2024   Workshop on Engineering techniques for Distributed Computing Continuum Systems