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

JUCS - ILT 2019   Journal of Universal Computer Science - Special Issue on Immersive Learning Technologies: Research and Future Directions
DEBS 2019   13th ACM International Conference on Distributed and Event-based Systems
SSCI 2019   The 2019 IEEE Symposium Series on Computational Intelligence
IJCAx 2018   International Journal of Computer-Aided technologies
COMML 2020   International Conference on Optimization, Metaheuristics and Machine Learning
MIM 2019   9th IFAC Triannual Conference on Manufacturing Modeling, Management and Control
EBIMCS 2019   2019 2nd International Conference on E-Business, Information Management and Computer Science
DisCoTec 2019   International Federated Conference on Distributed Computing Techniques
ENTER 2019   ENTER 2019: The 26th Annual eTourism Conference
EI-IC4M 2019   2019 4th International Conference on Mechanical, Manufacturing, Modeling and Mechatronics (IC4M 2019)