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

DEBS 2019   13th ACM International Conference on Distributed and Event-based Systems
JUCS - ILT 2019   Journal of Universal Computer Science - Special Issue on Immersive Learning Technologies: Research and Future Directions
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
IJCAx 2019   International Journal of Computer-Aided technologies
DisCoTec 2019   International Federated Conference on Distributed Computing Techniques
EBIMCS 2019   2019 2nd International Conference on E-Business, Information Management and Computer Science
EI-IC4M 2019   2019 4th International Conference on Mechanical, Manufacturing, Modeling and Mechatronics (IC4M 2019)
ENTER 2019   ENTER 2019: The 26th Annual eTourism Conference
CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
IEEE ISM 2019   IEEE International Symposium on Multimedia