Table of Contents

• Welcome message from the general chairMaria Pia Fanti. [doi]
• Welcome message from the program chairAlessandro Giua. [doi]
• Automation of assembly and packaging at the micro/nano-scaleMicky Rakotondrabe, Yassine Haddab, Cédric Clévy, Philippe Lutz. 1-5 [doi]
• Use of Ethernet communications for real-time control systems in the metals industryLanfranco Urli, Sergio Murgia. 6-11 [doi]
• Designing operational control architectures of critical systems by reachability analysisThibault Lemattre, Bruno Denis, Jean-Marc Faure, Jean-François Pétin, Patrick Salaün. 12-18 [doi]
• Nondeterminism avoidance in compositional synthesis of discrete event systemsSahar Mohajerani, Robi Malik, Martin Fabian. 19-24 [doi]
• BDD-based supervisory control on extended finite automataSajed Miremadi, Bengt Lennartson, Knut Åkesson. 25-31 [doi]
• Equivalence of behaviors between centralized and multi-model approachesGregory Faraut, Laurent Piétrac, Éric Niel. 32-38 [doi]
• Optimal scheduling of a repair shipyard based on Supervisory Control TheoryDenis C. Pinha, Max Hering de Queiroz, José E. R. Cury. 39-44 [doi]
• A software platform for the integration of discrete event systems toolsMaria Paola Cabasino, L. Contini, Alessandro Giua, Carla Seatzu, A. Solinas. 45-51 [doi]
• Maximizing the throughput of multimodal logistic platforms by simulation-optimization: The Duferco case studyMarco Ghirardi, Guido Perboli, Daniele Sasia. 52-57 [doi]
• Solving scheduling problems in distribution centers using symmetry breaking constraintsMaria Pia Fanti, Gabriella Stecco, Walter Ukovich. 58-65 [doi]
• A fuzzy programming approach for the strategic design of distribution networksNicola Costantino, Mariagrazia Dotoli, Marco Falagario, Maria Pia Fanti, Agostino Marcello Mangini, Fabio Sciancalepore, Walter Ukovich. 66-71 [doi]
• Modeling complex logistics systems using soft computing methodology of Fuzzy Cognitive MapsChrysostomos D. Stylios, George K. Georgoulas. 72-77 [doi]
• A lower and upper bound guided nested partitions method for solving capacitated multi-level production planning problemsTao Wu, Leyuan Shi. 78-83 [doi]
• An improved Least Cost Heuristic for dynamic yard crane deployment in container terminalsShell-Ying Huang, Xi Guo 0002. 84-89 [doi]
• Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisitingYan Qiao, Naiqi Wu, MengChu Zhou. 90-95 [doi]
• Scheduling of cluster tools with ready time constraints for small lot productionHyun-jung Kim, Tae-Eog Lee. 96-101 [doi]
• Concurrent processing of multiple wafer types in a single-armed cluster toolJun-Ho Lee, Tae-Eog Lee. 102-107 [doi]
• Near optimal furnace tool allocation with batching and waiting time constraintsYu-Ting Kao, Shun-Cheng Zhan, Shi-Chung Chang, Jen-Hsuan Ho, Peng Wang, Peter B. Luh, Simon Wang, Fenix Wang, Joey Chang. 108-113 [doi]
• Optimization-based litho machine scheduling with multiple reticles and setupsBing Yan, Hsin-Yuan Chen, Peter B. Luh, Simon Wang, Joey Chang. 114-119 [doi]
• A drum-buffer-rope based scheduling method for semiconductor manufacturing systemZhengcai Cao, Yazhen Peng, Yongji Wang. 120-125 [doi]
• A linear programming approach for probabilistic robot path planning with missing information of outcomesMohamad Ali Movafaghpour, Ellips Masehian. 126-132 [doi]
• Mixed-integer programming for optimal path planning of robotic manipulatorsHao Ding, Gunther Reissig, Dominic Gross, Olaf Stursberg. 133-138 [doi]
• A localization system of mobile robots using artificial landmarksDong-Hyeog Heo, Ah-Reum Oh, Tae Hyoung Park. 139-144 [doi]
• Weld pool visual sensing without external illuminationJinchao Liu, Zhun Fan, Soren Ingvor Olsen, Kim Hardam Christensen, Jens Klæstrup Kristensen. 145-150 [doi]
• 3D scanning of object surfaces using structured light and a single camera imageSan Mohan, Kasper Broegaard Simonsen, Ivar Balslev, Volker Krüger, René Dencker Eriksen. 151-156 [doi]
• An adaptable vision system for the automatic inspection of surface defects in automotive headlamp lensesSilvia Satorres Martínez, Juan Gómez Ortega, Alejandro Sánchez García, Javier Gámez García. 157-162 [doi]
• Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systemsR. Saddem, A. Toguyeni, M. Tagina. 163-168 [doi]
• Anomaly detection without a pre-existing formal model: Application to an industrial manufacturing systemJohn A. Broderick, Lindsay V. Allen, Dawn M. Tilbury. 169-174 [doi]
• Boolean temporal model-based approach for the diagnosis of Discrete Event SystemsNoureddine Malki, Moamar Sayed Mouchaweh. 175-180 [doi]
• Fail-Stop Distributed Combinatorial Auctioning Systems with fair resource allocationArun Kalyanasundaram, Reehan A. K. Lalkhanwar, Shrisha Rao. 181-188 [doi]
• Feature selection for fault detection systems: Application to the Tennessee Eastman ProcessH. Senoussi, Brigitte Chebel-Morello, M. Denai, Noureddine Zerhouni. 189-194 [doi]
• Introduction of safety rule IEC EN62061 in Metal IndustryErnesto Soressi. 195-200 [doi]
• A discrete event model for the control and analysis of complex automated warehouse systemsFrancesco Basile, Pasquale Chiacchio, Jolanda Coppola. 201-207 [doi]
• Modeling and solving the train load planning problem in seaport container terminalsDaniela Ambrosino, Andrea Bramardi, Marco Pucciano, Simona Sacone, Silvia Siri. 208-213 [doi]
• Integer programming and ant colony optimization for planning intermodal freight transportation operationsDavide Anghinolfi, Massimo Paolucci 0002, Simona Sacone, Silvia Siri. 214-219 [doi]
• IACoB-SA: An approach towards integrated safety assessmentSeptavera Sharvia, Yiannis Papadopoulos. 220-225 [doi]
• Potential field-based microscopic modeling of road networks with heterogeneous vehicular trafficRiccardo Falconi, Andrea Paoli, Claudio Bonivento. 226-231 [doi]
• Self-organizing warehouse management based on communicating distributed memory tagsFelix Hackbarth. 232-237 [doi]
• Dynamic Maintenance in semiconductor manufacturing using Bayesian networksDaniel Kurz, Johannes Kaspar, Jürgen Pilz. 238-243 [doi]
• Multilevel Lasso applied to Virtual Metrology in semiconductor manufacturingSimone Pampuri, Andrea Schirru, Giuseppe Fazio, Giuseppe De Nicolao. 244-249 [doi]
• Proportional hazard model with ℓ1 Penalization applied to Predictive Maintenance in semiconductor manufacturingSimone Pampuri, Andrea Schirru, Cristina De Luca, Giuseppe De Nicolao. 250-255 [doi]
• Preliminary study of run-to-run control utilizing virtual metrology with reliance indexChi-An Kao, Fan-Tien Cheng, Wei-Ming Wu. 256-261 [doi]
• A Predictive Maintenance System for Silicon Epitaxial DepositionGian Antonio Susto, Alessandro Beghi, Cristina De Luca. 262-267 [doi]
• Dynamic behaviour of elastic cam devices driven by servomotors with PID velocity controlGiovanni Incerti. 268-273 [doi]
• Application of Active Disturbance Rejection Control to a reel-to-reel system seen in tire industryRafal Madonski, Mateusz Przybyla, Marta Kordasz, Przemyslaw Herman. 274-278 [doi]
• Tele-operation of a mobile mining robot using a panoramic display: an exploration of operators sense of presenceCraig A. James, Tomasz P. Bednarz, Kerstin Haustein, Leila Alem, Con Caris, Andrew Castleden. 279-284 [doi]
• Adaptive fuzzy sliding mode controller for Wheeled Mobile RobotsReza Bohlouli, Yaser Mohamadi, Reza Barmaki, Jafar Keighobadi. 285-290 [doi]
• Long-term operational experience with a robot cell production system controlled by low carbon-footprint Senju (thousand-handed) Kannon Model robots and an approach to improving operating efficiencyHiroshi Yonezawa, Hamada Koichi, Manabu Zennami, Katsuhisa Ida, Nobuo Higuchi, Yoshihito Sugano, Mariko Yamada, Toshihiro Fujita. 291-298 [doi]
• Recuperated energy savings potential and approaches in industrial roboticsDavis Meike, Leonids Ribickis. 299-303 [doi]
• Fast and accurate object detection by means of recursive monomial feature elimination and cascade of SVMLorenzo Dal Col, Felice Andrea Pellegrino. 304-309 [doi]
• Multi-feature trajectory clustering using Earth Mover's DistanceFrancesca Boem, Felice Andrea Pellegrino, Gianfranco Fenu, Thomas Parisini. 310-315 [doi]
• Marginal analysis on binary pairwise Gibbs random fieldsTung Le, Christoforos N. Hadjicostis. 316-321 [doi]
• On the combination of fuzzy modelsMohit Kumar, Norbert Stoll, Kerstin Thurow, Regina Stoll. 322-326 [doi]
• A fast adaptive Kalman filtering algorithm for speech enhancementQuanshen Mai, Dongzhi He, Yibin Hou, Zhangqin Huang. 327-332 [doi]
• Building energy doctors: SPC and Kalman filter-based fault detectionBiao Sun, Peter B. Luh, Zheng O'Neill, Fangting Song. 333-340 [doi]
• Simulation of a hydraulic pump application for monitoring and diagnosis methodsDomenico Leonardo, Stefan Kleinmann, Agathe Koller-Hodac, Anna Dabrowska, Ralf Stetter. 341-345 [doi]
• The method of identification for the "motor-dual-section device" system through output signal measurementsStanislav Aranovskiy, Alexey Bobtsov, Vladimir Bardov. 346-350 [doi]
• Modified Banker's algorithm for scheduling in multi-AGV systemsLuka Kalinovcic, Tamara Petrovic, Stjepan Bogdan, Vedran Bobanac. 351-356 [doi]
• Transient multiple hoist scheduling of consecutive cyclic schedulesRalf Fröhlich, Steffen C. Steneberg. 357-362 [doi]
• Multi-product manufacturing systems with sequence-dependent setups: Performance evaluation and system propertiesWei Feng, Li Zheng, Jingshan Li. 363-368 [doi]
• A unified approach for the scheduling problem with rejectionShunji Tanaka. 369-374 [doi]
• Fast focus-based depth detection for manipulation in scanning electron microscopesDaniel Jasper, Sergej Fatikow. 375-380 [doi]
• Micro-optic technology for the microfluidics feedbackFrancesca Sapuppo, P. Anandan, Maide Bucolo. 381-386 [doi]
• Regression methods for prediction of PECVD Silicon Nitride layer thicknessHendrik Purwins, Ahmed Nagi, Bernd Barak, Uwe Hockele, Andreas Kyek, Benjamin Lenz, Gunter Pfeifer, Kurt Weinzierl. 387-392 [doi]
• Feedforward and IMC-feedback control of a nonlinear 2-DOF piezoactuator dedicated to automated micropositioning tasksMicky Rakotondrabe, Joël Agnus, Philippe Lutz. 393-398 [doi]
• Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri netsShouGuang Wang, MengChu Zhou, ChengYing Wang. 399-404 [doi]
• Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theoryAhmed Nazeem, Spyros A. Reveliotis. 405-412 [doi]
• Monitor optimization in Petri net controlRoberto Cordone, Luigi Piroddi. 413-418 [doi]
• Continuous flow systems and control methodology using Hybrid Petri netsLatéfa Ghomri, Hassane Alla. 419-424 [doi]
• A freeway traffic control model by first order hybrid Petri netsMariagrazia Dotoli, Maria Pia Fanti, Giorgio Iacobellis. 425-431 [doi]
• Analysis and simulation of manufacturing systems using SimHPN toolboxJorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez. 432-437 [doi]
• Optimized closed-loop supply chain configuration selection for sustainable product designsHaritha Metta, Fazleena Badurdeen. 438-443 [doi]
• Modeling sequential resource allocation systems using Extended Finite AutomataZhennan Fei, Sajed Miremadi, Knut Åkesson. 444-449 [doi]
• Economic model of outsourcing for a subcontractor manufacturing system in a single subcontractor - multi-outsourcers relationshipMohammed Dahane, Nidhal Rezg. 450-455 [doi]
• Requirements for the development of a decision-support solution for sustainability target cascadingLalit Patil, Lakshmi Srinivas, Krishna Murthy, Debasish Dutta, Rachuri Sudarsan. 456-461 [doi]
• A GERT-based analytical method for remanufacturing process routingCongbo Li, Ying Tang, Chengchuan Li. 462-467 [doi]
• Column generation approach to ship scheduling problems for international crude oil transportationTatsushi Nishi, Sisi Yin, Tsukasa Izuno. 468-473 [doi]
• A methodological approach to evaluate the benefit and usability of different modeling notations for open loop control in automation systemsBirgit Vogel-Heuser, Kerstin Sommer. 474-481 [doi]
• Towards an automated verification process for industrial safety applicationsKleanthis Thramboulidis, Doaa Soliman, Georg Frey. 482-487 [doi]
• A formal semantics for Grafcet specificationsJulien Provost, Jean-Marc Roussel, Jean-Marc Faure. 488-494 [doi]
• Utilizing IEC 61499 in an MDA control application development approachMonika Wenger, Martin Melik-Merkumians, Ingo Hegny, Reinhard Hametner, Alois Zoitl. 495-500 [doi]
• Control software design for a cutting glass machine tool based on the COSME platform. Case studyFélix Serna, Carlos Catalán, Alfonso Blesa, Josep M. Rams, José Manuel Colom. 501-506 [doi]
• Software tool for constructing cell decompositionsMarius Kloetzer, Narcis Ghita. 507-512 [doi]
• Appointment scheduling of oncology outpatientsAbdellah Sadki, Xiaolan Xie, Franck Chauvin. 513-518 [doi]
• Coordinated multi-criteria scheduling of caregivers in home health Care ServicesR. Redjem, Said Kharraja, X. Xie, Eric Marcon. 519-524 [doi]
• A simulation case study: Reducing outpatient waiting time of otolaryngology care services using VBAMaryam Haji, Houshang Darabi. 525-530 [doi]
• Optimizing coverage for a Chlamydia trachomatis screening programYu Teng, Lanshan Han, Wanzhu Tu, Nan Kong. 531-536 [doi]
• Modeling and analysis of care delivery services within patient roomsJunwen Wang, Jingshan Li, Patricia K. Howard. 537-542 [doi]
• Resource allocation for healthcare organizationsNukala Viswanadham, Kannan Balaji. 543-548 [doi]
• A system for automatic HPV typing via PCR-RFLP gel electrophoresisChristos Maramis, Anastasios Delopoulos, Alexandros F. Lambropoulos, Sokratis P. Katafigiotis. 549-556 [doi]
• Design of an automation system for preforming processes in aerospace industriesAndreas Angerer, Claudia Ehinger, Alwin Hoffmann, Wolfgang Reif, Gunther Reinhart. 557-562 [doi]
• An efficient metaheuristic for multi-dimensional multi-container packingGuido Perboli, Teodor Gabriel Crainic, Roberto Tadei. 563-568 [doi]
• Multi-robot persistent surveillance planning as a Vehicle Routing ProblemEthan Stump, Nathan Michael. 569-575 [doi]
• Measures vs. analytic evaluation of response time of Networked Automation SystemsBoussad Addad, Said Amari, Jean-Jacques Lesage, Bruno Denis. 576-581 [doi]
• A symbolic schedulability technique of real-time systems modeled by P-Time Petri netsPatrice Bonhomme. 582-587 [doi]
• Petri nets compositional modeling and verification of Flexible Manufacturing SystemsPaolo Ballarini, Hilal Djafri, Marie Duflot, Serge Haddad, Nihal Pekergin. 588-593 [doi]
• Fault diagnosis of an ABS system using Petri netsMaria Paola Cabasino, Alessandro Giua, Carla Seatzu, A. Solinas, K. Zedda. 594-599 [doi]
• State uncertainty analysis of Fuzzy Timed DESJuan Carlos González-Castolo, Ernesto López-Mellado. 600-606 [doi]
• Invariant subspaces and sensor placement for observability in Continuous Timed Petri NetsEnrique Aguayo-Lara, Antonio Ramírez-Treviño, José Javier Ruiz-Leon. 607-612 [doi]
• Transfer function modeling of linear dynamic networks for distributed MPCHelton Fernando Scherer, Eduardo Camponogara, Andres Codas. 613-618 [doi]
• Fault detection of networked control systems utilizing limited possibilities of unknown packet transmissionYiming Wan, Hao Ye. 619-624 [doi]
• Semi-automatic control of modular systems with intermittent data lossesTri Tran, Quang Phuc Ha, Hung T. Nguyen. 625-630 [doi]
• The time delay control of CAN messages for real-time communicationDan Puiu, Florin Moldoveanu. 631-636 [doi]
• A P2P approach for automating seamless connectivity given intermittent bandwidth constraintsVasanth Vallabh B. Naib, Shrisha Rao. 637-641 [doi]
• Green and lean control of cyclic pallet systemsMaziar Mashaei, Bengt Lennartson, Göran Abbestam. 642-647 [doi]
• Virtual battery: A simulation framework for batteries in electric vehiclesFeng Ju, Junwen Wang, Jingshan Li, Stephan Biller, Guoxian Xiao. 648-653 [doi]
• Energy optimization of trajectories for high level schedulingOskar Wigstrom, Bengt Lennartson. 654-659 [doi]
• Simulation based evaluation and optimization for energy consumption of a typical welding shopHao Liu, Qianchuan Zhao, Weihua Cao, Ningjian Huang, Xiang Zhao. 660-665 [doi]
• Feedback control of machine startup for energy-efficient manufacturing in Bernoulli serial linesGuorong Chen, Liang Zhang, Jorge Arinez, Stephan Biller. 666-671 [doi]
• Validation of stochastic traffic flow model with microscopic traffic simulationKang-Ching Chu, Li Yang, Romesh Saigal, Kazuhiro Saitou. 672-677 [doi]
• Multiple cell suction and supply system for automated cell manipulation on microfluidic channelNaoaki Koyama, Kenichi Ohara, Akiyuki Hasegawa, Tomohito Takubo, Yasushi Mae, Tatsuo Arai. 678-683 [doi]
• An ultrasound system for tumor detection in soft tissues using low transient pulseAshish R. Ratnakar, MengChu Zhou. 684-689 [doi]
• State and parameter estimation of an anaerobic digester modelA. Rodriguez, G. Quiroz, J. de Leon, Ricardo Femat. 690-695 [doi]
• Neural modeling of the blood glucose level for Type 1 Diabetes Mellitus patientsEduardo Ruiz-Velázquez, Alma Y. Alanis, Ricardo Femat, G. Quiroz. 696-701 [doi]
• Preclinically assessed optimal control of postprandial glucose excursions for type 1 patients with diabetesThierry Prud'homme, Alain Bock, Gregory Francois, Denis Gillet. 702-707 [doi]
• Development of robotic laboratory automation platform with intelligent mobile agents for clinical chemistryByungjune Choi, Won Suk You, Seung Hoon Shin, Hyungpil Moon, Jachoon Koo, WanKyun Chung, Hyoukryeol Choi. 708-713 [doi]
• Hybrid modeling and control of switching DC-DC converters via MLD systemsMohammad Hejri, Alessandro Giua. 714-719 [doi]
• A new sliding mode controller for the DC to DC flyback converterMurat Seker, Erkan Zergeroglu. 720-724 [doi]
• Sliding mode observer for Switched Linear SystemsDavid Gomez-Gutierrez, Sergej Celikovský, Antonio Ramírez-Treviño, José Javier Ruiz-Leon, Stefano Di Gennaro. 725-730 [doi]
• Fire evacuation model with confidence intervalsYuan Gao, Peter B. Luh, Qianchuan Zhao, Hui Zhang, Nan Wu, Lifeng Qiao. 731-736 [doi]
• A vision system with multiple cameras designed for humanoid robots to play table tennisPing Yang, De Xu, Zhengtao Zhang, Guodong Chen, Min Tan. 737-742 [doi]
• Integrating human swarm interaction in a distributed robotic control systemCristian Ioan Vasile, Ana Pavel, Catalin Buiu. 743-748 [doi]
• Design optimization of one-time-use leaping mechanism for sensor node relocationGabseong Lee, Geunho Lee, Yasuhiro Nishimura, Nak Young Chong, Donghoon Choi. 749-754 [doi]
• A distributed system for rapid determination of nonconformance causes and solutions for the thermoplastic injection molding process: A Case-Based Reasoning Agents approachWalter Luís Mikos, João Carlos Espíndola Ferreira, Fabbio Gonzalez Correia Gomes. 755-760 [doi]
• Robot Raconteur: A communication architecture and library for robotic and automation systemsJohn D. Wason, John T. Wen. 761-766 [doi]
• Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499Carlos Catalán, Félix Serna, Alfonso Blesa, Josep M. Rams, José Manuel Colom. 767-772 [doi]
• Position servo control of the slider in double toggle mechanical press using Bezier curve model and fuzzy controlJia Xie, Shengdun Zhao, Zhenghui Sha, Jintao Liang. 773-778 [doi]
• Optimization of tool trajectory for Incremental Sheet Forming using closed loop controlWang Hao, Stephen Duncan. 779-784 [doi]
• Modelling and feedback control of an omni-directional mobile manipulatorSalima Djebrani, Abderraouf Benali, Foudil Abdessemed. 785-791 [doi]
• Design and control for hybrid magnetic thrust bearing for turbo refrigerant compressorC. H. Park, S. K. Choi, S. Y. Ham. 792-797 [doi]
• Global stabilization of anti-windup PID position control for euler-lagrange systems with actuator saturationMitsuru Kanamori. 798-803 [doi]
• Direct method for digital lead-lag design: analytical and graphical solutionsRoberto Zanasi, Stefania Cuoghi. 804-809 [doi]
• An embedded robotic wheelchair control architecture with reactive navigationsChung-Hsien Kuo, Yao-Sheng Syu, Tsung-Chin Tsai, Ting-Shuo Chen. 810-815 [doi]
• A new electrically driven walking frame for both passive and active mobility supportLorenzo T. D'Angelo, Andreas Loercher, Tim C. Lueth. 816-821 [doi]
• Exoskeleton systems kinematics analysis with graph-matroid approachIlie Talpasanu, Shankar Krishnan. 822-827 [doi]
• Instrumented prosthesis for knee implants monitoringArash Arami, Matteo Simoncini, Oguz Atasoy, Willyan Hasenkamp, Shafqat Ali, Arnaud Bertsch, Eric Meurville, Steve Tanner, Hooman Dejnabadi, Vincent Leclercq, Philippe Renaud, Catherine Dehollain, Pierre-André Farine, Brigitte M. Jolles, Kamiar Aminian, Peter Ryser. 828-835 [doi]