Informatics in Control, Automation and Robotics I

The present book includes a set of selected papers from the first “International Conference on Informatics in Control Automation and Robotics” (ICINCO 2004), held in Setúbal, Portugal, from 25 to 28 August 2004. The conference was organized in three simultaneous tracks: “Intelligent Control Systems and Optimization”, “Robotics and Automation” and “Systems Modeling, Signal Processing and Control”. The book is based on the same structure. Although ICINCO 2004 received 311 paper submissions, from 51 different countries in all continents, only 115 where accepted as full papers. From those, only 29 were selected for inclusion in this book, based on the classifications provided by the Program Committee. The selected papers also reflect the interdisciplinary nature of the conference. The diversity of topics is an importante feature of this conference, enabling an overall perception of several important scientific and technological trends. These high quality standards will be maintained and reinforced at ICINCO 2005, to be held in Barcelona, Spain, and in future editions of this conference. Furthermore, ICINCO 2004 included 6 plenary keynote lectures and 2 tutorials, given by internationally recognized researchers. Their presentations represented an important contribution to increasing the overall quality of the conference, and are partially included in the first section of the book.

Preface.- Conference Committee.- INVITED SPEAKERS.- ROBOT-HUMAN INTERACTION: PRACTICAL EXPERIMENTS WITH A CYBORG, Kevin Warwick.- INDUSTRIAL AND REAL WORLD APPLICATIONS OF ARTIFICIAL NEURAL NETWORKS - Illusion or reality?, Kurosh Madani.- THE DIGITAL FACTORY - Planning and simulation of production lines in automotive industry, F. Wolfgang Arndt .- WHAT'S REAL IN 'REAL-TIME CONTROL SYSTEMS'? Applying formal verification methods and real-time rule-based systems to control systems and robotics, Albert M. K. Cheng.- SUFFICIENT CONDITIONS FOR THE STABILIZABILITY OF MULTI-SAFE UNCERTAIN SYSTEMS UNDER INFORMATION CONSTRAINTS, Nuno C. Martins, Munther A. Dahleh and Nicola Elia.- PART 1 – INTELLIGENT CONTROL SYSTEMS AND OPTIMIZATION.- DEVICE INTEGRATION INTO AUTOMATION SYSTEMS WITH CONFIGURABLE DEVICE HANDLER, Anton Scheibelmasser, Udo Traussnigg, Georg Schindin and Ivo Derado.- NON LINEAR SPECTRAL SDP METHOD FOR BMI-CONSTRAINED PROBLEMS: APPLICATIONS TO CONTROL DESIGN, Jean-Baptiste Thevenet, Dominikus Noll and Pierre Apkarian.- A STOCHASTIC OFF LINE PLANNER OF OPTIMAL DYNAMIC MOTIONS FOR ROBOTIC MANIPULATORS, Taha Chettibi, Moussa Haddad, Samir Rebai and Abd Elfetah Hentout.- FUZZY MODEL BASED CONTROL APPLIED TO IMAGE-BASED VISUAL SERVOING, Paulo Jorge Sequeira Gonçalves, Luís Mendonça, João Sousa and João Caldas Pinto.- AN EVOLUTIONARY APPROACH TO NONLINEAR DISCRETE - TIME OPTIMAL CONTROL WITH TERMINAL CONSTRAINTS, Yechiel Crispin. -A DISTURBANCE COMPENSATION CONTROL FOR AN ACTIVE MAGNETIC BEARING SYSTEM BY A MULTIPLE FXLMS ALGORITHM, Min Sig Kang and Joon Lyou.- AN INTELLIGENT RECOMMENDATION SYSTEM BASED ON FUZZY LOGIC, Shi Xiaowei .- MODEL REFERENCE CONTROL IN INVENTORY AND SUPPLY CHAIN MANAGEMENT - The implementation of a more suitable cost function, Heikki Rasku, Juuso Rantala and Hannu Koivisto.- AN LMI OPTIMIZATION APPROACH FOR GUARANTEED COST CONTROL OF SYSTEMS WITH STATE AND INPUT DELAYS, Olga I. Kosmidou, Y. S. Boutalis and Ch.Hatzis.- USING A DISCRETE-EVENT SYSTEM FORMALISM FOR THE MULTI-AGENT CONTROL OF MANUFACTURING SYSTEMS, Guido Maione and David Naso.- PART 2 – ROBOTICS AND AUTOMATION.- FORCE RIPPLE COMPENSATOR FOR A VECTOR CONTROLLED PM LINEAR SYNCHRONOUS MOTOR, Markus Hirvonen, Heikki Handroos and Olli Pyrhönen.- HYBRID CONTROL DESIGN FOR A ROBOT MANIPULATOR IN A SHIELD TUNNELING MACHINE, Jelmer Braaksma, Ben Klaassens, Robert Babuska and Cees de Keizer.- MOCONT LOCATION MODULE: A CONTAINER LOCATION SYSTEM BASED ON DR/DGNSS INTEGRATION, Joseba Landaluze, Victoria del Río, Carlos F. Nicolás, José M. Ezkerra and Ana Martínez.- PARTIAL VIEWS MATCHING USING A METHOD BASED ON PRINCIPAL COMPONENTS, Santiago Salamanca Miño, Carlos Cerrada Somolinos, Antonio Adán Oliver and Miguel Adán Oliver .- TOWARDS A CONCEPTUAL FRAMEWORK- BASED ARCHITECTURE FOR UNMANNED SYSTEMS, Norbert Oswald .- A INTERPOLATION-BASED APPROACH TO MOTION GENERATION FOR HUMANOID ROBOTS, Koshiro Noritake, Shohei Kato and Hidenori Itoh.- REALISTIC DYNAMIC SIMULATION OF AN INDUSTRIAL ROBOT WITH JOINT FRICTION, Ronald G. K. M. Aarts, Ben J. B. Jonker and Rob R. Waiboer.- A NEW PARADIGM FOR SHIP HULL INSPECTION USING A HOLONOMIC HOVER-CAPABLE AUV, Robert Damus, Samuel Desset, James Morash, Victor Polidoro, Franz Hover, Chrys Chryssostomidis, Jerome Vaganay and Scott Willcox.- DIMSART: A REAL TIME - DEVICE INDEPENDENT MODULAR SOFTWARE ARCHITECTURE FOR ROBOTIC AND TELEROBOTIC APPLICATIONS, Jordi Artigas, Detlef Reintsema, Carsten Preusche and Gerhard Hirzinger.- PART 3 – SIGNAL PROCESSINGM SYSTEMS MODELING AND CONTROL.- ON MODELING AND CONTROL OF DISCRETE TIMED EVENT GRAPHS WITH MULTIPLIERS USING (MIN, +) ALGEBRA, Samir Hamaci, Jean-Louis Boimond and Sébastien Lahaye.- MODEL PREDICTIVE CONTROL FOR HYBRID SYSTEMS UNDER A STATE PARTITION BASED MLD APPROACH (SPMLD), Jean Thomas, Didier Dumur, Jean Buisson and Herve Guéguen.- EFFICIENT SYSTEM IDENTIFICATION FOR MODEL PREDICTIVE CONTROL WITH