4DIAC 2011 - Second 4DIAC User's Workshop (4DIAC)

Georg Frey Saarland University, Germany - georg.frey-AT-aut.uni-saarland.de
Ileana Ober, University of Toulouse, France - Ileana.Ober-AT-irit.fr
IT Modeling techniques (Object-Orientation, Components, Agents, Service Oriented Architectures...) for automation systems;
Model Driven Development in automation (UML, SysML…);
Data Modeling (CAEX, AutomationML, OPC UA, ...)
Virtualization at the factory level, digital factory
Domain Specific Programming languages (IEC 61131, IEC 614 99...)
Integration with MES and ERP systems (Databases, Semantic Web Services)
Vertical Integration: Web-based Setup, Maintenance and Configuration
Tool chains, platforms, and frameworks for Software Design and Development
Security and Safety in factory, home and building Automation
Network Integration in Automation Systems (heterogeneous networks, wired/wireless...)
Dynamically reconfigurable, adaptive, and emergent automation software/systems
Track 2 - Industrial Communication Systems

Co-Chairs:
Lucia Lo Bello, University of Catania, Italy - lucia.lobello-AT-diit.unict.it
Ye-Qiong Song, Nancy University - LORIA, France - song-AT-loria.fr
Fieldbus networks
Industrial Ethernet networks
Automotive and avionic networks
Home and building automation networks
Industrial wireless networks, wireless sensor networks and MIMO wireless networks
Hybrid (wired/wireless) networks
Safety buses and protocols
Middleware for industrial communications
System design, architecture and implementation
IP-based and Web-based communication and applications
Self-configurable systems
Networked control systems
Adaptive middleware for decentralized control
Synchronization mechanisms
Real-time issues
QoS and performance issues
Dependability and fault tolerance aspects
Safety & security in industrial communications
Industrial case studies
Track 3 - Real-Time and (Networked) Embedded Systems

Co-Chairs:
Joël Goossens, University of Brussels ULB, Belgium - Joel.Goossens-AT-ulb.ac.be
Thomas Nolte, Maelardalen University, Sweden - thomas.nolte-AT-mdh.se
Real-Time Computing;
Real-Time Operating Systems;
Real-Time Communications;
Networked Embedded Systems Technology;
Wireless Sensor Networks;
Cyber Physical Systems;
Design and Implementation;
Design Methodologies and Tools;
Components and Platforms;
Models of Computation and Formal Methods;
Hardware/Software Co-Design;
Energy Management;
Data Integration and Fusion;
Communication Modes;
Quality of Service Control;
Case Studies.
Track 4 - Automated Manufacturing Systems

Co-Chairs:
Pierre Lopez, LAAS-CNRS, France - Pierre.Lopez-AT-laas.fr
Cristian Mahulea, University of Zaragoza, Spain - cmahulea-AT-unizar.es
Formal Modeling and Analysis of Manufacturing Systems;
Scheduling, Simulation, Queuing Systems and Petri Nets in Manufacturing Systems;
Synthesis and Analysis Techniques, Performance Evaluation and Reliability;
Discrete and Continuous Industrial Automation Systems;
Automated Manufacturing Systems and Enterprise Integration;
Application of Service-Oriented Technologies;
Test Cases, Benchmarks and Tools;
Applications and Experiences in Practice;
Recent Developments in Standardization.
Track 5 - Industrial Control

Co-Chairs:
Jean-Marc Thiriet, University of Grenoble UFJ, France - jean-marc.thiriet-AT-ujf-grenoble.fr
Ramon Vilanova, Autonomous University of Barcelona, Spain - ramon.vilanova-AT-uab.cat
Process Control;
Equipment Control;
Intelligent Control;
Supervisory Control;
Industrial Control Implementation;
Discrete and Continuous Automation System;
Equipment and Process Monitoring;
Fault Detection and Management;
Process Modelling and Optimization;
Performance Assessment of Control Systems;
Control Applications;
Large-Scale Systems;
Co-design control-networks;
Co-design diagnosis-dependability.
Track 6 - Computational Intelligence and Modern Heuristics in Automation

Co-Chairs:
Thierry Marie Guerra, University of Valenciennes, France - thierry.guerra-AT-univ-valenciennes.fr
Sam Kwong, City University of Hong Kong - CSSAMK-AT-cityu.edu.hk
Intelligent Systems and Control, Modern Heuristics, and Data Mining in automation and industrial applications;
Neural/Fuzzy/Evolutionary approaches in automation;
Modern heuristics methods in factory automation based on predictive, adaptive control, recognition, navigation, motion control, competitive, self-organizing learning, and clustering;
Computational Intelligence in security, reliability, and fault-tolerance in automation;
Ant colonies optimization and swarm intelligence in automation;
Machine learning, Support Vector Machines, Expert Systems;
Multi-objective Optimization;
Video Coding for Industrial Applications.
Track 7 - Intelligent Robots & Systems

Co-Chairs:
Philippe Fraisse, University of Montpellier, France - fraisse-AT-lirmm.fr
Pedro Lima, Instituto Superior Tecnico, Lisboa, Portugal - pal-AT-isr.ist.utl.pt
Cognitive robotics;
Cooperative and collaborative robotics;
Distributed robotic architectures;
Human-robot interaction;
Intelligent robot assistants;
Intelligent embedded systems;
Perception, control and manipulation for intelligent robots and systems;
Planning and failure recovery;
Reasoning under uncertainty;
Robot learning;
Robot vision;
Networked Robot Systems;
Mobile Manipulation;
Robot Middleware;
Benchmarking and Usability studies