BibSLEIGH — Proceedings of the Seventh International Conference on Automation Science and Engineering

Proceedings of the Seventh International Conference on Automation Science and Engineering
CASE, 2011.

SYS

@proceedings{CASE-2011,
	address       = "Trieste, Italy",
	isbn          = "978-1-4577-1730-7",
	publisher     = "{IEEE}",
	title         = "{Proceedings of the Seventh International Conference on Automation Science and Engineering}",
	year          = 2011,
}

Contents (136 items)

CASE-2011-RakotondrabeHCL #assembly #automation #delivery: Automation of assembly and packaging at the micro/nano-scale (MR, YH, CC, PL), pp. 1–5.
CASE-2011-UrliM #industrial #realtime #using: Use of Ethernet communications for real-time control systems in the metals industry (LU, SM), pp. 6–11.
CASE-2011-LemattreDFPS #analysis #architecture #design #reachability: Designing operational control architectures of critical systems by reachability analysis (TL, BD, JMF, JFP, PS), pp. 12–18.
CASE-2011-MohajeraniMF #composition #nondeterminism #synthesis: Nondeterminism avoidance in compositional synthesis of discrete event systems (SM, RM, MF), pp. 19–24.
CASE-2011-MiremadiLA #automaton #finite: BDD-based supervisory control on extended finite automata (SM, BL, KÅ), pp. 25–31.
CASE-2011-FarautPN #behaviour #equivalence #multi: Equivalence of behaviors between centralized and multi-model approaches (GF, LP, ÉN), pp. 32–38.
CASE-2011-PinhaQC #scheduling: Optimal scheduling of a repair shipyard based on Supervisory Control Theory (DCP, MHdQ, JERC), pp. 39–44.
CASE-2011-CabasinoCGSS #framework #integration #platform #tool support: A software platform for the integration of discrete event systems tools (MPC, LC, AG, CS, AS), pp. 45–51.
CASE-2011-GhirardiPS #case study #multimodal #platform #throughput: Maximizing the throughput of multimodal logistic platforms by simulation-optimization: The Duferco case study (MG, GP, DS), pp. 52–57.
CASE-2011-FantiSU #constraints #problem #scheduling #symmetry #using: Solving scheduling problems in distribution centers using symmetry breaking constraints (MPF, GS, WU), pp. 58–65.
CASE-2011-CostantinoDFFMSU #approach #design #fuzzy #network #programming: A fuzzy programming approach for the strategic design of distribution networks (NC, MD, MF, MPF, AMM, FS, WU), pp. 66–71.
CASE-2011-StyliosG #fuzzy #modelling #using: Modeling complex logistics systems using soft computing methodology of Fuzzy Cognitive Maps (CDS, GKG), pp. 72–77.
CASE-2011-WuS #bound #multi #problem: A lower and upper bound guided nested partitions method for solving capacitated multi-level production planning problems (TW, LS), pp. 78–83.
CASE-2011-HuangG #deployment #heuristic: An improved Least Cost Heuristic for dynamic yard crane deployment in container terminals (SYH, XG), pp. 84–89.
CASE-2011-QiaoWZ #analysis #clustering #modelling #tool support: Modeling and analysis of dual-arm cluster tools for wafer fabrication with revisiting (YQ, NW, MZ), pp. 90–95.
CASE-2011-KimL #clustering #constraints #scheduling #tool support: Scheduling of cluster tools with ready time constraints for small lot production (HJK, TEL), pp. 96–101.
CASE-2011-LeeL #clustering #concurrent #multi: Concurrent processing of multiple wafer types in a single-armed cluster tool (JHL, TEL), pp. 102–107.
CASE-2011-KaoZCHWLWWC #constraints: Near optimal furnace tool allocation with batching and waiting time constraints (YTK, SCZ, SCC, JHH, PW, PBL, SW, FW, JC), pp. 108–113.
CASE-2011-YanCLWC #multi #scheduling: Optimization-based litho machine scheduling with multiple reticles and setups (BY, HYC, PBL, SW, JC), pp. 114–119.
CASE-2011-CaoPW #scheduling: A drum-buffer-rope based scheduling method for semiconductor manufacturing system (ZC, YP, YW), pp. 120–125.
CASE-2011-MovafaghpourM #approach #linear #probability #programming: A linear programming approach for probabilistic robot path planning with missing information of outcomes (MAM, EM), pp. 126–132.
CASE-2011-DingRGS #programming: Mixed-integer programming for optimal path planning of robotic manipulators (HD, GR, DG, OS), pp. 133–138.
CASE-2011-HeoOP #locality #mobile #using: A localization system of mobile robots using artificial landmarks (DHH, ARO, THP), pp. 139–144.
CASE-2011-LiuFOCK #visual notation: Weld pool visual sensing without external illumination (JL, ZF, SIO, KHC, JKK), pp. 145–150.
CASE-2011-MohanSBKE #3d #image #using: 3D scanning of object surfaces using structured light and a single camera image (SM, KBS, IB, VK, RDE), pp. 151–156.
CASE-2011-MartinezOGG #adaptation #automation #fault #lens: An adaptable vision system for the automatic inspection of surface defects in automotive headlamp lenses (SSM, JGO, ASG, JGG), pp. 157–162.
CASE-2011-SaddemTT #embedded: Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems (RS, AT, MT), pp. 163–168.
CASE-2011-BroderickAT #detection #formal method #industrial: Anomaly detection without a pre-existing formal model: Application to an industrial manufacturing system (JAB, LVA, DMT), pp. 169–174.
CASE-2011-MalkiM #approach #modelling: Boolean temporal model-based approach for the diagnosis of Discrete Event Systems (NM, MSM), pp. 175–180.
CASE-2011-KalyanasundaramLR #combinator #distributed #resource management: Fail-Stop Distributed Combinatorial Auctioning Systems with fair resource allocation (AK, RAKL, SR), pp. 181–188.
CASE-2011-SenoussiCDZ #detection #fault #feature model #process: Feature selection for fault detection systems: Application to the Tennessee Eastman Process (HS, BCM, MD, NZ), pp. 189–194.
CASE-2011-Soressi #industrial #safety: Introduction of safety rule IEC EN62061 in Metal Industry (ES), pp. 195–200.
CASE-2011-BasileCC #analysis #automation: A discrete event model for the control and analysis of complex automated warehouse systems (FB, PC, JC), pp. 201–207.
CASE-2011-AmbrosinoBPSS #modelling #problem: Modeling and solving the train load planning problem in seaport container terminals (DA, AB, MP, SS, SS), pp. 208–213.
CASE-2011-AnghinolfiPSS #integer #optimisation #programming: Integer programming and ant colony optimization for planning intermodal freight transportation operations (DA, MP, SS, SS), pp. 214–219.
CASE-2011-SharviaP #approach #assessment #named #safety #towards: IACoB-SA: An approach towards integrated safety assessment (SS, YP), pp. 220–225.
CASE-2011-FalconiPB #modelling #network: Potential field-based microscopic modeling of road networks with heterogeneous vehicular traffic (RF, AP, CB), pp. 226–231.
CASE-2011-Hackbarth #communication #distributed #memory management #self: Self-organizing warehouse management based on communicating distributed memory tags (FH), pp. 232–237.
CASE-2011-KurzKP #maintenance #network #using: Dynamic Maintenance in semiconductor manufacturing using Bayesian networks (DK, JK, JP), pp. 238–243.
CASE-2011-PampuriSFN #multi: Multilevel Lasso applied to Virtual Metrology in semiconductor manufacturing (SP, AS, GF, GDN), pp. 244–249.
CASE-2011-PampuriSLN #maintenance #predict: Proportional hazard model with ℓ1 Penalization applied to Predictive Maintenance in semiconductor manufacturing (SP, AS, CDL, GDN), pp. 250–255.
CASE-2011-KaoCW #case study: Preliminary study of run-to-run control utilizing virtual metrology with reliance index (CAK, FTC, WMW), pp. 256–261.
CASE-2011-SustoBL #maintenance #predict: A Predictive Maintenance System for Silicon Epitaxial Deposition (GAS, AB, CDL), pp. 262–267.
CASE-2011-Incerti #behaviour: Dynamic behaviour of elastic cam devices driven by servomotors with PID velocity control (GI), pp. 268–273.
CASE-2011-MadonskiPKH #industrial: Application of Active Disturbance Rejection Control to a reel-to-reel system seen in tire industry (RM, MP, MK, PH), pp. 274–278.
CASE-2011-JamesBHACC #mining #mobile #using: Tele-operation of a mobile mining robot using a panoramic display: an exploration of operators sense of presence (CAJ, TPB, KH, LA, CC, AC), pp. 279–284.
CASE-2011-BohlouliMBK #adaptation #fuzzy #mobile: Adaptive fuzzy sliding mode controller for Wheeled Mobile Robots (RB, YM, RB, JK), pp. 285–290.
CASE-2011-YonezawaKZIHSIYF #approach #experience #performance: 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 (HY, HK, MZ, KI, NH, YS, MY, TF), pp. 291–298.
CASE-2011-MeikeR #energy #industrial: Recuperated energy savings potential and approaches in industrial robotics (DM, LR), pp. 299–303.
CASE-2011-ColP #detection #performance #recursion: Fast and accurate object detection by means of recursive monomial feature elimination and cascade of SVM (LDC, FAP), pp. 304–309.
CASE-2011-BoemPFP #clustering #distance #multi #using: Multi-feature trajectory clustering using Earth Mover’s Distance (FB, FAP, GF, TP), pp. 310–315.
CASE-2011-LeH #analysis #random: Marginal analysis on binary pairwise Gibbs random fields (TL, CNH), pp. 316–321.
CASE-2011-KumarSTS #fuzzy #modelling #on the: On the combination of fuzzy models (MK, NS, KT, RS), pp. 322–326.
CASE-2011-MaiHHH #adaptation #algorithm #performance #speech: A fast adaptive Kalman filtering algorithm for speech enhancement (QM, DH, YH, ZH), pp. 327–332.
CASE-2011-SunLOS #detection #energy #fault: Building energy doctors: SPC and Kalman filter-based fault detection (BS, PBL, ZO, FS), pp. 333–340.
CASE-2011-LeonardoKKDS #monitoring #simulation: Simulation of a hydraulic pump application for monitoring and diagnosis methods (DL, SK, AKH, AD, RS), pp. 341–345.
CASE-2011-AranovskiyBB #identification #metric: The method of identification for the “motor-dual-section device” system through output signal measurements (SA, AAB, VB), pp. 346–350.
CASE-2011-KalinovcicPBB #algorithm #multi #scheduling: Modified Banker’s algorithm for scheduling in multi-AGV systems (LK, TP, SB, VB), pp. 351–356.
CASE-2011-FrohlichS #multi #scheduling: Transient multiple hoist scheduling of consecutive cyclic schedules (RF, SCS), pp. 357–362.
CASE-2011-FengZL #evaluation #multi #performance: Multi-product manufacturing systems with sequence-dependent setups: Performance evaluation and system properties (WF, LZ, JL), pp. 363–368.
CASE-2011-Tanaka #approach #problem #scheduling: A unified approach for the scheduling problem with rejection (ST), pp. 369–374.
CASE-2011-JasperF #detection #performance: Fast focus-based depth detection for manipulation in scanning electron microscopes (DJ, SF), pp. 375–380.
CASE-2011-SapuppoAB #feedback: Micro-optic technology for the microfluidics feedback (FS, PA, MB), pp. 381–386.
CASE-2011-PurwinsNBHKLPW #predict: Regression methods for prediction of PECVD Silicon Nitride layer thickness (HP, AN, BB, UH, AK, BL, GP, KW), pp. 387–392.
CASE-2011-RakotondrabeAL #2d #automation: Feedforward and IMC-feedback control of a nonlinear 2-DOF piezoactuator dedicated to automated micropositioning tasks (MR, JA, PL), pp. 393–398.
CASE-2011-WangZW #petri net: Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets (SW, MZ, CW), pp. 399–404.
CASE-2011-NazeemR #classification #concurrent #design #policy #resource management: Designing maximally permissive deadlock avoidance policies for sequential resource allocation systems through classification theory (AN, SAR), pp. 405–412.
CASE-2011-CordoneP #monitoring #optimisation #petri net: Monitor optimization in Petri net control (RC, LP), pp. 413–418.
CASE-2011-GhomriA #hybrid #petri net #using: Continuous flow systems and control methodology using Hybrid Petri nets (LG, HA), pp. 419–424.
CASE-2011-DotoliFI #first-order #hybrid #petri net: A freeway traffic control model by first order hybrid Petri nets (MD, MPF, GI), pp. 425–431.
CASE-2011-JulvezMV #analysis #simulation #using: Analysis and simulation of manufacturing systems using SimHPN toolbox (JJ, CM, CRV), pp. 432–437.
CASE-2011-MettaB #design: Optimized closed-loop supply chain configuration selection for sustainable product designs (HM, FB), pp. 438–443.
CASE-2011-FeiMA #automaton #finite #modelling #resource management #using: Modeling sequential resource allocation systems using Extended Finite Automata (ZF, SM, KÅ), pp. 444–449.
CASE-2011-DahaneR #multi #outsourcing: Economic model of outsourcing for a subcontractor manufacturing system in a single subcontractor — multi-outsourcers relationship (MD, NR), pp. 450–455.
CASE-2011-PatilSMDS #development #requirements: Requirements for the development of a decision-support solution for sustainability target cascading (LP, LS, KM, DD, RS), pp. 456–461.
CASE-2011-LiTL #process: A GERT-based analytical method for remanufacturing process routing (CL, YT, CL), pp. 462–467.
CASE-2011-NishiYI #approach #generative #problem #scheduling: Column generation approach to ship scheduling problems for international crude oil transportation (TN, SY, TI), pp. 468–473.
CASE-2011-Vogel-HeuserS #approach #automation #modelling #usability: A methodological approach to evaluate the benefit and usability of different modeling notations for open loop control in automation systems (BVH, KS), pp. 474–481.
CASE-2011-ThramboulidisSF #automation #industrial #process #safety #towards #verification: Towards an automated verification process for industrial safety applications (KT, DS, GF), pp. 482–487.
CASE-2011-ProvostRF #semantics #specification: A formal semantics for Grafcet specifications (JP, JMR, JMF), pp. 488–494.
CASE-2011-WengerMHHZ #approach #development: Utilizing IEC 61499 in an MDA control application development approach (MW, MMM, IH, RH, AZ), pp. 495–500.
CASE-2011-SernaCBRC #case study #design #framework #platform: Control software design for a cutting glass machine tool based on the COSME platform. Case study (FS, CC, AB, JMR, JMC), pp. 501–506.
CASE-2011-KloetzerG: Software tool for constructing cell decompositions (MK, NG), pp. 507–512.
CASE-2011-SadkiXC #scheduling: Appointment scheduling of oncology outpatients (AS, XX, FC), pp. 513–518.
CASE-2011-RedjemKXM #coordination #health #multi #scheduling: Coordinated multi-criteria scheduling of caregivers in home health Care Services (RR, SK, XX, EM), pp. 519–524.
CASE-2011-HajiD #case study #simulation #using: A simulation case study: Reducing outpatient waiting time of otolaryngology care services using VBA (MH, HD), pp. 525–530.
CASE-2011-TengHTK #optimisation: Optimizing coverage for a Chlamydia trachomatis screening program (YT, LH, WT, NK), pp. 531–536.
CASE-2011-WangLH #analysis #delivery #modelling: Modeling and analysis of care delivery services within patient rooms (JW, JL, PKH), pp. 537–542.
CASE-2011-ViswanadhamB #resource management: Resource allocation for healthcare organizations (NV, KB), pp. 543–548.
CASE-2011-MaramisDLK #automation #type system: A system for automatic HPV typing via PCR-RFLP gel electrophoresis (CM, AD, AFL, SPK), pp. 549–556.
CASE-2011-AngererEHRR #automation #design #process: Design of an automation system for preforming processes in aerospace industries (AA, CE, AH, WR, GR), pp. 557–562.
CASE-2011-PerboliCT #metaheuristic #multi #performance: An efficient metaheuristic for multi-dimensional multi-container packing (GP, TGC, RT), pp. 563–568.
CASE-2011-StumpM #multi #persistent #problem: Multi-robot persistent surveillance planning as a Vehicle Routing Problem (ES, NM), pp. 569–575.
CASE-2011-AddadALD #automation #evaluation #metric: Measures vs. analytic evaluation of response time of Networked Automation Systems (BA, SA, JJL, BD), pp. 576–581.
CASE-2011-Bonhomme #petri net #realtime #scheduling: A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets (PB), pp. 582–587.
CASE-2011-BallariniDDHP #composition #flexibility #modelling #petri net #verification: Petri nets compositional modeling and verification of Flexible Manufacturing Systems (PB, HD, MD, SH, NP), pp. 588–593.
CASE-2011-CabasinoGSSZ #fault #petri net #using: Fault diagnosis of an ABS system using Petri nets (MPC, AG, CS, AS, KZ), pp. 594–599.
CASE-2011-Gonzalez-CastoloL #analysis #fuzzy #nondeterminism: State uncertainty analysis of Fuzzy Timed DES (JCGC, ELM), pp. 600–606.
CASE-2011-Aguayo-LaraRR #invariant #petri net: Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets (EAL, ART, JJRL), pp. 607–612.
CASE-2011-SchererCC #distributed #linear #modelling #network: Transfer function modeling of linear dynamic networks for distributed MPC (HFS, EC, AC), pp. 613–618.
CASE-2011-WanY #detection #fault: Fault detection of networked control systems utilizing limited possibilities of unknown packet transmission (YW, HY), pp. 619–624.
CASE-2011-TranHN #automation #composition: Semi-automatic control of modular systems with intermittent data losses (TT, QPH, HTN), pp. 625–630.
CASE-2011-PuiuM #communication #realtime: The time delay control of CAN messages for real-time communication (DP, FM), pp. 631–636.
CASE-2011-NaibR #approach #automation #constraints: A P2P approach for automating seamless connectivity given intermittent bandwidth constraints (VVBN, SR), pp. 637–641.
CASE-2011-MashaeiLA #agile: Green and lean control of cyclic pallet systems (MM, BL, GA), pp. 642–647.
CASE-2011-JuWLBX #framework #simulation: Virtual battery: A simulation framework for batteries in electric vehicles (FJ, JW, JL, SB, GX), pp. 648–653.
CASE-2011-WigstromL #energy #optimisation #scheduling: Energy optimization of trajectories for high level scheduling (OW, BL), pp. 654–659.
CASE-2011-LiuZCHZ #energy #evaluation #optimisation #simulation: Simulation based evaluation and optimization for energy consumption of a typical welding shop (HL, QZ, WC, NH, XZ), pp. 660–665.
CASE-2011-ChenZAB #energy #feedback: Feedback control of machine startup for energy-efficient manufacturing in Bernoulli serial lines (GC, LZ, JA, SB), pp. 666–671.
CASE-2011-ChuYSS #probability #simulation #validation: Validation of stochastic traffic flow model with microscopic traffic simulation (KCC, LY, RS, KS), pp. 672–677.
CASE-2011-KoyamaOHTMA #automation #multi: Multiple cell suction and supply system for automated cell manipulation on microfluidic channel (NK, KO, AH, TT, YM, TA), pp. 678–683.
CASE-2011-RatnakarZ #detection #using: An ultrasound system for tumor detection in soft tissues using low transient pulse (ARR, MZ), pp. 684–689.
CASE-2011-RodriguezQLF #estimation #parametricity: State and parameter estimation of an anaerobic digester model (AR, GQ, JdL, RF), pp. 690–695.
CASE-2011-Ruiz-VelazquezAFQ #modelling: Neural modeling of the blood glucose level for Type 1 Diabetes Mellitus patients (ERV, AYA, RF, GQ), pp. 696–701.
CASE-2011-PrudhommeBFG: Preclinically assessed optimal control of postprandial glucose excursions for type 1 patients with diabetes (TP, AB, GF, DG), pp. 702–707.
CASE-2011-ChoiYSMKCC #automation #development #framework #mobile #platform: Development of robotic laboratory automation platform with intelligent mobile agents for clinical chemistry (BC, WSY, SHS, HM, JK, WC, HC), pp. 708–713.
CASE-2011-HejriG #hybrid #modelling: Hybrid modeling and control of switching DC-DC converters via MLD systems (MH, AG), pp. 714–719.
CASE-2011-SekerZ: A new sliding mode controller for the DC to DC flyback converter (MS, EZ), pp. 720–724.
CASE-2011-Gomez-GutierrezCRRG #linear: Sliding mode observer for Switched Linear Systems (DGG, SC, ART, JJRL, SDG), pp. 725–730.
CASE-2011-GaoLZZWQ: Fire evacuation model with confidence intervals (YG, PBL, QZ, HZ, NW, LQ), pp. 731–736.
CASE-2011-YangXZCT #game studies #multi: A vision system with multiple cameras designed for humanoid robots to play table tennis (PY, DX, ZZ, GC, MT), pp. 737–742.
CASE-2011-VasilePB #distributed #interactive: Integrating human swarm interaction in a distributed robotic control system (CIV, AP, CB), pp. 743–748.
CASE-2011-LeeLNCC #design #optimisation: Design optimization of one-time-use leaping mechanism for sensor node relocation (GL, GL, YN, NYC, DC), pp. 749–754.
CASE-2011-MikosFG #agile #approach #distributed #injection #process #reasoning: A distributed system for rapid determination of nonconformance causes and solutions for the thermoplastic injection molding process: A Case-Based Reasoning Agents approach (WLM, JCEF, FGCG), pp. 755–760.
CASE-2011-WasonW #architecture #automation #communication #library: Robot Raconteur: A communication architecture and library for robotic and automation systems (JDW, JTW), pp. 761–766.
CASE-2011-CatalanSBRC #communication #distributed: Communication types for manufacturing systems. A proposal to distributed control system based on IEC 61499 (CC, FS, AB, JMR, JMC), pp. 767–772.
CASE-2011-XieZSL #fuzzy #using: Position servo control of the slider in double toggle mechanical press using Bezier curve model and fuzzy control (JX, SZ, ZS, JL), pp. 773–778.
CASE-2011-HaoD #incremental #optimisation #using: Optimization of tool trajectory for Incremental Sheet Forming using closed loop control (WH, SD), pp. 779–784.
CASE-2011-DjebraniBA #feedback #mobile #modelling: Modelling and feedback control of an omni-directional mobile manipulator (SD, AB, FA), pp. 785–791.
CASE-2011-ParkCH #design #hybrid: Design and control for hybrid magnetic thrust bearing for turbo refrigerant compressor (CHP, SKC, SYH), pp. 792–797.
CASE-2011-Kanamori #anti: Global stabilization of anti-windup PID position control for euler-lagrange systems with actuator saturation (MK), pp. 798–803.
CASE-2011-ZanasiC #design #visual notation: Direct method for digital lead-lag design: analytical and graphical solutions (RZ, SC), pp. 804–809.
CASE-2011-KuoSTC #architecture #embedded: An embedded robotic wheelchair control architecture with reactive navigations (CHK, YSS, TCT, TSC), pp. 810–815.
CASE-2011-DAngeloLL: A new electrically driven walking frame for both passive and active mobility support (LTD, AL, TCL), pp. 816–821.
CASE-2011-TalpasanuK #analysis #approach: Exoskeleton systems kinematics analysis with graph-matroid approach (IT, SK), pp. 822–827.
CASE-2011-AramiSAHABMTDLRDFJAR #monitoring: Instrumented prosthesis for knee implants monitoring (AA, MS, OA, WH, SA, AB, EM, ST, HD, VL, PR, CD, PAF, BMJ, KA, PR), pp. 828–835.

Proceedings of the Seventh International Conference on Automation Science and EngineeringCASE, 2011.

Contents (136 items)

Proceedings of the Seventh International Conference on Automation Science and Engineering
CASE, 2011.