to download a PDF version of - IRIT
to download a PDF version of - IRIT
to download a PDF version of - IRIT
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Monday, 5 September 2011<br />
Rooms Hebraud Auriliac<br />
8:30<br />
-<br />
9:00<br />
9:00<br />
-<br />
10:30<br />
10:30<br />
-<br />
11:00<br />
11:00<br />
-<br />
11:30<br />
11:30<br />
-<br />
12:30<br />
12:30<br />
-<br />
14:00<br />
14:00<br />
-<br />
16:00<br />
16:00<br />
-<br />
16:30<br />
16:30<br />
-<br />
18:00<br />
IndDay-1<br />
IndDay-1<br />
IndDay-2<br />
IndDay-3<br />
IndDay-4<br />
Registration<br />
(Registration Desk)<br />
C<strong>of</strong>fee break<br />
Lunch break<br />
C<strong>of</strong>fee break<br />
SOCNE-1<br />
Workshop<br />
SOCNE-2<br />
Workshop<br />
SOCNE-3<br />
Workshop<br />
Full-day program
Tuesday, 6 September 2011<br />
Full-day program<br />
Rooms Hebraud Raynaud Mestre Montane Ouriliac H<br />
8:00<br />
-<br />
9:00<br />
9:00<br />
-<br />
9:30<br />
9:30<br />
-<br />
11:00<br />
11:00<br />
-<br />
11:30<br />
11:30<br />
-<br />
13:00<br />
13:00<br />
-<br />
14:00<br />
14:00<br />
-<br />
16:00<br />
16:00<br />
-<br />
16:30<br />
16:30<br />
-<br />
17:30<br />
19:00<br />
-<br />
20:30<br />
Registration<br />
(Registration Desk)<br />
Opening Ceremony<br />
Room: Despax<br />
Track1-1 Track2-1 Track3-1 Track4-1 WIP5 WIP6&7<br />
C<strong>of</strong>fee break + Discussion at posters<br />
Track1-2 Track2-2 Track3-2 Track4-2<br />
Lunch break<br />
IES TC-FA<br />
meeting<br />
Track1-3 Track3-3 Track4-3 Track5-1 WIP2-1<br />
C<strong>of</strong>fee break + Discussions at posters<br />
Keynote 1 - Andre Bottaro<br />
Room: Despax<br />
Welcome Reception<br />
(Town Hall)
Wednesday, 7 September 2011<br />
Full-day program<br />
Rooms Hebraud Raynaud Mestre Montane Ouriliac H<br />
9:00<br />
-<br />
10:30<br />
10:30<br />
-<br />
11:00<br />
11:00<br />
-<br />
12:00<br />
12:00<br />
-<br />
13:00<br />
13:00<br />
-<br />
14:00<br />
14:00<br />
-<br />
16:00<br />
16:00<br />
-<br />
16:30<br />
16:30<br />
-<br />
18:30<br />
20:00<br />
-<br />
23:30<br />
Track1-4 Track2-3 WIP3 Track4-4 Track5-2<br />
C<strong>of</strong>fee break + Discussions at posters<br />
Keynote 2 - Josef Noebauer<br />
Room: Despax<br />
Track1-5 Track2-4 Track3-4 Track4-5 SS07-1<br />
Lunch break<br />
WIP1 Track6-1 Track7-1 Track4-6 Track5-3 SS07-2<br />
C<strong>of</strong>fee break + Discussions at posters<br />
Track6-2 SS03 SS09-1 Track5-4<br />
Conference Banquet<br />
(Mediatheque)
Thursday, 8 September 2011<br />
Full-day program<br />
Rooms Dauvillier Raynaud Mestre Montane Ouriliac H<br />
9:00<br />
-<br />
10:30<br />
10:30<br />
-<br />
11:00<br />
11:00<br />
-<br />
12:00<br />
12:00<br />
-<br />
13:00<br />
13:00<br />
-<br />
14:00<br />
14:00<br />
-<br />
14:30<br />
14:30<br />
-<br />
19:30<br />
SS02-1 Track6-3 Track7-2 WIP4 WIP2-2<br />
C<strong>of</strong>fee break + Discussions at posters<br />
SS02-2 SS04 SS09-2 Track5-5 SS07-3<br />
Keynote 3 - Stefan Svensson<br />
Room: Despax<br />
Lunch break<br />
Closing Ceremony<br />
Room: Despax<br />
Social Visit<br />
(Medieval City <strong>of</strong> Carcassonne)
Friday, 9 September 2011<br />
Rooms J4 J5<br />
8:30<br />
-<br />
9:00<br />
9:00<br />
-<br />
10:30<br />
10:30<br />
-<br />
11:00<br />
11:00<br />
-<br />
12:30<br />
12:30<br />
-<br />
14:00<br />
iATPA-1<br />
Workshop<br />
iATPA-2<br />
Workshop<br />
Registration<br />
(Registration Desk)<br />
C<strong>of</strong>fee break<br />
Lunch<br />
4DIAC-1<br />
Workshop<br />
4DIAC-2<br />
Workshop<br />
Full-day program
Monday, 5 September 2011<br />
IndDay-1: Industry Day - PLCopen Session 1<br />
Speaker: Eelco van der Wal, PLCopen<br />
Room : Hebraud (9:00-10:30)<br />
Overview <strong>of</strong> the current PLCopen activities and working groups<br />
The 3rd release <strong>of</strong> IEC 61131-3<br />
PLCopen Motion Control 2.0: what is possible with this new <strong>version</strong>?<br />
SOCNE-1: Workshop on Service Oriented Architectures in Converging Networked Environments<br />
Chair: Lucia Lo Bello<br />
Room : Auriliac (9:00-10:30)<br />
Day program <strong>to</strong>p<br />
OSAMI COMMONS - An open platform for dynamic services for ambient intelligence<br />
Naci Dai (ETERATION A.S); Jesus Bermejo (Telvent); Felix Cuadrado Latasa (Universidad Politecnica de Madrid); Alejandra Ruiz López (Tecnalia); Isaac Agudo (Universidad de Malaga);<br />
Elmar Zeeb (University <strong>of</strong> Ros<strong>to</strong>ck); Jan Krueger (University <strong>of</strong> Dortmund); Wolfgang Thronicke (Siemens); Oliver Dohndorf (TU Dortmund); Chris<strong>to</strong>ph Fiehe (Materna); Anna Litvina<br />
(Materna)<br />
Au<strong>to</strong>nomic Enterprise Service Bus<br />
Philippe Lalanda (LIG, Grenoble); Denis Morand (Schneider Electric); Issac Garcia (LIG, Grenoble)<br />
A New Approach for Au<strong>to</strong>matic Generation <strong>of</strong> Tests for Next Generation Network Communication Services<br />
Marten Fischer (University <strong>of</strong> Applied Science Osnabrueck); Ralf Tönjes (University <strong>of</strong> Applied Science Osnabrueck); Rolf Lasch (University <strong>of</strong> Applied Sciences Osnabrück)<br />
IndDay-1: Industry Day - PLCopen Session 2<br />
Speaker: Eelco van der Wal, PLCopen<br />
Room : Hebraud (11:00-11:30)<br />
What is the "OPC UA Information Model for IEC 61131-3", and how is it beneficial in the design <strong>of</strong> an au<strong>to</strong>mation<br />
system?<br />
IndDay-2: Industry Day - O3neida Session 1<br />
Chair: An<strong>to</strong>nio Valentini<br />
Room : Hebraud (11:30-12:30)<br />
Opening session<br />
An<strong>to</strong>nio Valentini (O3neida Europe)<br />
IEC 61499 current status and near future developments<br />
Alois Zoitl (University <strong>of</strong> Technology)<br />
CANopen in decentralized and distributed control systems<br />
Holger Zeltwanger (CAN CiA (CAN in Au<strong>to</strong>mation))<br />
SOCNE-2: Workshop on Service Oriented Architectures in Converging Networked Environments<br />
Chair: Guido Moritz<br />
Room : Auriliac (11:00-12:30)<br />
Integration <strong>of</strong> Medical Equipment in<strong>to</strong> SOA - enabling Technology for efficient Workflow Management<br />
Lars Lindemann (Institut fuer Au<strong>to</strong>mation und Kommunikation e.V. ); Mario Thron (Institut fuer Au<strong>to</strong>mation und Kommunikation e.V.); Thomas Bangemann (Institut fuer Au<strong>to</strong>mation und<br />
Kommunikation e.V.); Oliver Grosser (Universitaetsklinikum Magdeburg)<br />
User-Generated Mobile Services for Health and Fitness<br />
Alexandra Chapko (German Research Center for Artificial Intelligence); Marc Gräßle (German Research Center for Artificial Intelligence); Andreas Emrich (German Research Center for<br />
Artificial Intelligence); Dirk Werth (German Research Center for Artificial Intelligence); Carsten Rust (Morpho e-Documents); Jürgen Tacken (Orga Systems GmbH); Stephan Flake (Orga<br />
Systems GmbH); Nico Laum (University <strong>of</strong> Ros<strong>to</strong>ck); Christian Lerche (University <strong>of</strong> Ros<strong>to</strong>ck); Alexander Weber (Deutsches Lauftherapiezentrum e.V.)<br />
Towards self-organization <strong>of</strong> networked medical devices<br />
Joachim Hänsel (Fraunh<strong>of</strong>er Institute for Computer Architecture and S<strong>of</strong>tware Technology); Matthias Hovestadt (Technische Universitaet Berlin); Michael John (Fraunh<strong>of</strong>er Institute for<br />
Computer Architecture and S<strong>of</strong>tware Technology); Odej Kao (Technische Universitaet Berlin); Andreas Kliem (Technische Universitaet Berlin)<br />
IndDay-3: Industry Day - O3neida Session 2<br />
Chair: An<strong>to</strong>nio Valentini<br />
Room : Hebraud (14:00-16:00)<br />
Evolution <strong>of</strong> IEC 61499 implementation in ISaGRAF v6<br />
Nicolas Jouvray (ISAGRAF)<br />
IEC 61499 in the Context <strong>of</strong> Smart Grids Applications<br />
Thomas Strasser (Austrian Institute <strong>of</strong> Technology)<br />
Applications <strong>of</strong> the IEC 61499 standard <strong>to</strong> the development <strong>of</strong> advanced manufacturing and HVAC control<br />
Solutions<br />
Mauro Mazzolini (ITIA CNR)
SOCNE-3: Workshop on Service Oriented Architectures in Converging Networked Environments<br />
Chair: Frank Gola<strong>to</strong>wski<br />
Room : Auriliac (14:00-16:00)<br />
Service <strong>of</strong>floading in Adaptive Real-Time Systems<br />
Luis Lino Ferreira (CISTER Research Group/ISEP); Guilherme Silva (CISTER Research Group/ISEP); Luis Miguel Pinho (CISTER Research Group/ISEP)<br />
Requirements for Smart Home Applications and Realization with WS4D-PipesBox<br />
Elmar Zeeb (University <strong>of</strong> Ros<strong>to</strong>ck); Guido Moritz (University <strong>of</strong> Ros<strong>to</strong>ck); Christian Beckel (Robert Bosch GmbH); Heinz Serfas (Robert Bosch GmbH); Frank Gola<strong>to</strong>wski (University <strong>of</strong><br />
Ros<strong>to</strong>ck); Dirk Timmermann (University <strong>of</strong> Ros<strong>to</strong>ck)<br />
Adaptive and Reliable Binding in Ambient Service Systems<br />
Jan Krüger (TU Dortmund University); Oliver Dohndorf (TU Dortmund University); Heiko Krumm (TU Dortmund University); Chris<strong>to</strong>ph Fiehe (MATERNA Information & Communications);<br />
Anna Litvina (MATERNA Information & Communications); Ingo Lück (MATERNA Information & Communications); Franz-Josef Stewing (MATERNA Information & Communications)<br />
IndDay-4: Industry Day - O3neida Session 3<br />
Chair: An<strong>to</strong>nio Valentini<br />
Room : Hebraud (16:30-18:00)<br />
Argument in favour <strong>of</strong> IEC 61499: System level design <strong>of</strong> au<strong>to</strong>mation systems. Examples from SmartGrid,<br />
Logistics and Manufacturing<br />
Valeriy Vyatkin (University <strong>of</strong> Auckland)<br />
Industry Day Joint Panel discussion<br />
Tuesday, 6 September 2011<br />
Track1-1: Information Technology in Au<strong>to</strong>mation - Reconfiguration and Reuse<br />
Chair: Olawande Daramola<br />
Room : Hebraud (9:30-11:00)<br />
Day program <strong>to</strong>p<br />
An OPC UA Interface for an Evolvable ISA88 Control Module<br />
Dirk Van Der Linden (Artesis University College <strong>of</strong> Antwerp); Herwig Mannaert (University <strong>of</strong> Antwerp); Wolfgang Kastner (Vienna University <strong>of</strong> Technology); Vincent Vanderputten (Artesis<br />
University College <strong>of</strong> Antwerp); Herbert Peremans (University <strong>of</strong> Antwerp); Jan Verelst (University <strong>of</strong> Antwerp)<br />
Highly Reconfigurable Production Systems Controlled by Real-Time Agents<br />
Daniel Schütz (Technische Universität München); Markus Schraufstetter (Technische Universität München); Jens Folmer (Technische Universität München); Birgit Vogel-Heuser (Technische<br />
Universität München); Thomas Gmeiner (Technische Universität München); Kristina Shea (TU München)<br />
Requirements on Engineering Tools for Increasing Reuse in Industrial Au<strong>to</strong>mation<br />
Nasser Jazdi (University <strong>of</strong> Stuttgart); Camelia Maga (Bosch GmbH); Peter Göhner (University <strong>of</strong> Stuttgart)<br />
Risk Minimization in Modernization Projects <strong>of</strong> Plant Au<strong>to</strong>mation<br />
Martin Strube (Helmut Schmidt University Hamburg); Stefan Runde (Siemens AG); Alexander Fay (Helmut Schmidt University Hamburg); Helmut Figalist (Siemens AG)<br />
Track2-1: Industrial Communication Systems - Advances in wired networks<br />
Chair: Françoise Simonot-Lion<br />
Room : Raynaud (9:30-11:00)<br />
Bandwidth-Efficient Burst Error Tolerance in TDMA-based CAN Networks<br />
Michael Short (University <strong>of</strong> Teesside); Imran Sheikh (University <strong>of</strong> Leicester); Syed Aley Imran Rizvi (University <strong>of</strong> Leicester)<br />
Schedulability Analysis <strong>of</strong> CAN with Non-abortable Transmission Requests<br />
Dawood Ashraf Khan (INRIA/INPL); Nicolas Navet (INRIA / RTaW); Robert I. Davis (University <strong>of</strong> York)<br />
A Proposal <strong>to</strong> Integrate Process Data Communication <strong>to</strong> IEEE 802.1 Audio Video Bridging (AVB)<br />
Jahanzaib Imtiaz (inIT-Institut Industrial IT); Juergen Jasperneite (inIT-Institut Industrial IT); Sebastian Schriegel (Fraunh<strong>of</strong>er IOSB-INA)<br />
Fault-<strong>to</strong>lerant Ethernet networks with Audio and Video Bridging<br />
Oliver Kleineberg (Hirschmann Au<strong>to</strong>mation & Control); Peter Froehlich (Hirschmann Au<strong>to</strong>mation & Control); Donal Heffernan (University <strong>of</strong> Limerick)<br />
Track3-1: Real-Time and (Networked) Embedded Systems - Real-Time Communications<br />
Chair: Thomas Nolte<br />
Room : Mestre (9:30-11:00)<br />
Analysis and Optimization <strong>of</strong> the MTU in Real-Time Communications over Switched Ethernet<br />
Moris Behnam (University <strong>of</strong> Por<strong>to</strong>); Ricardo Marau (University <strong>of</strong> Por<strong>to</strong>); Paulo Pedreiras (University <strong>of</strong> Por<strong>to</strong>)<br />
Extending Schedulability Analysis <strong>of</strong> Controller Area Network (CAN) for Mixed (Periodic/Sporadic) Messages<br />
Saad Mubeen (Mälardalen University); Jukka Mäki-Turja (Mälardalen University); Mikael Sjödin (Mälardalen University)<br />
Measurements on an Industrial Wireless HART Network Supporting PROFIsafe: A Case Study<br />
Johan Åkerberg (ABB AB Corporate Research); Frank Reichenbach (ABB AS Corporate Research); Mikael Gidlund (ABB AB Corporate Research); Mats Björkman (Mälardalen University)<br />
An Explicit GTS Allocation Algorithm: EGSA<br />
Jianxin Chen (Nanjing University <strong>of</strong> Posts and Telecommunications); Luis Lino Ferreira (Polytechnic Institute <strong>of</strong> Por<strong>to</strong>); Eduardo Tovar (Polytechnic Institute <strong>of</strong> Por<strong>to</strong>)
Track4-1: Au<strong>to</strong>mated Manufacturing Systems - Modeling and Control using Petri Nets<br />
Chair: Kamel Barkaoui, Cristian Mahulea<br />
Room : Montane (9:30-11:00)<br />
On the deadlock analysis <strong>of</strong> multithreaded control s<strong>of</strong>tware<br />
Juan-Pablo López-Grao (Universidad de Zaragoza); José-Manuel Colom (University <strong>of</strong> Zaragoza)<br />
Translating Robot Programming Language Flow Control in<strong>to</strong> Petri Nets<br />
Juergen Rossmann (RWTH Aachen University); Kevin Eilers (RIF e.V. Abt. Robotertechnik)<br />
A Petri Net Approach for Modelling, Performance Evaluation and Control <strong>of</strong> Self-Service Public Bicycle Systems<br />
Taha Benarbia (USTO); Karim Labadi (EPMI - ECS); Moumen Darcherif (EPMI - ECS)<br />
Dioid Approach for Performance evaluation <strong>of</strong> Weighted T-Systems<br />
Samir Hamaci (EPMI-ECS); Abderrahim Benfekir (USTO); Jean-Louis Boimond (LISA)<br />
WIP5: Industrial Control<br />
Chair: Jean-Marc Thiriet, Ramon Vilanova<br />
Room : Ouriliac (9:30-11:00)<br />
YARN Hairiness Determination using Image Processing Techniques<br />
Ví<strong>to</strong>r Carvalho (Minho University); Filomena Soares (Minho University); Rosa Vasconcelos (Minho University); Michael Belsley (Minho University); Nuno Gonçalves (Minho University)<br />
Assessment <strong>of</strong> Ziegler-Nichols Tuned Loops Using Control Performance Moni<strong>to</strong>ring Indices<br />
Daniel Gómez (Fundación CARTIF); Javier Bécares (Fundación CARTIF); José R. Janeiro (Fundación CARTIF); Lázaro Gorostiaga (Fundación CARTIF); Enrique Baeyens (Universidad de<br />
Valladolid); Eduardo J. Moya (Universidad de Valladolid)<br />
Periodic Reset Control <strong>of</strong> an In-line pH Process<br />
Félix Román Pérez (Universidad de Murcia); Alfonso Baños (Universidad de Murcia); Joaquín Cervera (University <strong>of</strong> Murcia)<br />
A Virtual Metrology System for Predicting CVD Thickness with Equipment Variables and Qualitative Clustering<br />
Gian An<strong>to</strong>nio Sus<strong>to</strong> (University <strong>of</strong> Padova); Alessandro Beghi (University <strong>of</strong> Padova); Cristina De Luca (Infineon Technologies AG)<br />
Control design for machine <strong>to</strong>ols using Domiciano, an IDE based on s<strong>of</strong>tware components<br />
Carlos Catalán (Universidad de Zaragoza); Felix Serna (Universidad de Zaragoza); Tamara Civera (Universidad de Zaragoza); Alfonso Blesa (Universidad de Zaragoza); Josep Maria Rams<br />
(Turomas group)<br />
TAILOR-Made Small Simula<strong>to</strong>r for Drum Boiler Control Based on Linear Techniques<br />
Juan J. Gude (University <strong>of</strong> Deus<strong>to</strong>); Luis Vazquez-Seisdedos (University <strong>of</strong> Oriente)<br />
Industrial Embedded Model Predictive Controller Platform<br />
Monika Wenger (Vienna University <strong>of</strong> Technology); Reinhard Hametner (Vienna University <strong>of</strong> Technology); Andreas Voigt (VOIGT+WIPP Engineers GmbH); Alois Zoitl (Vienna University <strong>of</strong><br />
Technology)<br />
Modeling Heat Exchanger by FDM and FEM in C# and Comsol Multiphysics<br />
Stepan Ozana (VSB-Technical university <strong>of</strong> Ostrava); Martin Pies (VSB-Technical university <strong>of</strong> Ostrava); Radovan Hajovsky (VSB-Technical university <strong>of</strong> Ostrava); Lukas Skovajsa (VSB-<br />
Technical university <strong>of</strong> Ostrava)<br />
Unfalsification Based Fault Tolerant Controller<br />
Fernando Coi<strong>to</strong> (Universidade Nova de Lisboa); Luis Bri<strong>to</strong> Palma (Universidade Nova de Lisboa)<br />
Towards fault detection in Singular Leontief production models<br />
Fotis Koumboulis (Halkis Institute <strong>of</strong> Technology); Dimitrios Fragkoulis (Halkis Institute <strong>of</strong> Technology); Panagiotis Arsenos (Ionian Islands Institute <strong>of</strong> Technology)<br />
Tuning PCA Controllers based on Manual Control Data<br />
Luis Bri<strong>to</strong> Palma (Universidade Nova de Lisboa); Fernando Vieira Coi<strong>to</strong> (Universidade Nova de Lisboa)<br />
WIP6&7: Intelligent Robots & Systems, Computational Intelligence<br />
Chair: Carlos Cardeira<br />
Room : H (9:30-11:00)<br />
A Reconfigurable Multi-Touch Framework for Teleoperation Tasks<br />
Gianluca Paravati (Politecnico di Torino); Andrea Sanna (Politecnico di Torino); Fabrizio Lamberti (Politecnico di Torino); Cesare Celozzi (Politecnico di Torino)<br />
An heuristic for trajec<strong>to</strong>ry generation in mobile robotics<br />
Pedro Fonseca (Universidade de Aveiro); António Jose Neves (Universidade de Aveiro); José Luis Azevedo (Universidade de Aveiro); Joao Silva (Universidade de Aveiro)<br />
Analyzing energy consumption <strong>of</strong> industrial robots<br />
Moritz Chemnitz (Fraunh<strong>of</strong>er IPK); Gerhard Schreck (Fraunh<strong>of</strong>er IPK); Joerg Krueger (Fraunh<strong>of</strong>er IPK)<br />
Extending a Smart Wheelchair Navigation by Stress Sensors<br />
Margarida Urbano (Universidade Aveiro); José Alber<strong>to</strong> Fonseca (Universidade Aveiro); Nunes Urbano (Universidade de Coimbra); Heimo Zeilinger (Vienne University)<br />
TDOA Map Adaptation in Sound Source Localization<br />
Dohyung Hwang (Korea Institute Science and Technology); Jongsuk Choi (Korea Institute Science and Technology)<br />
Towards Competitive Commercial Au<strong>to</strong>nomous Robots: The Configuration Problem<br />
Morten Kjærgaard (Technical University <strong>of</strong> Denmark); Nils Axel Andersen (Technical University <strong>of</strong> Denmark); Ole Ravn (Technical University <strong>of</strong> Denmark); Peter A. Kristensen (Prevas A/S)<br />
Biomedical Device for Spasticity Quantification Based on the Velocity Dependence <strong>of</strong> the Stretch Reflex<br />
Threshold<br />
João Ferreira (University <strong>of</strong> Minho); Vi<strong>to</strong>r Moreira (Hospital <strong>of</strong> Braga); José Machado (University <strong>of</strong> Minho); Filomena Soares (University <strong>of</strong> Minho)<br />
Markerless Gesture-Based Motion Control and Programming <strong>of</strong> Industrial Robots<br />
Jens Lambrecht (Technische Universität Berlin); Martin Kleinsorge (Technische Universität Berlin); Jörg Krüger (Technische Universität Berlin)<br />
Fall detec<strong>to</strong>r system based on wristwatch and Artificial Neuronal Network<br />
Lamine Bougueroua (ESIGETEL); Mohamed A. Dhouib (ESIGETEL); Medjahed Hamid (ESIGETEL); Mabrouk Kais (ESIGETEL)<br />
New Approach on Bearing-only SLAM for Indoor Environments<br />
Edmundo Guerra (Technical University <strong>of</strong> Catalonia); Yolanda Bolea (Technical University <strong>of</strong> Catalonia); An<strong>to</strong>ni Grau (Technical University <strong>of</strong> Catalonia); Rodrigo Munguia (Universidad de<br />
Guadalajara,)
Track1-2: Information Technology in Au<strong>to</strong>mation - Verification Validation and Test<br />
Chair: Dirk van der Linden<br />
Room : Hebraud (11:30-13:00)<br />
A model-driven engineering approach <strong>to</strong> formal verification <strong>of</strong> PLC programs<br />
Jean-Marie Farines (Universidade Federal de Santa Catarina); Max H. De Queiroz (Universidade Federal de Santa Catarina); Vinicius G. Da Rocha (Universidade Federal de Santa<br />
Catarina); Ana Maria Carpes (Universidade Federal de Santa Catarina); François Vernadat (University <strong>of</strong> Toulouse); Xavier Crégut (University <strong>of</strong> Toulouse)<br />
Generating and validating product instances in IEC 61131-3 from feature models<br />
Nikolaos Papakonstantinou (Aal<strong>to</strong> University); Seppo Sierla (Aal<strong>to</strong> University); Kari Koskinen (Aal<strong>to</strong> University)<br />
Towards Model-Based Test Au<strong>to</strong>mation for Embedded Systems Using UML and UTP<br />
Padma Iyenghar (University <strong>of</strong> Osnabrueck); Elke Pulvermueller (University <strong>of</strong> Osnabrueck); Clemens Westerkamp (UAS - Osnabrueck)<br />
Modeling <strong>of</strong> Transport Times in Partly Observable Fac<strong>to</strong>ry Logistic Systems based on Event Logs<br />
Thomas Wagner (Dresden University <strong>of</strong> Technology); André Gellrich (Dresden University <strong>of</strong> Technology); Volodymyr Vasyutynskyy (Dresden University <strong>of</strong> Technology); Klaus Kabitzsch<br />
(Dresden University <strong>of</strong> Technology)<br />
Track2-2: Industrial Communication Systems - Performance Evaluation<br />
Chair: Jean-Luc Scharbarg<br />
Room : Raynaud (11:30-13:00)<br />
Evaluation <strong>of</strong> the Real-Time Properties <strong>of</strong> Open-Source Pro<strong>to</strong>col Stacks<br />
Gianluca Cena (IEIIT-CNR); Stefano Scanzio (IEIIT-CNR); Adriano Valenzano (IEIIT-CNR); Claudio Zunino (IEIIT-CNR)<br />
Real-Time Performance <strong>of</strong> an Open-Source Pro<strong>to</strong>col Stack for Low-Cost, Embedded Systems<br />
Ivan Cibrario Ber<strong>to</strong>lotti (National Research Council <strong>of</strong> Italy); Tingting Hu (National Research Council <strong>of</strong> Italy)<br />
Non-preemptive static priority with network calculus<br />
William Mangoua S<strong>of</strong>ack (ONERA); Marc Boyer (ONERA)<br />
Bandwidth Mapping Algorithms in Distributed Media Control Applications<br />
Javier Silvestre-Blanes (Universitat Politècnica de València); Paulo Pedreiras (University <strong>of</strong> Aveiro); Ricardo Marau (University <strong>of</strong> Por<strong>to</strong>)<br />
Track3-2: Real-Time and (Networked) Embedded Systems - Distributed Real-Time Systems<br />
Chair: Vincent Nélis<br />
Room : Mestre (11:30-13:00)<br />
Bounding Mode Change Transition Latencies for Multi-Mode Real-Time Distributed Applications<br />
Mircea Negrean (TU Braunschweig); Moritz Neukirchner (TU Braunschweig); Steffen Stein (TU Braunschweig); Simon Schliecker (TU Braunschweig); Rolf Ernst (TU Braunschweig)<br />
Latency and freshness analysis on IMA systems<br />
Michaël Lauer (INP Toulouse); Frédéric Boniol (ONERA); Jérôme Ermont (INP Toulouse); Claire Pagetti (ONERA)<br />
Resolving State Inconsistency in Distributed Fault-Tolerant Real-Time Dynamic TDMA Architectures<br />
Akramul Azim (University <strong>of</strong> Waterloo); Sebastian Fischmeister (University <strong>of</strong> Waterloo)<br />
Lowering Traffic without Sacrificing Performance in Networked Control Systems<br />
Pau Marti (Technical University <strong>of</strong> Catalonia); Manel Velasco (Technical University <strong>of</strong> Catalonia); Jose Yepez (Technical University <strong>of</strong> Catalonia); Enric Xavier Martin (Technical University <strong>of</strong><br />
Catalonia)<br />
Track4-2: Au<strong>to</strong>mated Manufacturing Systems - Modeling and Verification<br />
Chairs: Juan-Pablo López-Grao, Riccardo Rasconi<br />
Room : Montane (11:30-13:00)<br />
A hybrid model for the control and the analysis <strong>of</strong> complex au<strong>to</strong>mated warehouse systems<br />
Francesco Basile (Università degli Studi di Salerno); Pasquale Chiacchio (Università degli Studi di Salerno); Jolanda Coppola (Università degli Studi di Salerno)<br />
Dynamic modeling and control <strong>of</strong> a new au<strong>to</strong>matic corking machine for threaded plastic caps<br />
Rober<strong>to</strong> Zanasi (University <strong>of</strong> Modena and Reggio Emilia); Federica Grossi (University <strong>of</strong> Modena and Reggio Emilia); Nicola Giuliani (Schneider Electric S.p.A.)<br />
An Approach <strong>to</strong> the Verification <strong>of</strong> Material Handling Systems<br />
Thomas Klotz (Fraunh<strong>of</strong>er IIS/EAS); Bernd Straube (Fraunh<strong>of</strong>er IIS/EAS); Eva Fordran (Fraunh<strong>of</strong>er IIS/EAS); Jürgen Haufe (Fraunh<strong>of</strong>er IIS/EAS); Frank Schulze (Technische Universitat<br />
Dresden); Karsten Turek (Technische Universitat Dresden); Thorsten Schmidt (Technische Universitat Dresden)<br />
Using on<strong>to</strong>logies <strong>to</strong> capture and structure knowledge about disruptions in manufacturing systems: An immune<br />
driven approach<br />
Saber Darmoul (Blaise Pascal University); Henri Pierreval (IFMA); Sonia Hajri Gabouj (INSAT)<br />
Track1-3: Information Technology in Au<strong>to</strong>mation - Engineering<br />
Chair: Alexander Fay<br />
Room : Hebraud (14:00-16:00)<br />
Integration between MES and Product Lifecycle Management<br />
Anis Ben Khedher (University <strong>of</strong> Lyon); Sébastien Henry (University <strong>of</strong> Lyon); Abdelaziz Bouras (University <strong>of</strong> Lyon)<br />
On the use <strong>of</strong> SysML for Manufacturing Execution System design<br />
Laurent Piétrac (INSA-Lyon); Arnaud Lelevé (INSA-Lyon); Sébastien Henry (Université de Lyon)<br />
Concept for interoperability between independent engineering <strong>to</strong>ols <strong>of</strong> heterogeneous disciplines<br />
Rainer Drath (ABB Corporate Research Center); Mike Barth (ABB Corporate Research Center)<br />
Mining technical dependencies throughout engineering process knowledge<br />
Tobias Jäger (Helmut-Schmidt University Hamburg); Alexander Fay (Helmut-Schmidt University Hamburg); Helmut Figalist (Siemens AG)<br />
Towards model-based development <strong>of</strong> safety-related control applications<br />
Timo Vepsäläinen (Tampere University <strong>of</strong> Technology); Seppo Kuikka (Tampere University <strong>of</strong> Technology)
Track3-3: Real-Time and (Networked) Embedded Systems - Real-Time Scheduling and Analysis<br />
Chair: Moris Behnam<br />
Room : Mestre (14:00-16:00)<br />
Improved schedulability analysis <strong>of</strong> implicit deadline tasks under limited preemption EDF scheduling<br />
Michael Short (University <strong>of</strong> Teesside)<br />
Laxity-Based Restricted-Migration Scheduling<br />
Frédéric Fauberteau (Université Paris-Est); Serge Midonnet (université Paris-Est); Laurent George (ECE, Paris)<br />
Scheduling non-preemptive hard real-time tasks with strict periods<br />
Mohamed Marouf (INRIA Paris-Rocquencourt); Yves Sorel (INRIA Paris-Rocquencourt)<br />
Dynamic Priority Scheduling <strong>of</strong> Periodic Tasks with Extended Precedences<br />
Julien Forget (LIFL/INRIA); Emmanuel Grolleau (LISI/ENSMA); Claire Pagetti (ONERA); Pascal Richard (LISI/ENSMA)<br />
A Component-Based Framework for Modeling and Analyzing Probabilistic Real-Time Systems<br />
Luca Santinelli (INRIA Nancy-Grand Est); Patrick Meumeu Yomsi (INRIA Nancy-Grand Est); Dorin Maxim (INRIA Nancy-Grand Est); Liliana Cucu-Grosjean (INRIA Nancy-Grand Est)<br />
Track4-3: Au<strong>to</strong>mated Manufacturing Systems - Scheduling<br />
Chairs: Cyril Briand, Ernes<strong>to</strong> Lopez-Mellado<br />
Room : Montane (14:00-16:00)<br />
Multilevel Logistic Scheduling <strong>of</strong> a Natural Gas Network<br />
Jose J. Ruz (Universidad Complutense de Madrid); Lucia Gorostegui (Universidad Complutense de Madrid); Jesus De La Cruz (Universidad Complutense de Madrid); Gonzalo Pajares<br />
(Universidad Complutense de Madrid)<br />
New scheduling problems with perishable raw materials constraints<br />
Jean-Charles Billaut (Université François-Rabelais Tours)<br />
Dedicated constraint propagation for Job-Shop problem with generic time-lags<br />
Philippe Lacomme (Université Blaise Pascal); Marie José Huguet (LAAS-CNRS); Nikolay Tchernev (Université Blaise Pascal)<br />
Closed-loop production and au<strong>to</strong>mation scheduling in RMSs<br />
Emanuele Carpanzano (ITIA-CNR); Amedeo Cesta (Italian National Research Council); Andrea Orlandini (ITIA-CNR); Riccardo Rasconi (ISTC-CNR); Anna Valente (ITIA-CNR)<br />
Characterization <strong>of</strong> all rho-approximated sequences for some scheduling problems<br />
Jean-Charles Billaut (Université François-Rabelais Tours); Pierre Lopez (LAAS-CNRS)<br />
Track5-1: Industrial Control - Advanced Control Methods I<br />
Chairs: Fotis Koumboulis, Luis Recalde<br />
Room : Ouriliac (14:00-16:00)<br />
Tracking Improvement Based on the Proxy Control Scheme for Bilateral Teleoperation System under Time-<br />
Varying Delays<br />
Bo Zhang (Ecole Centrale de Lille); Alexandre Kruszewski (Ecole Centrale de Lille); Jean-Pierre Richard (Ecole Centrale de Lille)<br />
Block Decoupling <strong>of</strong> General Neutral Multi Delay Systems<br />
Fotis Koumboulis (Halkis Institute <strong>of</strong> Technology); Nikolaos Kouvakas (Halkis Institute <strong>of</strong> Technology)<br />
Discrete Time Sliding Mode Control <strong>of</strong> Robotic Manipula<strong>to</strong>rs: Development and Experimental Validation<br />
Valentino Fossi (Università Politecnica delle Marche); Andrea Gian<strong>to</strong>massi (Università Politecnica delle Marche); Gianluca Ippoliti (Università Politecnica delle Marche); Sauro Longhi<br />
(Università Politecnica delle Marche); Giuseppe Orlando (Università Politecnica delle Marche); Maria Letizia Corradini (Università di Camerino)<br />
Comparison <strong>of</strong> Packet Loss in Nonlinear Networked Control Systems using Extended Kalman filter and<br />
Unscented Kalman Filter<br />
Tanisia De Carli Folet<strong>to</strong> (Federal University <strong>of</strong> Santa Catarina); Ubirajara Franco Moreno (Federal University <strong>of</strong> Santa Catarina); António M. Lopes (University <strong>of</strong> Por<strong>to</strong>)<br />
PID controller Design for Networked Control Systems<br />
Luis Recalde (university <strong>of</strong> Strathclyde); Reza Katebi (University <strong>of</strong> Strathclyde); Powyan Katebi (University <strong>of</strong> Tehran)<br />
Longitudinal flight Multi Condition Control Using Robust PID Controllers<br />
Michael Skarpetis (Halkis Institute <strong>of</strong> Technology); Fotis Koumboulis (Halkis Institute <strong>of</strong> Technology); Achilles Ntellis (Halkis Institute <strong>of</strong> Technology)<br />
WIP2-1: Industrial Communication Systems<br />
Chair: Thilo Sauter<br />
Room : H (14:00-16:00)<br />
An improved timed au<strong>to</strong>mata model for computing exact worst-case delays <strong>of</strong> AFDX periodic flows<br />
Muhammad Adnan (University <strong>of</strong> Toulouse); Jérôme Ermont (University <strong>of</strong> Toulouse); Jean-Luc Scharbarg (University <strong>of</strong> Toulouse); Christian Fraboul (University <strong>of</strong> Toulouse)<br />
Fieldbus Virtualization for Integrated Modular Avionics<br />
Jong-Seo Kim (Konkuk University); Sang-Hun Lee (Konkuk University); Hyun-Wook Jin (Konkuk University)<br />
Applying PTP <strong>to</strong> SNTP Time-Gateway for IEC61850 systems<br />
Paolo Ferrari (University <strong>of</strong> Brescia); Alessandra Flammini (University <strong>of</strong> Brescia); Stefano Rinaldi (University <strong>of</strong> Brescia); Gunnar Prytz (ABB Corporate Research)<br />
Using au<strong>to</strong>matic Topology Discovery <strong>to</strong> diagnose PROFINET networks<br />
Michael Jäger (Institut Industrial IT); Roman Just (Institut Industrial IT); Oliver Niggemann (Institut Industrial IT)<br />
Embedding Real Time Ethernet: Examining Feasibility <strong>of</strong> Separating Bus Master and Application Master in<br />
Industrial POWERLINK Implementations<br />
Cyrill Kuenzle (zhaw / Institute <strong>of</strong> Embedded Systems); Damir Bursic (zhaw / Institute <strong>of</strong> Embedded Systems); Hans Dermot Doran (zhaw / Institute <strong>of</strong> Embedded Systems)<br />
Embedding Real Time Ethernet: EtherNet/IP on Resource Constricted Platforms<br />
Silvan Fischer (zhaw / Institute <strong>of</strong> Embedded Systems); Hans Dermot Doran (zhaw / Institute <strong>of</strong> Embedded Systems)
Simplifying the Engineering <strong>of</strong> Modular PROFINET IO Devices<br />
Dominik Von Rohr (Bern University <strong>of</strong> Applied Science); Max Felser (Bern University <strong>of</strong> Applied Science); Markus Rentschler (Hirschmann A&C GmbH)<br />
Increasing EtherCAT Performance Using Frame Size Optimization Algorithm<br />
Mladen Knezic (University <strong>of</strong> Banja Luka); Branko Dokic (University <strong>of</strong> Banja Luka); Zeljko Ivanovic (University <strong>of</strong> Banja Luka)<br />
Large PROFINET IO RT networks for fac<strong>to</strong>ry au<strong>to</strong>mation: a case study<br />
Paolo Ferrari (University <strong>of</strong> Brescia); Alessandra Flammini (University <strong>of</strong> Brescia); Francesco Venturini (University <strong>of</strong> Brescia); An<strong>to</strong>nio Augelli (Siemens S.p.A.)<br />
Security Aspects <strong>of</strong> Safety Networks<br />
Gianluca Cena (IEIIT-CNR); Marco Cereia (IEIIT-CNR); Adriano Valenzano (IEIIT/CNR)<br />
Towards Understanding the Sensitivity <strong>of</strong> the Reliability Achievable by Simplex and Replicated Star Topologies<br />
in CAN<br />
Manuel Barranco (Universitat de les Illes Balears); Julian Proenza (Universitat de les Illes Balears)<br />
Designing sfiCAN: a star-based physical fault injec<strong>to</strong>r for CAN<br />
David Gessner (Universitat de les Illes Balears); Manuel Barranco (Universitat de les Illes Balears); Alber<strong>to</strong> Ballesteros (Universitat de les Illes Balears); Julian Proenza (Universitat de les<br />
Illes Balears)<br />
Injection <strong>of</strong> Aggregated Error Flags as a Means <strong>to</strong> Guarantee Consistent Error Detection in CAN<br />
Guillermo Rodriguez-Navas (Universitat de les Illes Balears); Christian Winter (Universitat de les Illes Balears); Julián Proenza (Universitat de les Illes Balears)<br />
Towards the Integration <strong>of</strong> Flexible-Time-Triggered Communication and Replicated Star Topologies in CAN<br />
Manuel Barranco (Universitat de les Illes Balears); Guillermo Rodríguez-Navas (Universitat de les Illes Balears); David Gessner (Universitat de les Illes Balears); Julián Proenza (Universitat<br />
de les Illes Balears)<br />
A CoAP based SOAP Transport Binding<br />
Guido Moritz (University <strong>of</strong> Ros<strong>to</strong>ck); Frank Gola<strong>to</strong>wski (University <strong>of</strong> Ros<strong>to</strong>ck); Dirk Timmermann (University <strong>of</strong> Ros<strong>to</strong>ck)<br />
A Novel Traffic Shaping Algorithm with Delay Jitter Constraints for Real-Time Multimedia Networks<br />
Hairui Zhou (Shanghai Jiao Tong University); Jian Li (Shanghai Jiao Tong University); Fei Hu (Shanghai Jiao Tong University); Guangyu Hu (Shanghai Jiao Tong University); Ye-Qiong Song<br />
(Nancy University); Lina He (Tongji University)<br />
Networked Control Systems: Quality <strong>of</strong> Service aware dynamic Quality <strong>of</strong> Control adaptation<br />
Xuan Hung Nguyen (CNRS-LAAS)<br />
Keynote 1: Open the Box! Challenges in the Smart Home<br />
Room : Despax (16:30-17:30)<br />
Andre Bottaro, Orange Labs, France.<br />
Keynote Abstract:<br />
A new world <strong>of</strong> applications emerges in the home from the growing variety <strong>of</strong> sensors and actua<strong>to</strong>rs potentially<br />
available. Several application domains are considered, e.g., security, energy efficiency, comfort, ambient assisted<br />
living, multimedia communication.<br />
However, the Smart Home market has still not taken <strong>of</strong>f yet. This market remains divided in<strong>to</strong> niche markets having<br />
dedicated device manufacturers with proprietary solutions. Industrial partnerships are also built on each type <strong>of</strong><br />
application separately without embracing the big picture.<br />
Several ac<strong>to</strong>rs propose <strong>to</strong> exploit a new technical and economic opportunity <strong>to</strong> catalyze this market. This opportunity<br />
is based on the re-use <strong>of</strong> the infrastructure that telecom opera<strong>to</strong>rs have deployed for <strong>to</strong>day classic Internet and TV<br />
services. It raises technical and business challenges: Telecom opera<strong>to</strong>rs have <strong>to</strong> open their home infrastructure <strong>to</strong><br />
third-party applications while guaranteeing application security and consistency <strong>to</strong> all home business ac<strong>to</strong>r using this<br />
infrastructure.<br />
Several technical disruptions are expected at several levels <strong>of</strong> the home telecom infrastructure. The main challenge<br />
lies in the deployment and maintenance <strong>of</strong> a s<strong>of</strong>tware environment embedded on an Internet gateway and open <strong>to</strong><br />
third party applications. Other technical issues remain on:<br />
the application consistency based on heterogeneous sensor networks,<br />
the homogeneous device management <strong>of</strong> numerous devices <strong>of</strong> various types,<br />
the adapted remote user interfaces <strong>to</strong> be deployed on shared screens at home,<br />
and the expected Home Application S<strong>to</strong>re that will address the complex user home context and several device<br />
targets.<br />
The talk describes the smart home market and goes through technical challenges. It then shows innovation tracks<br />
carried out by R&D labs worldwide.<br />
Short biography:<br />
Andre Bottaro has been working on several Research and Industrial projects in Home, Building and<br />
City environments for the Orange labs since 2003. He is presently in charge <strong>of</strong> the Machine-<strong>to</strong>-Machine<br />
Research Program <strong>of</strong> the Group, which shows great challenges in the integration <strong>of</strong> communication and<br />
processing capabilities in constrained devices. His work mainly addresses service dynamic composition<br />
in distributed embedded applications. His work is visible through publications and patents. He carried out<br />
actions in standardization organizations, e.g., lead the Device Management Working Committee <strong>of</strong> the<br />
UPnP Forum, lead standardization actions at ISO/IEC, and proposed new innovation tracks <strong>to</strong> the OSGi Alliance. He<br />
holds a PhD from Grenoble University where he worked under the direction <strong>of</strong> Richard S. Hall and Philippe Lalanda,<br />
an MSc from Telecom Paris, France, and an engineering degree from France's prestigious Ecole Polytechnique.
Wednesday, 7 September 2011<br />
Track1-4: Information Technology in Au<strong>to</strong>mation - Semantic Technologies<br />
Chairs: TBD<br />
Room : Hebraud (9:00-10:30)<br />
Day program <strong>to</strong>p<br />
Semantic Service Discovery and Orchestration for Manufacturing Processes<br />
Matthias Loskyll (German Research Center for Artificial Intelligence); Jochen Schlick (DFKI, Kaiserslautern); Stefan Hodek (DFKI, Kaiserslautern); Lisa Ollinger (University <strong>of</strong> Kaiserslauern);<br />
Tobias Gerber (DFKI, Kaiserslautern); Bogdan Pîrvu (Lucian Blaga University)<br />
Formal Validation Techniques for On<strong>to</strong>logy-based Device Descriptions<br />
Federico Rieckh<strong>of</strong> (Dresden University <strong>of</strong> Technology); Henrik Dibowski (Dresden University <strong>of</strong> Technology); Klaus Kabitzsch (Dresden University <strong>of</strong> Technology)<br />
Unified Sensor Data Provisioning with Semantic Technologies<br />
Chris<strong>to</strong>ph Legat (Siemens AG); Christian Seitz (Siemens AG); Birgit Vogel-Heuser (Technical University <strong>of</strong> Munich)<br />
A Conceptual Framework for Semantic Case-based Safety Analysis<br />
Olawande Daramola (Norwegian University <strong>of</strong> Science and Technology); Tor Stålhane (Norwegian University <strong>of</strong> Science and Technology); Thomas Moser (Vienna University <strong>of</strong> Technology);<br />
Stefan Biffl (Vienna University <strong>of</strong> Technology)<br />
Track2-3: Industrial Communication Systems - Advances in wireless networks<br />
Chair: Stefano Vitturi<br />
Room : Raynaud (9:00-10:30)<br />
Experimental Evaluation <strong>of</strong> the Service Time for Industrial Hybrid (Wired/Wireless) Networks under Non-Ideal<br />
Environmental Conditions<br />
Stefano Vitturi (CNR-IEIIT); Federico Tramarin (University <strong>of</strong> Padova); Lucia Seno (CNR-IEIIT)<br />
Probabilistic feasibility assessment <strong>of</strong> real-time wireless networks for fac<strong>to</strong>ry au<strong>to</strong>mation with mobile nodes<br />
Emanuele Toscano (University <strong>of</strong> Catania); Lucia Lo Bello (University <strong>of</strong> Catania)<br />
Time-based Localisation in Unsynchronized Wireless LAN for Industrial Au<strong>to</strong>mation Systems<br />
Aneta Nad (Austrian Academy <strong>of</strong> Sciences); Reinhard Exel (Austrian Academy <strong>of</strong> Sciences); Patrick Loschmidt (Austrian Academy <strong>of</strong> Sciences); Georg Gaderer (Austrian Academy <strong>of</strong><br />
Sciences)<br />
Heterogeneous Wireless Connectivity for Fixed and Mobile Sensing Applications in Industrial Environments<br />
Jose An<strong>to</strong>nio Palazon (University Miguel Hernandez <strong>of</strong> Elche); Miguel Sepulcre (University Miguel Hernandez <strong>of</strong> Elche); Javier Gozalvez (University Miguel Hernandez <strong>of</strong> Elche); Jaime<br />
Orozco (INDRA Sistemas S.A.); Oscar Lopez (Nextel S.A.)<br />
WIP3: Real-Time and (Networked) Embedded Systems<br />
Chair: Liliana Cucu-Grosjean<br />
Room : Mestre (9:00-10:30)<br />
Data Merge: A data aggregation technique for Wireless Sensor Networks<br />
Dimitris Tsitsipis (University <strong>of</strong> Patras); S<strong>of</strong>ia-Maria Dima (University <strong>of</strong> Patras); Angeliki Kritikakou (University <strong>of</strong> Patras); Chris<strong>to</strong>s Panagio<strong>to</strong>u (University <strong>of</strong> Patras); Stavros Koubias<br />
(University <strong>of</strong> Patras)<br />
WCET Analysis Considering Shared Memory Bus in COTS-Based Multicores<br />
Dakshina Dasari (Polytechnic Institute <strong>of</strong> Por<strong>to</strong>); Vincent Nelis (Polytechnic Institute <strong>of</strong> Por<strong>to</strong>); Björn Andersson (Carnegie Mellon University)<br />
An architecture for time-aware systems<br />
Francesco Fiamberti (University <strong>of</strong> Milano Bicocca); Daniela Micucci (University <strong>of</strong> Milano Bicocca); Francesco Tisa<strong>to</strong> (University <strong>of</strong> Milano Bicocca)<br />
Task period selection <strong>to</strong> minimize hyperperiod<br />
Vicent Brocal (Universitat Politécnica de Valencia); Patricia Balbastre (Universitat Politécnica de Valencia); Rafael Ballester (Universitat Politécnica de Valencia); Ismael Ripoll (Universitat<br />
Politécnica de Valencia)<br />
Predictable Bus Arbitration Schemes for Heterogeneous Time-Critical Workloads Running on Multicore<br />
Processors<br />
Roman Bourgade (University <strong>of</strong> Toulouse); Christine Rochange (University <strong>of</strong> Toulouse); Pascal Sainrat (University <strong>of</strong> Toulouse)<br />
The Click&Find Remote Vehicle Moni<strong>to</strong>ring and Control Platform: Architecture, Interfaces, Applications<br />
Nicola Zingirian (University <strong>of</strong> Padova); Massimo Maresca (University <strong>of</strong> Padova); Carlo Valenti (University <strong>of</strong> Padova)<br />
Development <strong>of</strong> Embedded Multicore Systems<br />
Celio Estevan Moron (Federal University <strong>of</strong> São Carlos); Allen Malony (University <strong>of</strong> Oregon)<br />
SISP: a lightweight Synchronization Pro<strong>to</strong>col for Wireless Sensor Networks<br />
Adrien Van Den Bossche (Université de Toulouse); Thierry Val (Université de Toulouse); Réjane Dalcé (Université de Toulouse)<br />
SIMOTEST: A Tool for Au<strong>to</strong>mated Testing <strong>of</strong> Hybrid Real-Time Simulink Models<br />
Frank Böhr (Fraunh<strong>of</strong>er IESE); Robert Eschbach (Fraunh<strong>of</strong>er IESE)<br />
Enabling Trade-<strong>of</strong>f Analysis <strong>of</strong> NFRs on Models <strong>of</strong> Embedded Systems<br />
Mehrdad Saadatmand (Mälardalen University); An<strong>to</strong>nio Cicchetti (Mälardalen University); Mikael Sjödin (Mälardalen University)<br />
Towards Real-Time Scheduling <strong>of</strong> Virtual Machines Without Kernel Modifications<br />
Mikael Åsberg (MRTC/Mälardalen University); Nils Forsberg (MRTC/Mälardalen University); Thomas Nolte (MRTC/Mälardalen University); Shinpei Ka<strong>to</strong> (Keio University)<br />
Impact <strong>of</strong> clock drifts on CAN frames response time distributions<br />
Aurelien Monot (PSA Peugeot Citroen); Nicolas Navet (INRIA); Bernard Bavoux (PSA Peugeot-Citroen)<br />
Knowledge Based Ac<strong>to</strong>r <strong>to</strong> Ac<strong>to</strong>r coordination in Wireless Sensor and Ac<strong>to</strong>r Networks<br />
S<strong>of</strong>ia-Maria Dima (University <strong>of</strong> Patras); John Gialelis (University <strong>of</strong> Patras); Stavros Koubias (University <strong>of</strong> Patras)<br />
Extending Response-Time Analysis <strong>of</strong> Controller Area Network (CAN) with FIFO Queues for Mixed Messages<br />
Saad Mubeen (Mälardalen University); Jukka Mäki-Turja (MRTC, Mälardalen University); Mikael Sjödin (MRTC, Mälardalen University)
Using Au<strong>to</strong>mated Evaluation <strong>of</strong> Efficiency for Pho<strong>to</strong>voltaic Power Plant<br />
Michal Tutsch (Technical University <strong>of</strong> Ostrava); Petr Vojcinak (Technical University <strong>of</strong> Ostrava); Jiri Koziorek (Technical University <strong>of</strong> Ostrava); Michal Skrepek (Technical University <strong>of</strong><br />
Ostrava)<br />
A Trace-Based Statistical Worst-Case Execution Time Analysis <strong>of</strong> Component-Based Real-Time Embedded<br />
Systems<br />
Yue Lu (MRTC/Mälardalen University); Thomas Nolte (MRTC, Mälardalen University); Iain Bate (University <strong>of</strong> York); Liliana Cucu-Grosjean (INRIA Nancy-Grand Est)<br />
Towards Resource Sharing by Message Passing among Real-Time Components on Multi-cores<br />
Farhang Nemati (Malardalen University); Rafia Inam (Malardalen University); Thomas Nolte (Malardalen University); Mikael Sjödin (Malardalen University)<br />
Achieving Reconfigurable Service Oriented Applications Using Model Driven Engineering<br />
Aintzane Armentia (ETSI Bilbao); Isabel Sarachaga (ETSI Bilbao); Oier García De Albéniz (ETSI Bilbao); Elisabet Estévez (Escuela Politécnica Superior de Jaén); Ai<strong>to</strong>r Aguirre (Escuela<br />
Politécnica Superior de Jaén); Margarita Marcos (ETSI Bilbao)<br />
An Industrial Deployment <strong>of</strong> a Real Time Power Aware Scheduler<br />
Nikos Anastasiadis (ENEA S<strong>to</strong>ckholm Services); Detlef Scholle (ENEA S<strong>to</strong>ckholm Services); Johan Fredriksson (ENEA S<strong>to</strong>ckholm Services); Joel Huselius (ENEA S<strong>to</strong>ckholm Services)<br />
Temporal Partitioning for Mixed-Criticality Systems<br />
Hyun-Wook Jin (Konkuk University); Sanghyun Han (Konkuk University)<br />
Safety Services in Infrastructure Based Vehicular Communications<br />
Tiago Meireles (Universidade da Madeira); José Fonseca (Universidade de Aveiro)<br />
Track4-4: Au<strong>to</strong>mated Manufacturing Systems - Fuzzy Theory and Optimization<br />
Chairs: Jean-Charles Billaut, Philippe Lacomme<br />
Room : Montane (9:00-10:30)<br />
State Estimation <strong>of</strong> Partially Observable DES Using Fuzzy Timed Petri Nets<br />
Juan Carlos González Cas<strong>to</strong>lo (CUCEA University <strong>of</strong> Guadalajara); Ernes<strong>to</strong> Lopez-Mellado (CINVESTAV Unidad Guadalajara)<br />
Fuzzy tactical project planning: Application <strong>to</strong> helicopter maintenance<br />
Malek Masmoudi (ISAE); Erwin Hans (University <strong>of</strong> Twente); Alain Haït (ISAE)<br />
Simulation-Based NSGA-II Approach for Multi-Unit Process Plans Generation in Reconfigurable Manufacturing<br />
System<br />
Bensmaine Abderrahmane (INRIA Nancy Grand-Est); Dahane Mohammed (LGIPM/ENIM); Benyoucef Lyes (INRIA Nancy Grand-Est)<br />
Sheet-Metal Press Line Parameter Tuning using a Combined DIRECT and Nelder-Mead Algorithm<br />
Bo Svensson (University West); Nima K. Nia (Volvo Cars); Fredrik Danielsson (University West); Bengt Lennartson (Chalmers University <strong>of</strong> Technology)<br />
Track5-2: Industrial Control - Industrial Control and Au<strong>to</strong>mation<br />
Chairs: Rui Araujo, Daniel Sabin<br />
Room : Ouriliac (9:00-10:30)<br />
Implementation <strong>of</strong> Fuzzy Logic Control Based on PLC<br />
Jiri Kocian (VSB-TU Ostrava); Jiri Koziorek (VSB-TU Ostrava); Miroslav Pokorny (VSB-TU Ostrava)<br />
Au<strong>to</strong>matic Extraction <strong>of</strong> the Fuzzy Control System for Industrial Processes<br />
Jerome Mendes (University <strong>of</strong> Coimbra); Ricardo Seco (University <strong>of</strong> Coimbra); Rui Araujo (University <strong>of</strong> Coimbra)<br />
WinCC ® Application via OPC Communication <strong>to</strong> MatLab ® for Integrated Systems<br />
Daniel Sabin Diaz (Katholieke Universiteit Leuven); Robain De Keyser (Ghent University)<br />
Design and Application <strong>of</strong> S<strong>of</strong>t Sensor Using Ensemble Methods<br />
Symone Soares (University <strong>of</strong> Coimbra); Rui Araújo (University <strong>of</strong> Coimbra); Pedro Sousa (University <strong>of</strong> Coimbra); Francisco Souza (University <strong>of</strong> Coimbra)<br />
Keynote 2: Is Ethernet the rising star for in-vehicle networks?<br />
Room : Despax (11:00-12:00)<br />
Josef Noebauer, Continental Au<strong>to</strong>motive GmbH, Germany.<br />
Keynote Abstract:<br />
The motivation <strong>of</strong> the au<strong>to</strong>motive industry for investigations around the introduction <strong>of</strong> Ethernet as in-vehicle network<br />
will be explained. These are e.g. <strong>to</strong> fulfill the continuously rising communication demands and because it has a very<br />
high market penetration. However the au<strong>to</strong>motive industry has strong requirements with respect <strong>to</strong> reliability; hence<br />
the introduction <strong>of</strong> new technologies is commonly done in an evolutionary approach.<br />
Continental is already working on the introduction <strong>of</strong> Ethernet as new in-vehicle network and some <strong>of</strong> the aspects that<br />
are investigated, like Electromagnetic Compatibility (EMC), Real-Time constraints and energy consumption will be<br />
presented.<br />
However several aspects that have not be the first thoughts like <strong>to</strong>ol infrastructure, etc. are not fully addressed so far,<br />
but need <strong>to</strong> be solved for a successful introduction.<br />
An outlook on the short-, mid- and long-term future <strong>of</strong> in-vehicle networks will be given from the perspective <strong>of</strong> an<br />
au<strong>to</strong>motive supplier.<br />
Short biography:<br />
Manager at Continental Au<strong>to</strong>motive GmbH and senior expert for the cross divisional usage <strong>of</strong> the<br />
au<strong>to</strong>motive network technologies MOST, FlexRay and Ethernet. In this role he is managing Continental’s<br />
activities around the introduction <strong>of</strong> Ethernet as in-vehicle network. He is working at Continental<br />
Au<strong>to</strong>motive GmbH, Regensburg, Germany since 1998. In his previous business activities he was<br />
involved in the development <strong>of</strong> vehicle system architectures, project management and development <strong>of</strong><br />
Infotainment Systems.
He started his pr<strong>of</strong>essional career in 1995 in the area <strong>of</strong> s<strong>of</strong>tware development for mobile phones at AEG Mobile<br />
Communication, Ulm, Germany.<br />
He graduated as electrical engineer in the area <strong>of</strong> telecommunications in 1995 at the University <strong>of</strong> Applied Sciences,<br />
Regensburg, Germany.<br />
Track1-5: Information Technology in Au<strong>to</strong>mation - Applications<br />
Chair: Matthias Loskyll<br />
Room : Hebraud (12:00-13:00)<br />
State Space Delta GPC for Au<strong>to</strong>motive Powertrain Systems<br />
Cristina Budaciu (Technical University “Gheorghe Asachi” <strong>of</strong> Iasi); Andreea Elena Balau (Technical University “Gheorghe Asachi” <strong>of</strong> Iasi); Corneliu Lazar (Technical University “Gheorghe<br />
Asachi” <strong>of</strong> Iasi)<br />
RFID Enabled Handheld Solution for Aerospace MRO Operations Track and Trace<br />
Wei He (Singapore Institute <strong>of</strong> Manufacturing Technology); Eng Leong Tan (Nanyang Technological University); Chi Xu (Singapore Institute <strong>of</strong> Manufacturing Technology); Yintai Ao<br />
(Singapore Institute <strong>of</strong> Manufacturing Technology); Xuejian Xiao (Singapore Institute <strong>of</strong> Manufacturing Technology); Eng Wah Lee (Singapore Institute <strong>of</strong> Manufacturing Technology)<br />
Leveraging OSGi and Eclipse Technologies for a Service Oriented Middleware in Industrial Machines<br />
Walter Hargassner (S<strong>of</strong>tware Competence Center Hagenberg); Bernhard Dorninger (S<strong>of</strong>tware Competence Center Hagenberg)<br />
Track2-4: Industrial Communication Systems - Industrial Communication<br />
Chair: Guy Juanole<br />
Room : Raynaud (12:00-13:00)<br />
SPEED Routing Pro<strong>to</strong>col in 6LoWPAN Networks<br />
Stefano Bocchino (Scuola Superiore Sant’Anna); Matteo Petracca (Scuola Superiore Sant'Anna); Paolo Pagano (Consorzio Nazionale Interuniversitario per le Telecomunicazioni); Marco<br />
Ghibaudi (Scuola Superiore Sant’Anna); Francesco Ler<strong>to</strong>ra (Montalbano Technology S.p.A.)<br />
Optimized XML-based Web Service Generation for Service Communication in Restricted Embedded<br />
Environments<br />
Sebastian Käbisch (University <strong>of</strong> Passau); Daniel Peintner (University <strong>of</strong> Passau); Jörg Heuer (Siemens AG); Harald Kosch (University <strong>of</strong> Passau)<br />
Track3-4: Real-Time and (Networked) Embedded Systems - Real-Time Platforms<br />
Chair: Nicolas Navet<br />
Room : Mestre (12:00-13:00)<br />
Support for Hierarchical Scheduling in FreeRTOS<br />
Rafia Inam (Mälardalen University); Jukka Mäki-Turja (Mälardalen University); Mikael Sjödin (Mälardalen University); Seyed M. H. Ashjaei (Mälardalen University); Sara Afshar (Mälardalen<br />
University)<br />
Towards Adaptive Hierarchical Scheduling <strong>of</strong> Real-time Systems<br />
Nima Moghaddami Khalilzad (Mälardalen University); Thomas Nolte (Mälardalen University); Moris Behnam (Mälardalen University); Mikael Åsberg (Mälardalen University)<br />
Platform-aware Bandwidth-oriented Energy Management Algorithm for Real-Time Embedded Systems<br />
Mauro Marinoni (Scuola Superiore Sant'Anna); Mario Bambagini (Scuola Superiore Sant'Anna); Francesco Prosperi (Scuola Superiore Sant'Anna); Francesco Esposi<strong>to</strong> (Scuola Superiore<br />
Sant'Anna); Gianluca Franchino (Scuola Superiore Sant'Anna); Luca Santinelli (INRIA); Giorgio Buttazzo (Scuola Superiore Sant'Anna)<br />
Track4-5: Au<strong>to</strong>mated Manufacturing Systems - Supervisory control<br />
Chairs: Max Hering de Queiroz, Aldo Rossi<br />
Room : Montane (12:00-13:00)<br />
Local Modular Supervisory Control <strong>of</strong> DES with Distinguishers<br />
Marcelo Teixeira (Universidade Federal de Santa Catarina); Jose E. R. Cury (Universidade Federal de Santa Catarina); Max H. De Queiroz (Universidade Federal de Santa Catarina)<br />
Process tracking by equivalent states in modal supervisory control<br />
Gregory Faraut (INSA-Lyon); Laurent Piétrac (INSA-Lyon); Eric Niel (INSA-Lyon)<br />
Requirements for the benchmarking <strong>of</strong> decentralized manufacturing control systems<br />
Sebastian Schreiber (Helmut-Schmidt University Hamburg); Alexander Fay (Helmut-Schmidt University Hamburg)<br />
SS07-1: Distributed Au<strong>to</strong>mation Systems Development<br />
Chairs: Birgit Vogel-Heuser, Kleanthis Thramboulidis<br />
Room : H (12:00-13:00)<br />
Object oriented extensions <strong>of</strong> IEC 61131-3 as an enabling technology <strong>of</strong> s<strong>of</strong>tware product lines<br />
Nikolaos Papakonstantinou (Aal<strong>to</strong> University); Seppo Sierla (Aal<strong>to</strong> University); Kari Koskinen (Aal<strong>to</strong> University)<br />
An MDD Process for IEC 61131-based Industrial Au<strong>to</strong>mation Systems<br />
Kleanthis Thramboulidis (University <strong>of</strong> Patras); Georg Frey (Saarland University)<br />
Integration <strong>of</strong> control loops in an UML based engineering environment for PLC<br />
Gülden Bayrak (TU Muenchen); Dmtry Renzhin (TU Muenchen); Birgit Vogel-Heuser (TU Muenchen)
WIP1: Information Technology in Au<strong>to</strong>mation<br />
Chair: Thilo Sauter<br />
Room : Hebraud (14:00-16:00)<br />
Dealing with non-functional requirements in Distributed Control Systems Engineering<br />
Timo Frank (TU München); Martin Merz (TU München); Karin Eckert (Helmut Schmidt University Hamburg); Thomas Hadich (Ot<strong>to</strong> von Guericke University); Birgit Vogel-Heuser (TU<br />
München); Alexander Fay (Helmut Schmidt University Hamburg); Christian Diedrich (Ot<strong>to</strong> von Guericke University)<br />
OPC UA goes Semantics: Integrated Communications in Smart Grids<br />
Sebastian Rohjans (OFFIS - Institute for Information Technology); Dieter Fensel (STI Innsbruck); Anna Fensel (STI Innsbruck)<br />
Requirements and obstacles for the transformation <strong>of</strong> GRAFCET specifications in<strong>to</strong> IEC 61131-3 PLC programs<br />
Frank Schumacher (Helmut-Schmidt-University Hamburg); Alexander Fay (Helmut-Schmidt-University Hamburg)<br />
Advanced S<strong>of</strong>t Sensor Technology <strong>to</strong> be Used for Cold Rolling Mills<br />
Pavel Ettler (COMPUREG Plzen); Kamil Dedecius (Institute <strong>of</strong> Information Theory and Au<strong>to</strong>mation); Dani Juricic (Jozef Stefan Institute); Aleksander Preglej (INEA d.o.o.)<br />
Development <strong>of</strong> a method <strong>to</strong> analyze the impact <strong>of</strong> manufacturing systems engineering on product quality<br />
Matthias Foehr (Ot<strong>to</strong>-von-Guericke University); Arndt Lüder (Ot<strong>to</strong>-von-Guericke University); Thomas Wagner (Siemens AG); Tobias Jäger (Helmut-Schmidt-University Hamburg); Alexander<br />
Fay (Helmut-Schmidt-University Hamburg)<br />
Passive Supervisor for Railway Fault-Tolerant Ethernet Networked Control Systems<br />
Mai Hassan (American University in Cairo); Ramez Daoud (American University in Cairo); Hassanein Amer (American University in Cairo)<br />
Lifecycle Management related Model Approach for Wireless Au<strong>to</strong>mation<br />
Martin Wollschlaeger (TU Dresden); Alexander Dennert (TU Dresden); Lutz Rauchhaupt (Institut für Au<strong>to</strong>mation und Kommunikation e.V.); David Hasler (Institut für Au<strong>to</strong>mation und<br />
Kommunikation e.V. ); Andre Schimschar (Institut für Au<strong>to</strong>mation und Kommunikation e.V.); Matthias Riedl (Institut für Au<strong>to</strong>mation und Kommunikation e.V.)<br />
Middleware based Distributed Heterogeneous Simulation for the Steel Industry<br />
Rüdiger Zum Beck (cbb-s<strong>of</strong>tware GmbH); Dmitry Kazakov (cbb-s<strong>of</strong>tware GmbH); Cecil Bruce-Boye (cbb s<strong>of</strong>tware GmbH); Günter Menden (ThyssenKrupp CSA Siderúrgica do Atlântico);<br />
Debbie Assaf Hohl (cbb-s<strong>of</strong>tware GmbH); Natalia Zapata Zapata (cbb-s<strong>of</strong>tware GmbH)<br />
Integrating CCTV Systems in<strong>to</strong> BACnet<br />
Christian Mauser (Vienna University <strong>of</strong> Technology); Wolfgang Granzer (Vienna University <strong>of</strong> Technology); Wolfgang Kastner (Vienna University <strong>of</strong> Technology)<br />
Distributed Open Source Control with Industrial Ethernet I/O Devices<br />
Filip Andren (AIT Austrian Institute <strong>of</strong> Technology); Thomas Strasser (AIT Austrian Institute <strong>of</strong> Technology)<br />
Distributed component management platform for QoS enabled applications<br />
Ai<strong>to</strong>r Agirre (IKERLAN-IK4); Marga Marcos (University <strong>of</strong> the Basque Country); Elisabet Estevez (Escuela Politécnica Superior de Jaén)<br />
Modeling Order Effects on Errors in Object Oriented Modeling for Machine and Plant Au<strong>to</strong>mation from an<br />
Educational Point <strong>of</strong> View<br />
Birgit Vogel-Heuser (Institute <strong>of</strong> Au<strong>to</strong>mation and Information Systems); Tina Seidel (TUM School <strong>of</strong> Education); Steven Braun (Institute <strong>of</strong> Au<strong>to</strong>mation and Information Systems); Martin<br />
Obermeier (Institute <strong>of</strong> Au<strong>to</strong>mation and Information Systems); Kerstin Sommer (Institute <strong>of</strong> Au<strong>to</strong>mation and Information Systems); Christine Johannes (TUM School <strong>of</strong> Education)<br />
Teorema: an E-maintenance Platform for Ice Cream Machines<br />
Rober<strong>to</strong> Lazzarini (Carpigiani Group); Cesare Stefanelli (University <strong>of</strong> Ferrara); Mauro Tor<strong>to</strong>nesi (University <strong>of</strong> Ferrara); Giovanni Virgilli (Carpigiani Group)<br />
Handling Identification and Maintenance Information <strong>of</strong> Intelligent Field Devices using Web Based Enterprise<br />
Management<br />
Roman Frenzel (Technische Universität Dresden); Robert Lehmann (Technische Universität Dresden); Martin Wollschlaeger (Technische Universität Dresden)<br />
Model Based TTCN-3 Testing <strong>of</strong> Industrial Au<strong>to</strong>mation Systems - First Results<br />
Barath Kumar (Institute Industrial IT); Bjoern Czybik (Institute Industrial IT); Juergen Jasperneite (Institut Industrial IT)<br />
An approach <strong>to</strong> refinement checking <strong>of</strong> SysML requirements<br />
Denis Makartetskiy (Politecnico di Torino); Riccardo Sis<strong>to</strong> (Politecnico di Torino)<br />
Performance Analyzer System: an Approach for Performance Equipment Manufacturing Analysis<br />
Eduardo Portela San<strong>to</strong>s (Pontifical Catholic University <strong>of</strong> Parana); Eduardo Rocha Loures (Pontifical Catholic University <strong>of</strong> Parana); Rodrigo Pierezan (Pontifical Catholic University <strong>of</strong><br />
Parana); Marco Busetti (Universidade Federal Tecnológica do Paraná); André P. San<strong>to</strong>s (Universidade Federal de Santa Catarina)<br />
Quality Assurance for Data from Low-Tech Participants in Distributed Au<strong>to</strong>mation Engineering Environments<br />
Richard Mordinyi (Vienna University <strong>of</strong> Technology); Alexander Pacha (Vienna University <strong>of</strong> Technology); Stefan Biffl (Vienna University <strong>of</strong> Technology)<br />
Track6-1: Computational Intelligence and Modern Heuristics in Au<strong>to</strong>mation - Data Analysis<br />
Chair: Rui Araujo<br />
Room : Raynaud (14:00-16:00)<br />
Identifying Behavior Models for Process Plants<br />
Asmir Vodencarevic (University <strong>of</strong> Paderborn); Hans Kleine Büning (University <strong>of</strong> Paderborn); Oliver Niggemann (inIT - Institut Industrial IT); Alexander Maier (inIT - Institut Industrial IT)<br />
CP-driven multimodal processes scheduling<br />
Grzegorz Bocewicz (Koszalin University <strong>of</strong> Technology); Wojciech Muszynski (Wroclaw University <strong>of</strong> Technology); Zbigniew Banaszak (Warsaw University <strong>of</strong> Technology)<br />
Analysis and Simulation <strong>of</strong> Sales Receipt Data in Supermarkets<br />
Clemens Schwenke (Dresden University <strong>of</strong> Technology); Volodymyr Vasyutynskyy (Dresden University <strong>of</strong> Technology); Klaus Kabitzsch (Dresden University <strong>of</strong> Technology)<br />
Cooperative project scheduling with controllable processing times: a game theory framework<br />
Cyril Briand (LAAS-CNRS); Jean-Charles Billaut (LAAS-CNRS)<br />
Track7-1: Intelligent Robots & Systems - Guidance, Navigation and Control<br />
Chair: Philippe Fraisse<br />
Room : Mestre (14:00-16:00)<br />
Sliding Mode Control for Robotic Teleoperation System with Haptic Interface<br />
Ales Hace (University <strong>of</strong> Maribor); Marko Franc (Isomat d.o.o.)<br />
Kinematic Cooperation Analysis and Trajec<strong>to</strong>ry Teaching in Multiple Robots System for Welding<br />
Yahui Gan (Southeast University); Xianzhong Dai (Southeast University)
Formation and Trajec<strong>to</strong>ry tracking <strong>of</strong> a class <strong>of</strong> nonlinear systems with Super Twisting Control<br />
Carlos López-Limón (CINVESTAV-IPN); Alejandro Cervantes-Herrera (CINVESTAV-IPN); Javier Ruiz-León (CINVESTAV-IPN); An<strong>to</strong>nio Ramírez-Treviño (CINVESTAV-IPN)<br />
On the Adaptive Performance Improvement <strong>of</strong> a Trajec<strong>to</strong>ry Tracking Controller for non-Holonomic Mobile<br />
Robots<br />
John Arvanitakis (University <strong>of</strong> Patras); George Nikolakopoulos (Lulea University <strong>of</strong> Technology); Demetris Zermas (University <strong>of</strong> Patras)<br />
An Attitude and Heading Reference System (AHRS) based in a Dual Filter<br />
Rodrigo Munguía (Technical Univ. <strong>of</strong> Catalonia); An<strong>to</strong>ni Grau (Technical Univ. <strong>of</strong> Catalonia)<br />
Track4-6: Au<strong>to</strong>mated Manufacturing Systems - Flexible Manufacturing Systems<br />
Chairs: Saber Darmoul, Laurent Piétrac<br />
Room : Montane (14:00-16:00)<br />
Stepwise Identification <strong>of</strong> Au<strong>to</strong>mated Discrete Manufacturing Systems<br />
Ana Paula Estrada-Vargas (CINVESTAV Unidad Guadalajara); Ernes<strong>to</strong> Lopez-Mellado (CINVESTAV Unidad Guadalajara); Jean-Jacques Lesage (LURPA ENS de Cachan)<br />
Optimal Petri Net Supervisor with Lowest Implemental Cost for Flexible Manufacturing Systems<br />
Yufeng Chen (Xidian University); Zhiwu Li (Xidian University); Kamel Barkaoui (Conserva<strong>to</strong>ire National des Arts et Metiers)<br />
Convenience analysis and validation <strong>of</strong> a fully flexible assembly system<br />
Giulio Rosati (University <strong>of</strong> Padua); Maurizio Faccio (University <strong>of</strong> Padua); Andrea Carli (University <strong>of</strong> Padua); Aldo Rossi (University <strong>of</strong> Padua)<br />
Flexible assembly system for heat exchanger coils<br />
Aldo Rossi (University <strong>of</strong> Padua); Giulio Rosati (University <strong>of</strong> Padua); Stefano Cenci (University <strong>of</strong> Padua); Andrea Carli (University <strong>of</strong> Padua); Valerio Giordano Riello (Sierra SpA); Alber<strong>to</strong><br />
Foroni (Sierra SpA); Massimo Man<strong>to</strong>vani (Sierra SpA); Luca Zanotti (Sierra SpA)<br />
Reduced-Order Synthesis <strong>of</strong> Operation Sequences<br />
Mohammad Reza Shoaei (Chalmers University <strong>of</strong> Technology); Sajed Miremadi (Chalmers University <strong>of</strong> Technology); Kris<strong>to</strong>fer Bengtsson (Chalmers University <strong>of</strong> Technology); Bengt<br />
Lennartson (Chalmers University <strong>of</strong> Technology)<br />
Track5-3: Industrial Control - Fault Detection and Diagnosis<br />
Chairs: Diego Garcia-Alvarez, Lars Christiansen<br />
Room : Ouriliac (14:00-16:00)<br />
Design <strong>of</strong> Residuals in a model-based fault detection and isolation system using statistical process control<br />
techniques<br />
Diego Garcia-Alvarez (University <strong>of</strong> Valladolid); Maria Jesus Fuente (University <strong>of</strong> Valladolid)<br />
Symp<strong>to</strong>m Propagation and Transformation Analysis: A Pragmatic Model for System-level Diagnosis <strong>of</strong> Large<br />
Au<strong>to</strong>mation Systems<br />
Dennis Klar (Clausthal University <strong>of</strong> Technology); Michaela Huhn (Clausthal University <strong>of</strong> Technology); Jochen Grühser (Siemens AG)<br />
Improved Diagnosis by Combining Structural and Process Knowledge<br />
Lars Christiansen (Helmut-Schmidt University Hamburg); Alexander Fay (Helmut Schmidt University Hamburg); Bernd Opgenoorth (Siemens AG Industry); Jörg Neidig (Siemens AG)<br />
Non Intrusive Fault Detection Through Electromagnetism Analysis<br />
Sébastien Thomas (Telecom ParisTech); Didier Regis (Thales Avionics); David Faura (Thales Avionics); Marc Gatti (Thales Avionics); Guillaume Duc (Telecom ParisTech); Jean-Luc Danger<br />
(Telecom ParisTech)<br />
Multi-Scale PCA based fault diagnosis on a paper mill plant<br />
Francesco Ferracuti (Università Politecnica delle Marche); Andrea Gian<strong>to</strong>massi (Università Politecnica delle Marche); Sauro Longhi (Università Politecnica delle Marche); Nicola Bergantino<br />
(Integra S<strong>of</strong>tware)<br />
SS07-2: Distributed Au<strong>to</strong>mation Systems Development<br />
Chairs: Kleanthis Thramboulidis, Birgit Vogel-Heuser<br />
Room : H (14:00-16:00)<br />
Using a meta-model <strong>to</strong> build operational architectures <strong>of</strong> au<strong>to</strong>mation systems for critical processes<br />
Thibault Lemattre (LURPA ENS Cachan); Bruno Denis (LURPA ENS Cachan); Jean-Marc Faure (LURPA ENS Cachan); Jean-François Pétin (Nancy University); Patrick Salaün (Electricite<br />
de France)<br />
UML-Based Design <strong>of</strong> Agents-based Reconfigurable Embedded Control Systems<br />
Amen Ben Hadj Ali (Tunis El Manar University); Mohamed Khalgui (Xidian University); Samir Ben Ahmed (Tunis El Manar University)<br />
Typical Au<strong>to</strong>mation Functions and Their Distribution in Au<strong>to</strong>mation Systems<br />
Karin Eckert (Helmut-Schmidt University Hamburg); Timo Frank (TU München); Thomas Hadlich (Ot<strong>to</strong> von Guericke University); Alexander Fay (Helmut-Schmidt University Hamburg);<br />
Christian Diedrich (Ot<strong>to</strong> von Guericke University); Birgit Vogel-Heuser (TU München)<br />
COSME: A Distributed Control Platform for Communicating Machine Tools in Agile Manufacturing Systems<br />
Carlos Catalán (Universidad de Zaragoza); Félix Serna (Universidad de Zaragoza); Alfonso Blesa (Universidad de Zaragoza); Josep María Rams (TUROMAS-TECNOCAT Group); José<br />
Manuel Colom (Universidad de Zaragoza)<br />
Distributed Online Change for IEC 61499<br />
Andreas Schimmel (Vienna University <strong>of</strong> Technology); Alois Zoitl (Vienna University <strong>of</strong> Technology)<br />
Track6-2: Computational Intelligence and Modern Heuristics in Au<strong>to</strong>mation - Evolutionary Algorithms in<br />
Au<strong>to</strong>mation<br />
Chair: Jean Charles Billaut<br />
Room : Raynaud (16:30-18:30)<br />
Co-evolutionary Genetic Multilayer Percetron for Variable Selection and Model Design<br />
Francisco Souza (University <strong>of</strong> Coimbra); Tiago Matias (University <strong>of</strong> Coimbra); Rui Araújo (University <strong>of</strong> Coimbra)
A Decision Tree based Particle Swarm Optimization for Solving Resource-Constrained Project Scheduling<br />
Problem<br />
Nhu Binh Ho (Singapore Institute <strong>of</strong> Manufacturing Technology); Youliang Huang (Singapore Institute <strong>of</strong> Manufacturing Technology); Malcolm Low (Nanyang Technological University)<br />
Evolutive ANFIS Training for Energy Load Pr<strong>of</strong>ile Forecast for an IEMS in an Au<strong>to</strong>mated Fac<strong>to</strong>ry<br />
Juan José Cárdenas (Universitat Politècnica de Catalunya); An<strong>to</strong>ni García (Universitat Politècnica de Catalunya); Luis Romeral (Universitat Politècnica de Catalunya); Konstantinos<br />
Kabouropoulos (Universitat Politècnica de Catalunya)<br />
Modeling and Evaluation <strong>of</strong> Single Machine Flexibility Using Fuzzy Entropy and Genetic Algorithm Based<br />
Approach<br />
Toufik Bentrcia (University <strong>of</strong> Batna); Leila Hayet Mouss (University <strong>of</strong> Batna); Mohamed Djamel Mouss (University <strong>of</strong> Batna); Mohamed Elhachemi Benbouzid (Université de Bretagne<br />
Occidentale)<br />
SS03: Building Au<strong>to</strong>mation and Smart Homes<br />
Chairs: Wolfgang Kastner, Christian Reinisch<br />
Room : Mestre (16:30-18:30)<br />
Holistic Design <strong>of</strong> Wireless Building Au<strong>to</strong>mation Systems<br />
Joern Ploennigs (Dresden University <strong>of</strong> Technology); Henrik Dibowski (Dresden University <strong>of</strong> Technology); Uwe Ryssel (Dresden University <strong>of</strong> Technology); Klaus Kabitzsch (Dresden<br />
University <strong>of</strong> Technology)<br />
SmartFridge: Demand Side Management for the Device Level<br />
Thomas Bigler (Austrian Academy <strong>of</strong> Sciences); Georg Gaderer (Austrian Academy <strong>of</strong> Sciences); Patrick Loschmidt (Austrian Academy <strong>of</strong> Sciences); Thilo Sauter (Austrian Academy <strong>of</strong><br />
Sciences)<br />
Interoperability at the Management Level <strong>of</strong> Building Au<strong>to</strong>mation Systems: A Case Study for BACnet and OPC<br />
UA Andreas Fernbach (Vienna University <strong>of</strong> Technology); Wolfgang Granzer (Vienna University <strong>of</strong> Technology); Wolfgang Kastner (Vienna University <strong>of</strong> Technology)<br />
Efficient Building load forecasting<br />
Ivan Fernández (University <strong>of</strong> Deus<strong>to</strong>); Cruz E. Borges (University <strong>of</strong> Deus<strong>to</strong>); Yoseba K. Penya (University <strong>of</strong> Deus<strong>to</strong>)<br />
Impact <strong>of</strong> User Habits in Smart Home Control<br />
Felix Iglesias (Vienna University <strong>of</strong> Technology); Wolfgang Kastner (Vienna University <strong>of</strong> Technology); Christian Reinisch (Vienna University <strong>of</strong> Technology)<br />
Implementation and Substantiation <strong>of</strong> Energy Management Systems for Terminal Buildings<br />
Shen Tianmeng (Keio University); Togoshi Toshiro (Keio University); Nishi Hiroaki (Keio University)<br />
SS09-1: Applying Agent-Based Technology in Industrial Systems<br />
Chairs: Thomas Strasser, Alois Zoitl<br />
Room : Montane (16:30-18:30)<br />
Efficient Agent Interaction in Au<strong>to</strong>mation Networks: A Simulation Study<br />
Sebastian Theiss (Dresden University <strong>of</strong> Technology); Klaus Kabitzsch (Dresden University <strong>of</strong> Technology)<br />
Multiagent-based approach for the au<strong>to</strong>mation and quality assurance <strong>of</strong> the small series production<br />
Robert Schmitt (RWTH Aachen University); Tilo Pfeifer (RWTH Aachen University); Alber<strong>to</strong> Xavier Pavim (RWTH Aachen University); Marcelo Stemmer (Federal University <strong>of</strong> Santa<br />
Catarina); Jomi Hübner (Federal University <strong>of</strong> Santa Catarina); Mario Rol<strong>of</strong>f (Federal Institute <strong>of</strong> Santa Catarina)<br />
An Agent-based and Organisation oriented S<strong>of</strong>tware Architecture for Supply Chains Simulation<br />
Mustapha Karam (Aix Marseilles University); Erwan Tranvouez (Aix Marseilles University); Bernard Espinasse (Aix Marseilles University); Alain Ferrarini (Aix Marseilles University)<br />
Procedure-based availability SLAs for Traffic Management Systems<br />
Chris<strong>to</strong>ph S<strong>to</strong>egerer (SWARCO Futurit GmbH); Thomas Novak (SWARCO Futurit GmbH); Wolfgang Kastner (TU Vienna); Lukas Krammer (TU Vienna)<br />
PROSA and Delegate MAS for Open-Air Engineering Processes<br />
Paul Valckenaers (K.U.Leuven); Osman Ali (Flanders Mechatronics Technology Centre); Jan Van Belle (K.U.Leuven)<br />
Track5-4: Industrial Control - Control System Applications<br />
Chairs: Juan J. Gude, Martin Pies<br />
Room : Ouriliac (16:30-18:30)<br />
Control Circuit <strong>of</strong> the Heat Exchanger and its Verification on Real Operation Data<br />
Martin Pies (VSB-Technical University <strong>of</strong> Ostrava); Stepan Ozana (VSB-Technical University <strong>of</strong> Ostrava); Pavel Nevriva (VSB-Technical University <strong>of</strong> Ostrava)<br />
Calibration <strong>of</strong> Fitting Loss Coefficients for Modelling Purpose <strong>of</strong> a Plastic Pipeline<br />
Adrián Navarro (CINVESTAV del IPN); Ofelia Begovich (CINVESTAV del IPN); Gildas Besancon (Grenoble INP)<br />
Control considerations in a drum level control pro<strong>to</strong>type<br />
Juan J. Gude (Universidad de Deus<strong>to</strong>); Evaris<strong>to</strong> Kahoraho (Universidad de Deus<strong>to</strong>)<br />
Control strategies and wastewater treatment plants performance: effect <strong>of</strong> controllers parameters variation<br />
Henry R. Concepción (Universitat Au<strong>to</strong>noma de Barcelona); Montse Meneses (Universitat Au<strong>to</strong>noma de Barcelona); Ramon Vilanova (Universitat Au<strong>to</strong>noma de Barcelona)<br />
Non-destructive acoustic based moisture measurement system for cashew nuts<br />
Abhishek Agrawal (Siemens Corporate Research and Technologies); Kiran Nagaraj (Siemens Corporate Research and Technologies); Karthik Ragunathan (Siemens Corporate Research<br />
and Technologies)<br />
A Robotic System Enhanced with Computer Vision for Manipulating Sliced Meat Objects<br />
Jose Luis Lima (Polytechnic Institute <strong>of</strong> Bragança); Paulo Leitao (Polytechnic Institute <strong>of</strong> Bragança); Joao Goncalves (Polytechnic Institute <strong>of</strong> Bragança); Fernando Gayubo (Universidad de<br />
Valladolid); Jose Luis Gonzalez (Universidad de Valladolid); Juan Carlos Fraile (Universidad de Valladolid)
Thursday, 8 September 2011<br />
SS02-1: Engineering processes exploiting mechatronical thinking<br />
Chairs: Arndt Lüder, Michael Weyrich<br />
Room : Dauvillier (9:00-10:30)<br />
Mechatronic models as a driver for digital plant engineering<br />
Birthe Böhm (Siemens AG); Norbert Gewald (Siemens AG); Adrian Köhlein (Siemens AG); Jürgen Elger (Siemens AG)<br />
Day program <strong>to</strong>p<br />
Efficient Au<strong>to</strong>mation Systems Engineering Process Support Based on Semantic Integration <strong>of</strong> Engineering<br />
Knowledge<br />
Thomas Moser (Vienna University <strong>of</strong> Technology); Richard Mordinyi (Vienna University <strong>of</strong> Technology); Dietmar Winkler (Vienna University <strong>of</strong> Technology); Martin Melik-Merkumians (Vienna<br />
University <strong>of</strong> Technology); Stefan Biffl (Vienna University <strong>of</strong> Technology)<br />
Methodology for the evaluation <strong>of</strong> <strong>to</strong>ols with respect <strong>to</strong> its applicability within mechatronical engineering<br />
Lorenz Hundt (Ot<strong>to</strong>-von-Guericke University); Arndt Lüder (Ot<strong>to</strong>-von-Guericke University); Adrian Köhlein (Siemens AG); Norbert Gewald (Siemens AG)<br />
Improving Mechatronical Engineering: an Artifact-Assessment-Based Approach<br />
Fritz Stallinger (S<strong>of</strong>tware Competence Center Hagenberg); Robert Neumann (S<strong>of</strong>tware Competence Center Hagenberg); Reinhold Plösch (Johannes Kepler University Linz); Peter<br />
Hehenberger (Johannes Kepler University Linz); Birthe Böhm (Siemens AG); Adrian Köhlein (Siemens AG); Norbert Gewald (Siemens AG)<br />
Identification <strong>of</strong> Mechatronic Units based on an Example <strong>of</strong> a Flexible Cus<strong>to</strong>mized Multi Lathe Machine Tool<br />
Michael Weyrich (Universität Siegen); Frank Steden (Universität Siegen); Jochen Wolf (Alfred H. Schütte GmbH & Co. KG); Matthias Scharf (Universität Siegen)<br />
Track6-3: Computational Intelligence and Modern Heuristics in Au<strong>to</strong>mation - Intelligent Control<br />
Chair: Klaus Kabitzsch<br />
Room : Raynaud (9:00-10:30)<br />
Handling control engineer preferences: getting the most <strong>of</strong> PI controllers<br />
Gilber<strong>to</strong> Reynoso-Meza (Universitat Politècnica de València); Javier Sanchis (Universitat Politècnica de València); Xavier Blasco (Universitat Politècnica de València); Juan M. Herrero<br />
(Universitat Politècnica de València)<br />
Fault Tolerant Tracking Controller Design for T-S Fuzzy disturbed Systems with Uncertainties subject <strong>to</strong><br />
Actua<strong>to</strong>r Faults<br />
Sabrina Aouaouda (Annaba University); Mohamed Tarek Khadir (Annaba University); Dalil Ichalal (Université d’Evry Val d’Essonne); Mohammed Chadli (Université de Picardie Jules Verne);<br />
Tahar Bouarar (Institut National Polytechnique de Lorraine)<br />
A Qualitative Balance <strong>of</strong> Shape Descrip<strong>to</strong>rs on Dynamometer Cards<br />
Fábio Lima (PETROBRAS); Diego Silva (Universidade Federal do Rio Grande do Norte); Luiz Guedes (Universidade Federal do Rio Grande do Norte)<br />
Variable and Time-Lag Selection using Empirical Data<br />
Francisco Souza (University <strong>of</strong> Coimbra); Rui Araújo (University <strong>of</strong> Coimbra)<br />
Track7-2: Intelligent Robots & Systems - Perception and Planning<br />
Chair: Jose A. Fonseca<br />
Room : Mestre (9:00-10:30)<br />
Interactive Locomotion Animation using Path Planning<br />
David Flavigné (Université Paris 6); Michel Taïx (LAAS-CNRS)<br />
Choosing the Number <strong>of</strong> Labels in Image Segmentation<br />
Yonghuai Liu (Aberystywth University); John Draper (Aberystwyth UNiversity); Alan Gay (Aberystwyth University); Catherine Howarth (Aberystwyth University); Ralph Martin (Cardiff<br />
University)<br />
A Probabilistic Abstraction Approach for Planning and Controlling Mobile Robots<br />
Marius Kloetzer (Universitatea Tehnica Gheorghe Asachi din Iasi); Cristian Mahulea (University <strong>of</strong> Zaragoza); Octavian Pastravanu (Universitatea Tehnica Gheorghe Asachi din Iasi)<br />
Causality-Based Planning and Diagnostic Reasoning for Cognitive Fac<strong>to</strong>ries<br />
Esra Erdem (Sabanci University); Kadir Haspalamutgil (Sabanci University); Volkan Pa<strong>to</strong>glu (Sabanci University); Tansel Uras (Sabanci University)<br />
WIP4: Au<strong>to</strong>mated Manufacturing Systems<br />
Chairs: Philippe Charbonnaud, Pierre Lopez<br />
Room : Montane (9:00-10:30)<br />
Modelling and Implementation <strong>of</strong> Au<strong>to</strong>mata-Based Hierarchical Discrete-Event Controllers Using the B-Method<br />
Noe Campos (Centro de Investigación y Estudios Avanzados del IPN); Arturo Sanchez (Unidad de Ingeniería Avanzada)<br />
Au<strong>to</strong>mation <strong>of</strong> Patterned and Solar Glass Cutting and Stacking Line<br />
Taner Incirci (Altinay Robot Technologies); Dilek Tukel (Dogus University)<br />
Toward a methodology for disruption management - Reactive planning and scheduling based on a repair<br />
approach<br />
Alain Ferrarini (LSIS); Aline Cauvin (LSIS); Sebastien Fournier (LSIS)<br />
Application <strong>of</strong> using SCEP Model for Distributed Scheduling with Shared Resources in Hospital System<br />
Jiucheng Xu (INP Toulouse); Bernard Archimède (INP Toulouse); Agnes Le<strong>to</strong>uzey (INP Toulouse)<br />
Max-plus-linear model-based predictive control for constrained HVLV manufacturing systems<br />
Imed Nasri (University <strong>of</strong> Savoie); Georges Habchi (University <strong>of</strong> Savoie); Reda Boukezzoula (University <strong>of</strong> Savoie)<br />
Au<strong>to</strong>matic Generation: A way <strong>of</strong> ensuring PLC and HMI standards<br />
Petter Falkman (Chalmers University <strong>of</strong> Technology); Erik Helander (Volvo Car Corporation); Mikael Andersson (Volvo Car Corporation)
mINA-DL: A Novel Description Language Enabling Dynamic Reconfiguration in Industrial Au<strong>to</strong>mation<br />
Michael Wienke (Fraunh<strong>of</strong>er IOSB-INA); Sebastian Faltinski (Institute Industrial IT); Oliver Niggemann (Fraunh<strong>of</strong>er IOSB-INA); Jürgen Jasperneite (Institute Industrial IT)<br />
A reference system for the benchmarking <strong>of</strong> manufacturing control systems<br />
Sebastian Schreiber (Helmut Schmidt University Hamburg); Alexander Fay (Helmut Schmidt University Hamburg)<br />
Control Architecture for a Supervised Industrial Robotic Workcell Integration<br />
Paulo Ferreira (Polytechnic Institute <strong>of</strong> Setúbal); Vic<strong>to</strong>ria Reyes (EST IPS)<br />
Engineering Process for an Online Testing Process <strong>of</strong> Control S<strong>of</strong>tware in Production Systems<br />
Benjamin Kormann (Technische Universität München); Birgit Vogel-Heuser (Technische Universität München); Reinhard Hametner (Vienna University <strong>of</strong> Technology); Alois Zoitl (Vienna<br />
University <strong>of</strong> Technology)<br />
Control <strong>of</strong> Productive Systems with Functional Flexibility Level<br />
Osvaldo Luis Asa<strong>to</strong> (Escola Politecnica da Universidade de Sao Paulo); Fabricio Junqueira (Escola Politecnica da Universidade de Sao Paulo); Diolino Jose Dos San<strong>to</strong>s Filho (Escola<br />
Politecnica da Universidade de Sao Paulo); Paulo Eigi Miyagi (Escola Politecnica da Universidade de Sao Paulo); Lindolpho Araujo Junior (Centro Federal de Educacao Tecnologica de<br />
Minas Gerais)<br />
WIP2-2: Industrial Communication Systems<br />
Chair: Michael Short<br />
Room : Ouriliac (9:00-10:30)<br />
A New Beacon Scheduling Mechanism for Mesh Wireless Personal Area Networks based on IEEE 802.15.4<br />
Juan Lu (Université de Toulouse); Adrien Van Den Bossche (Université de Toulouse); Eric Campo (Université de Toulouse)<br />
A flexible approach for real-time wireless communications in adaptable industrial au<strong>to</strong>mation systems<br />
Henning Trsek (Institut Industrial IT); Lukasz Wisniewski (Institut Industrial IT); Emanuele Toscano (University <strong>of</strong> Catania); Lucia Lo Bello (University <strong>of</strong> Catania)<br />
Implementation <strong>of</strong> an advanced IEEE 802.11 WLAN AP for real-time wireless communications<br />
Henning Trsek (Institut Industrial IT); Stefan Schwalowsky (Institut Industrial IT); Bjoern Czybik (Institut Industrial IT); Juergen Jasperneite (Institut Industrial IT)<br />
A Unified Approach for the Assessment <strong>of</strong> Industrial Wireless Solutions<br />
Paul Neufeld (Institut Industrial IT); Lutz Rauchhaupt (ifak e.V. Magdeburg); Uwe Meier (Institut Industrial IT); Marko Krätzig (ifak e.V. Magdeburg)<br />
Preliminary results on the assessment <strong>of</strong> WirelessHART networks in transient fault scenarios<br />
Ivanovitch Silva (Federal University <strong>of</strong> Rio Grande do Norte); Luiz Affonso Guedes (Federal University <strong>of</strong> Rio Grande do Norte); Paulo Portugal (University <strong>of</strong> Por<strong>to</strong>); Francisco Vasques<br />
(University <strong>of</strong> Por<strong>to</strong>)<br />
Wireless Parking Lot Moni<strong>to</strong>ring and Guidance<br />
Daniel Silva (University <strong>of</strong> Aveiro); Paulo Bar<strong>to</strong>lomeu (Micro I/O - Serviços de Electrónica, Lda); José Fonseca (Institu<strong>to</strong> de Telecomunicações)<br />
A Communication Pro<strong>to</strong>col for Open Environment Housings<br />
Vasco Baptista (University <strong>of</strong> Aveiro); Paulo Bar<strong>to</strong>lomeu (Micro I/O - Serviços de Electrónica, Lda); Ricardo Almeida (University <strong>of</strong> Aveiro); Pedro Mar (Micro I/O - Serviços de Electrónica,<br />
Lda); José Fonseca (Institu<strong>to</strong> de Telecomunicações)<br />
Towards a OMG DDS Communication Backbone for Fac<strong>to</strong>ry Au<strong>to</strong>mation Applications<br />
Isidro Calvo (University <strong>of</strong> the Basque Country); Federico Perez (University <strong>of</strong> the Basque Country); Oier García de Albeniz (University <strong>of</strong> the Basque Country); Ismael Etxeberria Agiriano<br />
(University <strong>of</strong> the Basque Country)<br />
SS02-2: Engineering processes exploiting mechatronical thinking<br />
Chairs: Arndt Lüder, Fritz Stallinger<br />
Room : Dauvillier (11:00-12:00)<br />
Aggregation <strong>of</strong> engineering processes regarding the mechatronic approach<br />
Arndt Lüder (Ot<strong>to</strong>-von-Guericke University); Matthias Foehr (Ot<strong>to</strong>-von-Guericke University); Lorenz Hundt (Ot<strong>to</strong>-von-Guericke University); Martin H<strong>of</strong>fmann (Ot<strong>to</strong>-von-Guericke University);<br />
Yvonne Langer (Ot<strong>to</strong>-von-Guericke University); Stefanie Frank (Ot<strong>to</strong>-von-Guericke University)<br />
Mechatronic Engineering <strong>of</strong> Novel Manufacturing Processes Implemented by Modular and Sensor-Guided<br />
Machinery<br />
Michael Weyrich (University <strong>of</strong> Siegen); Philipp Klein (University <strong>of</strong> Siegen); Martin Laurowski (University <strong>of</strong> Siegen); Yongheng Wang (University <strong>of</strong> Siegen)<br />
Intelligent environment for mechatronic, cross-discipline plant engineering<br />
Miriam Schleipen (Fraunh<strong>of</strong>er IOSB); Manfred Schenk (Fraunh<strong>of</strong>er IOSB)<br />
SS04: Middleware Solutions for Au<strong>to</strong>mation Systems<br />
Chairs: Henning Mersch, Leon Urbas<br />
Room : Raynaud (11:00-12:00)<br />
Requirements on Distribution Management for Service-Oriented Au<strong>to</strong>mation Systems<br />
Henning Mersch (RWTH Aachen University); Ulrich Epple (RWTH Aachen University)<br />
Function Allocation for Multi-agent Systems and Middleware in Industrial Au<strong>to</strong>mation Systems<br />
Leon Urbas (Technische Universität Dresden); Stephan Pech (Universität Stuttgart); Annett Krause (Technische Universität Dresden); Peter Göhner (Universität Stuttgart)<br />
Information Modeling for Middleware in Au<strong>to</strong>mation<br />
Wolfgang Mahnke (ABB); Andreas Gössling (Technische Universität Dresden); Markus Graube (Technische Universität Dresden); Leon Urbas (Technische Universität Dresden)<br />
A Middleware for S<strong>of</strong>tware Evolution <strong>of</strong> Au<strong>to</strong>mation S<strong>of</strong>tware<br />
Ingmar Kühl (Nordex Energy); Alexander Fay (Helmut-Schmidt University Hamburg)<br />
SS09-2: Applying Agent-Based Technology in Industrial Systems<br />
Chairs: Alois Zoitl, Thomas Strasser<br />
Room : Montane (11:00-12:00)<br />
Visualization <strong>of</strong> On<strong>to</strong>logies in Multi-Agent Industrial Systems<br />
Marek Obitko (Czech Technical University); Pavel Vrba (Rockwell Au<strong>to</strong>mation Research Center in Prague); Petr Kadera (Czech Technical University); Václav Jirkovsky (Czech Technical<br />
University)
A Market-Based Multi-Agent-System for Decentralized Power and Grid Control<br />
Tobias Linnenberg (Helmut Schmidt University Hamburg); Sebastian Schreiber (Helmut Schmidt University Hamburg); Ireneus Wior (Helmut Schmidt University Hamburg); Alexander Fay<br />
(Helmut Schmidt University Hamburg)<br />
Simulation-based Environment for Modeling Distributed Agents for Smart Grid Energy Management<br />
Francisco Maturana (Rockwell Au<strong>to</strong>mation); Rohan Ambre ( Cleveland State University); Raymond Staron (Rockwell Au<strong>to</strong>mation); Dan Carnahan (Rocwell Au<strong>to</strong>mation); Kenneth Loparo<br />
(Case Western Reserve University)<br />
Track5-5: Industrial Control - Advanced Control Methods II<br />
Chairs: Jerome Mendes, Zulkifli Hidayat<br />
Room : Ouriliac (11:00-12:00)<br />
Stable Indirect Adaptive Predictive Fuzzy Control for Industrial Processes<br />
Jerome Mendes (University <strong>of</strong> Coimbra); Rui Araújo (University <strong>of</strong> Coimbra); Symone Soares (University <strong>of</strong> Coimbra)<br />
Adaptive Predictive Control With Recurrent Fuzzy Neural Network for Industrial Processes<br />
Jerome Mendes (University <strong>of</strong> Coimbra); Nuno Sousa (University <strong>of</strong> Coimbra); Rui Araújo (University <strong>of</strong> Coimbra)<br />
Decentralized Kalman Filter Comparison for Distributed-Parameter Systems: A Case Study for a 1D Heat<br />
Conduction Process<br />
Zulkifli Hidayat (Delft University <strong>of</strong> Technology); Robert Babuska (Delft University <strong>of</strong> Technology); Bart De Schutter (Delft University <strong>of</strong> Technology); Alfredo Nunez (Delft University <strong>of</strong><br />
Technology)<br />
Modeling and Predictive Control for Compensating Network-induced Time-varying Delays<br />
Constantin Florin Caruntu ("Gh. Asachi" Technical University <strong>of</strong> Iasi); Corneliu Lazar ("Gh. Asachi" Technical University <strong>of</strong> Iasi)<br />
SS07-3: Distributed Au<strong>to</strong>mation Systems Development<br />
Chairs: Alexander Fay, Kleanthis Thramboulidis<br />
Room : H (11:00-12:00)<br />
Au<strong>to</strong>matic Composition <strong>of</strong> IEC 61499 Distributed Control Applications<br />
Guadalupe Morán (UAEM); Federico Pérez (University <strong>of</strong> the Basque Country); Darío Orive (University <strong>of</strong> the Basque Country); Elisabet Estévez (University <strong>of</strong> Jaén); Marga Marcos<br />
(University <strong>of</strong> the Basque Country)<br />
"Predictive Maintenance Surveyor" Design Pattern for Machine Tools Control S<strong>of</strong>tware Applications<br />
Felix Serna (Universidad de Zaragoza); Carlos Catalan (Universidad de Zaragoza); Alfonso Blesa (Universidad de Zaragoza); Josep Maria Rams (Turomas group); José Manuel Colom<br />
(Universidad de Zaragoza)<br />
Improved Communication Model for an IEC 61499 Runtime Environment<br />
Michael H<strong>of</strong>mann (Pr<strong>of</strong>ac<strong>to</strong>r GmbH); Martijn Rooker (Pr<strong>of</strong>ac<strong>to</strong>r GmbH); Alois Zoitl (Vienna University <strong>of</strong> Technology)<br />
Keynote 3: Challenges <strong>of</strong> Wireless Communications in Industrial Systems<br />
Room : Despax (12:00-13:00)<br />
Stefan Svensson, ABB, Sweden.<br />
Keynote Abstract:<br />
The presentation will discuss challenges <strong>of</strong> wireless communication in industrial systems with examples from the<br />
ABB portfolio <strong>of</strong> wireless products.<br />
Industry cus<strong>to</strong>mers want one standards but the dilemma is that no existing wireless radio system can satisfy all<br />
requirements simultaneously and the same medium is used by all wireless systems for radio transmissions: the free<br />
air space which surrounds them. In short, wireless solutions have <strong>to</strong> co-exist.<br />
Short biography:<br />
Stefan Svensson holds a M Sc in Electrical Engineering from the Technical University <strong>of</strong> Lund. He joined<br />
ABB in Sweden in 2001 as researcher at ABB Corporate Research developing embedded systems for<br />
different kinds <strong>of</strong> field level communication. From 2005 until 2008 Stefan worked as the coordina<strong>to</strong>r for<br />
ABB research in Wireless and Mobility. Between 2008 and 2010 he worked as a group leader at the<br />
Acreo Research Institute in the area <strong>of</strong> innovative electronics. He returned <strong>to</strong> ABB in 2011 <strong>to</strong> take on the<br />
position <strong>of</strong> manager for the industrial communication program. Industrial communication in the ABB<br />
definition includes wired and wireless communication, device integration as well as embedded systems development.<br />
As program manager Stefan Svensson manages a portfolio <strong>of</strong> around 40 projects (~62 people) and is responsible for<br />
the ABB strategy in the area. The people working in the program is located in five countries, in addition <strong>to</strong> Sweden<br />
also in India, Germany, Switzerland and Norway.
Friday, 9 September 2011<br />
iATPA-1: Workshop iATPA - 1<br />
Chair: Richard Mordinyi<br />
Room : J4 (9:00-10:30)<br />
Tools Integration through a Central Model and Au<strong>to</strong>matic Generation <strong>of</strong> Multi-Platform Control Code<br />
Marco Colla (University <strong>of</strong> Applied Sciences <strong>of</strong> Southern)<br />
Au<strong>to</strong>matic Test-Case Derivation and Execution in Industrial Control<br />
Sabrina Von Styp (RWTH Aachen University)<br />
4DIAC-1: Workshop 4DIAC - Session Communication Integration<br />
Chair: Alois Zoitl<br />
Room : J5 (9:00-10:30)<br />
Welcome<br />
An<strong>to</strong>nio Valentini (O3NEIDA Europe)<br />
Overview & Update<br />
Alois Zoitl (Vienna University <strong>of</strong> technology)<br />
New FORTE Communication Infrastructure<br />
Michael H<strong>of</strong>mann (Pr<strong>of</strong>ac<strong>to</strong>r)<br />
EtherNet/IP as communication infrastructure for distributed control applications<br />
Alois Zoitl (Vienna University <strong>of</strong> technology)<br />
Accessing remote I/Os with Ethernet POWERLINK and 4DIAC<br />
Filip Andrén (Austrian Institute <strong>of</strong> Technology)<br />
SIFB set for accessing Beckh<strong>of</strong>f controllers using ADS pro<strong>to</strong>col<br />
Federico Pérez (Escuela Superior de Ingenieros)<br />
iATPA-2: Workshop iATPA - 2<br />
Chair: Thomas Moser<br />
Room : J4 (11:00-12:30)<br />
Integrated Design <strong>of</strong> Simulation Models for Passive Houses<br />
Petr Novak (Vienna University <strong>of</strong> Technology)<br />
Day program <strong>to</strong>p<br />
Integration <strong>of</strong> a formalized process description in<strong>to</strong> MS Visio® with regard <strong>to</strong> an integrated engineering process<br />
Lars Christiansen (Helmut Schmidt Universität)<br />
4DIAC-2: Workshop 4DIAC - Session Application Modeling<br />
Chair: Thomas Strasser<br />
Room : J5 (11:00-12:30)<br />
Coordination control <strong>of</strong> a bin picking application<br />
Michael H<strong>of</strong>mann (Pr<strong>of</strong>ac<strong>to</strong>r)<br />
Supervisory control <strong>of</strong> an injection molding machine<br />
Alois Zoitl (Vienna University <strong>of</strong> technology)<br />
4DIAC for Smart Grids Applications<br />
Thomas Strasser (Austrian Institute <strong>of</strong> Technology)<br />
Plenary Discussion – Future Development <strong>of</strong> 4DIAC: Goals and Targets