Chairs: Massimo Cossentino, Abder Koukam

Sessions: S05-1, S05-2

Session-Chairs: Abder Koukam (Universite de Belfort-Montbelliard, France) , Massimo Cossentino (Universite de Belfort-Montbelliard)

Topics:
A Flexible Multi-Agent System Architecture for Plant Automation
A Self-Organizing and Holonic Model for Optimization in Multi-Level Location Problems
An Agent-Oriented Programming Model for SOA and Web Services
Dynamic conversations between agents with the PRACTIONIST Framework
Enhancing JADE Interoperability through the Java-based Interoperable Mobile Agent Framework
Multiagent oriented modeling and simulation for manufacturing systems control
Resource Allocation in Continuous Production using Market-Based Multi-Agent Systems
Resource-oriented scheduling in the distributed production
Separation of Concerns and Role Implementation in the PASSI Design Process
Workflow Modelling with INGENIAS methodology

Chairs: Francisco Vasques, Tuan Tang

Sessions: T04-1, T04-2, T04-3, T04-4, T04-5

Session-Chairs: Francisco Vasques (University of Porto) , Gianluca Cena (Politecnico di Torino) , Ivan Petrovic (University of Zagreb) , Jan Haase (VUT) , Luiz Affonso Oliveira (UFRN) , Marga Marcos (EHU) , Tuan Dang (EdF)

Topics:
A collaborative design in the shipbuilding: Two case studies
A RFID based knowledge management systems – an intelligent approach for managing logistics processes
Adapting the FTT-CAN Master for multiple buses operation
Advanced Texture Analysis in Cork Quality Detection
Application of Wireless Sensor Network to Military Information Integration
Design and Implement of Distribution Transformer Outage Detection System
Development of an OPC Server for a Fieldbus Diagnosis Tool
Discrete Event Simulation Framework for Power Aware Wireless Sensor Networks
Neuro-Fuzzy Versus PI Speed Loop for a Vector Control Based Electrical Drive System with Asynchronous Motor.
Object Velocity Estimation Based on Asynchronous Data from a Dual-Line Sensor System
On Architecture of Low Power Wireless Sensor Networks for Container Tracking and Monitoring Applications
Optical Yarn Hairiness Measurement System
Outlier Identification and Justification Using Multi-Objective PSO based Clustering Algorithm in Power System
Platform based development of embedded systems for traction and power engineering applications - experiences and challenges
Robust Preprocessing: Denoising and Whitening in the context of Blind Source Separation of Instantaneous Mixtures
Software Agents Based Home Automation Software Agent Based Home Automation- An Intelligent Electrical Billing and Maintenance System
Statistical assessment of global and local cylinder wear
Texture Cue Based Tracking System Using Wavelet Transform and a Fuzzy Grammar
The Efficient Offline Search System for High Risk Events of Power Systems Caused by Transient Stability
Using Web Services to exchange power plant process data
Web services for Implementing Vendor Managed Inventory

Chairs: Klaus Kabitzsch, Wolfgang Kastner

Sessions: T01-1, T01-2

Session-Chairs: Joern Ploennigs (TU Dresden) , Klaus Kabitzsch (TU Dresden) , Seung Ho Hong (Hanynang University) , Wolfgang Kastner (VUT)

Topics:
Automated measurement-based Device Traffic Modeling in Control Networks
BACnet over ZigBee: a new approach to the wireless datalink channel for BACnet
Credibility of Routing Information in Wireless Sensor Networks
Deadband Sampling in PID Control
Monitoring, Controlling and Configuring of Wireless Household-Electric Network through Remote Virtual Interface
Petri net based Building Automation and Monitoring System
Vertical Integration in Building Automation Systems
Web Services in Building Automation: Mapping KNX to oBIX
Wireless Technologies in Home and Building Automation

Chairs: Albrecht Reuter, Michael Huebner

Session-Chairs: Albrecht Reuter (IRM GmbH) , Michael Hübner (BMVIT)

Topics:
DG DemoNet-Concept - A new algorithm for active distribution grid operation facilitating high DG penetration
Economic Load Dispatch of Higher Order Cost Polynomials Using Modified Particle Swarm Optimization
Intelligent Metering
The power of electronic power management

Chairs: Gerhard Pratl, Wolfgang Kastner

Session-Chairs: Gerhard Pratl (VUT) , Wolfgang Kastner (VUT)

Topics:
Action planning model for autonomous mobile robots
Hidden Markov Models for Traffic Observation
Smart Nodes for Semantic Analysis of Visual and Aural Data
Technical Model for Basic and Complex Emotions
The Semantic Web in action: semantically enabled Device Descriptions

Chairs: Robert Trappl, Rainer Unland

Sessions: T08-1, T08-2, T08-3

Session-Chairs: Anton Aendenroomer (SimTech) , Gerhard Pratl (VUT) , Markus Vincze (VUT) , Rainer Unland (University of Duisburg-Essen)

Topics:
A Comparative Study of Dynamic Learning Rate BPN and Wavelet Neural Networks
A generalised CFD learning and prediction system
An Approach to Cognition in Factory Automation by applying Functional Systems Theory
Context-based Knowledge Recommendation: A 3-D Collaborative Filtering Approach
Developing Intentional Systems with the PRACTIONIST Framework
Development strategy and implementation of a generalized model for FPGA-based artificial cell in bio-inspired hardware systems
Formal Support for Failure Knowledge Modeling and Diagnostic Reasoning Using Polychromatic sets
Image Processing and Neuro-Fuzzy Computing for Cork Quality Classification
Learning by Bagging and Adaboost based on Support Vector Machine
Modeling Product Engineering and Manufacturing Activity in Vehicle Development Process
Perception of Pseudo-Stereoscopic Image Depths of Three-Dimensional Objects Displayed on VDT Screen
Route Selection for Vehicle Navigation and Control
Vision for Cognitive Systems: A New Compound Concept Connecting Natural Scenes with Cognitive Models

Chairs: Andreas Gerstinger, Erwin Schoitsch

Sessions: S03-1, S03-2

Session-Chairs: Andreas Gerstinger (TUV) , Erwin Schoitsch (ARCS)

Topics:
An Open System for Dependable System Validation and Verification Support – The DECOS Generic Test Bench
Detection of Out-of-Norm Behaviors in Event-Triggered Virtual Networks
Hardware Failure Virtualization Via Software Encoded Processing
Internet Firewalls in the DECOS System-on-a-Chip Architecture
Model-Based Simulation of Distributed Real-time Applications
Safety Considerations for Cooperating Vehicles using Wireless Communication
Towards a DECOS Fault Injection Platform for Time-Triggered Systems

Chairs: Christoph Sünder, Thomas Strasser 

Session-Chairs: Christoph Sünder(VUT) , Thomas Strasser (Profactor)

Topics:
A Distributed Energy Management Approach for Autonomous Power Supply Systems
An Execution Environment for Real-Time Constrained Control Software based on IEC 61499
Downtimeless System Evolution: Current State and Future Trends
Future scenarios for application of downtimeless reconfiguration in industrial practice
Modelling Real-time Constraints Regarding Reconfiguration Aspects for IEC 61499 Control Applications

Chairs: Aleksander Malinowski, Hermann Kaindl

Session-Chairs: Marina Solesvik (HSH) , Tetsushi Miki (Anan NCT)

Topics:
Case Study: Utilities and Asset Management – Time For a Change
Design and Development of a Service-Oriented Supply Chain: An IT Perspective
E-Business and Collaborative Networks: A service-oriented ICT platform for the footwear industry
Ontology based data warehouse modeling and mining of earthquake data: prediction analysis along Eurasian-Australian continental plates
Production Data Integration in the Vaccine Industry

Chairs: Luca Ferrarini, Valeriy Vyatkin

Sessions: T10-1, T10-2, T10-3, T10-4

Session-Chairs: Alois Zoitl (VUT) , Anton Aendenroomer (SimTech) , Luca Ferrarini (Politecnico di Milano) , Valeriy Vyatkin (University of Auckland)

Topics:
A Generic Approach for the Simulation of Distributed Control Systems using J2EE Technology
A Migration Path to IEC 61499 for the Batch Process Industry
An Agile methodology for Manufacturing Control Systems development
Challenges to Industry Adoption of the IEC 61499 Standard on Event-based Function Blocks
Design and Implementation of Heterogeneous Distributed Controllers - A Case Study
Dynamic Flash-memory Allocation for Smartcards: how to cope with limited space (in a short life)
Dynamic rate and control adaptation in networked control systems
Field Overlay Architecture for Manufacturing Systems
Formal description of an IEC 61499 runtime environment with real-time constraints
Integrating a New Machine into an Existing Manufacturing System by using Holonic Approach
Optimizing Distributed Foundation Fieldbus Process Control with MSP.RTL Tool
Secure Plug and Play Architecture for Field Devices
Towards Formal Verification of IEC61499: modelling of Data and Algorithms in NCES
UML Automation Profile: Enhancing the Efficiency of Software Development in the Automation Industry
W-method for Hierarchical and Communicating Finite State Machines

Chairs: Alois Zoitl , Georg Frey

Sessions: S07-1, S07-2

Session-Chairs: Alois Zoitl (VUT) , Bernardo Wagner (University Hannover) , Georg Frey (University of Kaiserslautern) , Luca Ferrarini (Politecnico di Milano)

Topics:
A Device and Resource Execution Model for IEC 61499 Control Devices
Alternatives for Execution Semantics of IEC61499
Defining IEC 61499 Compliance Profiles using UML and OCL
Enhanced IEC 61499 Device Management Execution and Usage for Downtimeless Reconfiguration
Execution Models for the IEC 61499 elements Composite Function Block and Subapplication
Modeling and Clarifying the Execution of IEC 61499 Function Blocks Using XNet
Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499
Synchronous Execution of IEC 61499 Function Blocks Using Esterel

Chairs: Jing Bing Zhang, Martin Wollschlaeger

Sessions: T03-1, T03-2, T03-3, T03-4

Session-Chairs: Bernardo Wagner (University Hannover) , Francisco Vasques (University of Porto) , Grantham Pang (Hong Kong University) , Klaus Kabitzsch (TU Dresden) , Mário de Sousa (University of Porto) , Nunzio Torrisi (USP) , Thomas Strasser (Profactor) , Wolfgang Herzner (ARCS)

Topics:
3D Profile Reconstruction of Solder Paste Based on Phase Shift Profilometry
A Methodology for Multidisciplinary Modeling of Industrial Control Systems using UML
An IEC 61499 Based Approach for Distributed Batch Process Control
An open and non-proprietary device description for fieldbus devices for public IP networks
An Open Source IEC 61131-3 Integrated Development Environment
Analysis of Response Times in 802.11 Industrial Networks
Development of a Methodological Framework for the Self Reconfiguration of Automated Visual Inspection Systems
Internet Visualization of PLCs Programs
Management of Replicated IEC 61499 Applications
New Simulation Models to Evaluate Performance of PROFINET IO Class 1 Systems
Real-Time-Oriented Identification Strategies for Failure Diagnosis in Complex Automation-Systems
Service model for the management of industrial environments. Dynamic reconfiguration of production elements
Simulation of Industrial Applications using the Execution Environment SCXML
Using the CIP Protocol with IEC 61499 Communication Function Blocks
Violations of Real Time Communication Constraints caused by Memory Transfers exceeding CPU Cache Limits in RTAI and RTnet
Wireless Extensions of Wired Industrial Communication Networks
XML based Visualization of the IEC 61131-3 Graphical Languages

Chairs: Thilo Sauter, Jean Pierre Thomesse

Sessions: T06-1, T06-2

Session-Chairs: Gianluca Cena (Politecnico di Torino) , José Alberto G. Fonseca (Universidade de Aveiro) , Marga Marcos (EHU)

Topics:
A Framework for Managing Enterprise Knowledge for Collaborative Decision Support
Co-ordinated Management of Intelligent Pervasive Spaces
Discrete Time Sliding Mode Controller for a Single Connection ATM Network
End-to-End Delays of Event-Triggered Overlay Networks in a Time-Triggered Architecture
Memory-based algorithms for abrupt change detection in sensor data streams
Real-Time Communication for Smart Sensor Networks: A CAN Based Solution
Stochastic network calculus for end-to-end delays distribution evaluation on an avionics switched Ethernet
Strategy of virtual measurement for optimization of dynamic dead-time processes in automated control systems

Chairs: Maik Hollmann, Hiroaki Nishi

Sessions: S01-1, S01-2

Session-Chairs: Hiroaki Nishi (Keio University) , Maik Hollmann (cronos GmbH)

Topics:
A closer look on load management
Establishing Large-Scale Renewable Reserve Capacity through Distributed Multi-Agent Support
Incentive-oriented market platforms to increase total efficiency of electricity systems
Integration of Power Plant information system with Business information system in the open electricity market: challenges and solutions
KNIVES: Network based Demand and Supply Control System - Enhancement for Network and Environmental Affinity -
Neural Implementation of MicroGrid Central Controllers
VPPs information needs for effective operation in competitive electricity markets

Chairs: Rui Neves-Silva, Dragan Stokic

Session-Chairs: Dragan Stokic (ATB) , Rui Neves-Silva (UNINOVA)

Topics:
Advanced IC tools for maximising virtual team creativity and Innovation in Manufacturing environments
Ambient Intelligence Based System for Life-cycle Management of Complex Manufacturing and Assembly Lines
Diagnosis using Service Oriented Architectures (SOA)
Risk Assessment to Support Decision on Complex Manufacturing and Assembly Lines

Chairs: Ivan Petrovic, Luis Gomes

Sessions: T05-1, T05-2, T05-3, T05-4

Session-Chairs: Ales Hace (University of Maribor) , Dan Necsulescu (Univ. of Ottawa) , Gregor Novak (VUT) , Ivan Petrovic (University of Zagreb) , Lorinc Marton (Hung. Univ. of Transylvania) , Luis Gomes (Universidade Nova de Lisboa) , Volodymyr Vasyutynskyy (TU Dresden)

Topics:
A Quadtree Driven Image Fusion Quality Assessment
Analyzing the Impact of Commercial Video Encoders in Remotely Teleoperated Mobile Robots through IEEE 802.11 Wireless Network Technologies
Autonomous Mechanical Controlled Grippers for Capturing Flying Objects
Autonomous Vehicle Formation Control with Kinematic Constrains
Comparison of Self-Localization Methods for Soccer Robots
Concepts for Day-Night Stereo Obstacle Detection in the Pantograph Gauge
Control System for Unmanned Aerial Vehicles
Dynamic Filter Based Prediction for Efficient Networked Motion Tracking
General framework for human object detection and pose estimation in video sequences
Global Vision Based Tracking of Multiple Mobile Robots in Subpixel Precision
Location tracker for a mobile robot
Modeling Controller Area Network Communication
Off-line Programming and simulation for automatic robot control software generation
Performance Evaluation of Point Feature Detectors for Eye-in-Hand Visual Servoing
Petri net Splitting Operation within Embedded Systems Co-design
The Input-Output Place-Transition Petri Net Class and Associated Tools

Chairs: Peter Wratil, Peter Fischer

Sessions: T02-1, T02-2

Session-Chairs: Marion Ceruti (US Navy) , Okabe Nobuo , Peter Fischer (FH Dortmund) , Peter Wratil (innoctec)

Topics:
Blackbox testing methodology for SafetyLON according to the IEC 61508 Standard
Detecting Network Attacks via Improved Iterative Scaling
Low Cost Self-Testing Implementation for MISTY1 Cryptographic Algorithm
Modelling Security Risks in Real-Time Operating Systems
Network Management for a Safe Communication in an Unsafe Environment
Online Self Tests for Microcontrollers in Safety Related Systems
Optimizing Security Computation Cost for Mobile Agent Platforms
Securing communications in automation networks
Technology of safe Drives

Chairs: Jose L. Martinez Lastra, Harm Smit

Sessions: T09-1, T09-2, T09-3

Session-Chairs: Harm Smit (Schneider Electric) , Jose L. Martinez Lastra (Tampere University of Technology)

Topics:
A Policy Driven Approach for Service-Oriented Business Rule Management
Automated SOC development for the power distribution industry
Discovering Web Services Using Semantic Keywords
Industrial Machines as a Service: Modelling industrial machinery processes
Loosely-coupled Automation Systems using Device-level SOA
Platform-Based Design for Clinical Information Systems
Semantic Service for Abnormal Situation Management
Service Discovery in Industrial Agent Systems
The Challenge of Evolving Existing Systems to Service-Oriented Architectures
Towards semantically-assisted design of collaborative business processes in EAI scenarios
Verification of the Consistency of Timing Constraints of the Orchestration of Factory Automation Web Services
XML-based monitoring and operating for Web Services in automation

Chairs: ,

Sessions: I1, I2

Topics:
A Recursive Description of mixed Time- and Event-driven dynamics in Mechatronic Systems
An Efficient Data Preprocessing Method for Mining Customer Survey Data
An Event-Triggered Smart Sensor Network Architecture
Architecture of a Safe Node for a Fieldbus System
Design of a communication system for integration of industrial networks over public IP networks
Extending the Mean-Value Analysis Algorithm According to the Thread Pool Investigation
Fieldbus Interoperability on Ethernet
Generation and Application of Precedence Information for the Planning of Assembly and Disassembly Procedures
Identify and Classify Pulse Information Based on Extension
Measuring Semantic Gap: An Information Quantity Perspective
Radio Map Filter for Sensor Network Indoor Localization Systems
Removal of Muscular and Artefacts Noise from the ECG by a Neural Network
Requirement Analysis and Optimization of combined Networks
Simulation Results for the ARS-PA Model
Software rejuvenation and replicated rejuvenated services
The Realization of the Performance Estimation System on AIS SOTDMA Algorithm
Two-stage product definition for mass customization
UPnP Compression Implementation for Building Automation Devices

Chairs: Gordana Popovic,

Session-Chairs: , Gordana Popovic (European Commission)

Topics: