default search action
CASE 2011: Trieste, Italy
- IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011. IEEE 2011, ISBN 978-1-4577-1730-7
- 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, Luca Contini, Alessandro Giua, Carla Seatzu, Antonio 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, Søren 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 - Ramla Saddem, Armand Toguyéni, Moncef 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 - Hafida Senoussi, Brigitte Chebel-Morello, Mouloud 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 - Stanislav Aranovskiy, Alexey A. Bobtsov, Vladimir 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, José Manuel 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 - Rabeh Redjem, Saïd Kharraja, Xiaolan Xie, Eric 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, Bruno 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, Antonio Solinas, Katiuscia 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-León:
Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets. 607-612 - Helton Fernando Scherer, Eduardo Camponogara, Andrés 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, Quang Phuc 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 Wigström, 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 - Angel Rodríguez-Liñán, Griselda Quiroz, Jesús de León, Ricardo Femat:
State and parameter estimation of an anaerobic digester model. 690-695 - Eduardo Ruiz-Velázquez, Alma Y. Alanis, Ricardo Femat, Griselda Quiroz:
Neural modeling of the blood glucose level for Type 1 Diabetes Mellitus patients. 696-701 - Thierry Prud'homme, Alain Bock, Grégory François, Denis Gillet:
Preclinically assessed optimal control of postprandial glucose excursions for type 1 patients with diabetes. 702-707