CASE 2011: Trieste, Italy

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

Last update Tue May 22 23:23:20 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page