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

IWoSR 2022   2022 International Workshop on Service Robotics (IWoSR 2022)
HPDC 2022   ACM HPDC 2022 (The 31th International Symposium on High-Performance Parallel and Distributed Computing)
ISCSIC 2022   2022 6th International Symposium on Computer Science and Intelligent Control(ISCSIC 2022)
CGIIT 2022   The 6th International Conference on Graphics, Images and Interactive Techniques (CGIIT 2022)
SASIMI 2022   The 24th Workshop on Synthesis And System Integration of Mixed Information technologies
WETICE 2022   31st IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises
LATIN 2022   The 15th Latin American Theoretical Informatics Symposium
NG-RES 2022   NG-RES: Workshop on Next Generation Real-Time Embedded Systems
SENSORS Special Issue 2022   'Next Generation of Secure and Resilient Healthcare Data Processing'
CyberSciTech 2022   The 7th IEEE Cyber Science and Technology Congress