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

Proceedings of the Ninth International Conference on Automation Science and Engineering
CASE, 2013.

SYS

@proceedings{CASE-2013,
	address       = "Madison, Wisconsin, USA",
	publisher     = "{IEEE}",
	title         = "{Proceedings of the Ninth International Conference on Automation Science and Engineering}",
	year          = 2013,
}

Contents (191 items)

CASE-2013-ChenZS #metric #using: A severity measurement system for obstructive sleep apnea discrimination using a single ECG signal (LC, XZ, CS), pp. 1–6.
CASE-2013-OFlahertyE #bound #learning #sequence: Learning to locomote: Action sequences and switching boundaries (RO, ME), pp. 7–12.
CASE-2013-WilsonM #design #estimation #parametricity: Optimal trajectory design for well-conditioned parameter estimation (ADW, TDM), pp. 13–19.
CASE-2013-KurzDP #monitoring #reliability: Monitoring virtual metrology reliability in a sampling decision system (DK, CDL, JP), pp. 20–25.
CASE-2013-AlfonsoAX: Tactical planning of bloodmobile collection systems (EA, VA, XX), pp. 26–31.
CASE-2013-WeeklyRZBNS #detection #low cost #matter: Low-cost coarse airborne particulate matter sensing for indoor occupancy detection (KW, DR, LZ, AMB, WWN, CJS), pp. 32–37.
CASE-2013-McInroy #fault tolerance #robust: Robustly fault tolerant Gough-Stewart platforms (JEM), pp. 38–44.
CASE-2013-TranH #self: Self-recovery control for dependable systems (TT, QPH), pp. 45–50.
CASE-2013-LinG #detection #framework #network #optimisation #synthesis: Synthesis and optimization of a Bayesian belief network based observation platform for anomaly detection under partial and unreliable observations (WCL, HEG), pp. 51–58.
CASE-2013-WangBR #modelling #monitoring #using: Model based unbalance monitoring using augmented observer in rotor systems under the consideration of gyroscopic effect (ZW, MB, SR), pp. 59–64.
CASE-2013-Fries #agile #automation #fault #fuzzy #multi #using: Automation of rapid fault diagnosis in manufacturing systems using multiple fuzzy agents (TPF), pp. 65–70.
CASE-2013-0011ZD #petri net #robust #specification: Exploiting robustness in Petri net-based closed-loop systems to accommodate control specification changes (JL, MZ, XD), pp. 71–76.
CASE-2013-WangC #multi #policy #robust: A robust production control policy for a multiple-stage production system with inventory inaccuracy and time-delay (ZW, FTSC), pp. 77–82.
CASE-2013-WangJLC #capacity #policy: Integrated capacity allocation policies for a production service system with two-class customers and items (KW, ZJ, GL, JC), pp. 83–88.
CASE-2013-XuJG #coordination #energy: Supply demand coordination for building energy saving (ZX, QSJ, XG), pp. 89–94.
CASE-2013-XuJLYL #energy #optimisation #using: Optimal building energy management using intelligent optimization (YX, KJ, YL, YY, WL), pp. 95–99.
CASE-2013-YadatiKBSN #smarttech: Incentive compatible mechanisms for power cut allocation in smart grids (CY, DK, NB, AS, YN), pp. 100–105.
CASE-2013-YanLSSDGM #energy: Energy-efficient management of eco-communities (BY, PBL, BS, CS, CD, ZG, LDM), pp. 106–111.
CASE-2013-GuoUZ #energy #feedback #monitoring: Evaluating feedback systems for residential building energy monitoring (WWG, TU, MZ), pp. 112–116.
CASE-2013-HanzG #abstraction #cyber-physical #mobile: An abstraction layer for controlling heterogeneous mobile cyber-physical systems (TH, MG), pp. 117–121.
CASE-2013-XiaZLZ #as a service: A comprehensive QoS determination model for Infrastructure-as-a-Service clouds (YX, MZ, XL, QZ), pp. 122–127.
CASE-2013-CecilGCS #collaboration #framework #generative: A next generation collaborative framework for advanced manufacturing (JC, RG, PC, SS), pp. 128–132.
CASE-2013-CecilRRPP #collaboration: Collaborative virtual environments for orthopedic surgery (JC, PR, VR, AP, MPC), pp. 133–137.
CASE-2013-JiangLCT: Storage yard management for transshipment ports (XJ, LHL, EPC, KCT), pp. 138–143.
CASE-2013-HuMW #automation #energy: Energy-efficient dispatching solution in an automated air cargo terminal (WH, JM, KW), pp. 144–149.
CASE-2013-FantiIRU #analysis #scheduling #simulation: A simulation based analysis of production scheduling in a steelmaking and continuous casting plant (MPF, GI, GR, WU), pp. 150–155.
CASE-2013-RoszkowskaG #distributed #multi: Correct-by-construction distributed control for multi-vehicle transport systems (ER, IG), pp. 156–161.
CASE-2013-LuSXPO #automation #graph #multi #using: Automatic building exterior mapping using multilayer feature graphs (YL, DS, YX, AGAP, SO), pp. 162–167.
CASE-2013-PrettoTM #3d #flexibility #industrial #locality: Flexible 3D localization of planar objects for industrial bin-picking with monocamera vision system (AP, ST, EM), pp. 168–175.
CASE-2013-NourzadehM #metric #multi #robust #visual notation: Robust visual measurement planning in multi-robot systems (HN, JEM), pp. 176–182.
CASE-2013-ChenHCHW #automation #maintenance #predict: Automatic baseline-sample-selection scheme for baseline predictive maintenance (CFC, YSH, FTC, HCH, SCW), pp. 183–188.
CASE-2013-HungLHHYC #development #industrial: Development of an advanced manufacturing cloud for machine tool industry based on AVM technology (MHH, YCL, HCH, MHH, HCY, FTC), pp. 189–194.
CASE-2013-SustoSPPMB #fault #maintenance #predict: A predictive maintenance system for integral type faults based on support vector machines: An application to ion implantation (GAS, AS, SP, DP, SFM, AB), pp. 195–200.
CASE-2013-SustoJOM #multi #predict #process: Virtual metrology enabled early stage prediction for enhanced control of multi-stage fabrication processes (GAS, ABJ, PGO, SFM), pp. 201–206.
CASE-2013-GohWYFPLL #monitoring #named #realtime #risk management #visualisation: RiskVis: Supply chain visualization with risk management and real-time monitoring (RSMG, ZW, XY, XF, LP, SL, XL), pp. 207–212.
CASE-2013-ViswanadhamVK: Orchestrating the print supply chain in emerging markets (NV, SV, RK), pp. 213–218.
CASE-2013-LingoR #design #using: A sustainable building design using geosolar exergy storage technology (GEST) (LEL, UR), pp. 219–224.
CASE-2013-LiuCXG #distributed #energy #optimisation: A decentralized optimization method for energy saving of HVAC systems (ZL, XC, XX, XG), pp. 225–230.
CASE-2013-ZenobioCTS #architecture #automation #named: EDISON: An innovative lighting architecture facilitating building automation (DDZ, NDC, ST, KS), pp. 231–236.
CASE-2013-YanLS #detection #fault #process #statistics: Fault detection of cooling coils based on unscented Kalman filters and statistical process control (YY, PBL, BS), pp. 237–242.
CASE-2013-JunKZRK #automation: Automation for individualization of Kinect-based quantitative progressive exercise regimen (SkJ, SK, XZ, DKR, VNK), pp. 243–248.
CASE-2013-RockeyPN #evaluation #low cost: An evaluation of low-cost sensors for smart wheelchairs (CAR, EMP, WSN), pp. 249–254.
CASE-2013-ShisheieJBC #design #string #using: Design and fabrication of an assistive device for arm rehabilitation using twisted string system (RS, LJ, LEB, MHMC), pp. 255–260.
CASE-2013-QianY #named #navigation #performance #visual notation: NCC-RANSAC: A fast plane extraction method for navigating a smart cane for the visually impaired (XQ, CY), pp. 261–267.
CASE-2013-JiangSCBG #synthesis: Moving trajectories and controller synthesis for an assistive device for arm rehabilitation (LJ, RS, MHMC, LEB, GG), pp. 268–273.
CASE-2013-LiF #approach #integer #linear #multi #problem #programming #scheduling: A mixed integer linear programming approach for multi-degree cyclic multi-hoist scheduling problems without overlapping (XL, RYKF), pp. 274–279.
CASE-2013-SilvaCTS #automation #linear #optimisation #programming: A mixed-integer linear programming model for automatic routing decisions in oil production optimization (TLS, EC, AFT, SS), pp. 280–285.
CASE-2013-GiulianiCP #analysis #optimisation: A computational analysis of nondifferentiable optimization: Applications to production maximization in gas-lifted oil fields (CMG, EC, AP), pp. 286–291.
CASE-2013-MashaeiL #automation #concurrent #design: Concurrent design and control of automated material handling systems (MM, BL), pp. 292–299.
CASE-2013-ChaouiS #adaptation #nondeterminism #parametricity: Adaptive friction compensation of flexible-joint manipulators with parametric uncertainties (HC, PS), pp. 300–305.
CASE-2013-NaikMRHB: An example of computing the failure-tolerant workspace area for a planar kinematically redundant robot (PSN, AAM, RGR, RCH, KMBG), pp. 306–311.
CASE-2013-SoviziK #matrix #nondeterminism #parallel #random #using: Uncertainty characterization in serial and parallel manipulators using random matrix theory (JS, VNK), pp. 312–317.
CASE-2013-LuoHL #metric #multi #parametricity #recognition: Multisensor integrated stair recognition and parameters measurement system for dynamic stair climbing robots (RCL, MH, CWL), pp. 318–323.
CASE-2013-VenatorLN #architecture #hardware #industrial #mobile: Hardware and software architecture of ABBY: An industrial mobile manipulator (EV, GSL, WSN), pp. 324–329.
CASE-2013-ZhangYZH #design #using: Longitudinal attitude controller design for aircraft landing with disturbance using ADRC/LQR (GZ, LY, JZ, CH), pp. 330–335.
CASE-2013-DevesseRFW #realtime: A real-time optimal control method for swing-free tower crane motions (WD, MR, LF, JW), pp. 336–341.
CASE-2013-PanahiASG #algorithm #performance #proximity: An efficient proximity probing algorithm for metrology (FP, AA, AFvdS, KG), pp. 342–349.
CASE-2013-KruseRW #framework: A sensor-based dual-arm tele-robotic manipulation platform (DK, RJR, JTW), pp. 350–355.
CASE-2013-KramerKBSPG #evaluation #knowledge-based #performance #simulation: Performance evaluation of knowledge-based kitting via simulation (TRK, ZK, SB, CS, AP, SG), pp. 356–361.
CASE-2013-DanishvarMSA #clustering #modelling #realtime: Event-clustering for real-time data modeling (MD, AM, PAMdS, RA), pp. 362–367.
CASE-2013-BengtssonL #algorithm #behaviour #identification #modelling #using #visualisation: Operation behavior modeling using relation identification and visualization algorithms (KB, BL), pp. 368–373.
CASE-2013-HoC #contest #design #game studies: Stackelberg game formulation of prize competition design for seeking shortest path solutions (TYH, SCC), pp. 374–379.
CASE-2013-RoyZR #behaviour #framework #representation: The information framework for material behavior representation (UR, BZ, DJR), pp. 380–385.
CASE-2013-ZhaoL #analysis #exponential #multi: Analysis of multi-product manufacturing systems with homogeneous exponential machines (CZ, JL), pp. 386–391.
CASE-2013-LiJJ #algorithm #heuristic: A heuristic algorithm for minimizing total absolute deviation from distinct due dates on a single machine (YL, ZJ, WJ), pp. 392–397.
CASE-2013-ZhaoLL #assembly: Dynamic production control of door manufacturing line at an automotive assembly plant (CZ, YL, JL), pp. 398–403.
CASE-2013-BentahaBD #composition #probability: A decomposition method for stochastic partial disassembly line balancing with profit maximization (MLB, OB, AD), pp. 404–409.
CASE-2013-QiaoMG #algorithm #data-driven #scheduling: Attribute selection algorithm of data-based scheduling strategy for semiconductor manufacturing (FQ, YM, XG), pp. 410–415.
CASE-2013-ZhaoZXCWS #framework: A unified control framework of HVAC system for thermal and acoustic comforts in office building (YZ, QZ, LX, ZC, FW, FS), pp. 416–421.
CASE-2013-LiuLXB: Cooperative control of air flow for HVAC systems (SL, YL, LX, AMB), pp. 422–427.
CASE-2013-ParisioMVJ #approach #predict: A scenario-based predictive control approach to building HVAC management systems (AP, MM, DV, KHJ), pp. 428–435.
CASE-2013-SunLJY #energy #nondeterminism #optimisation: Event-based optimization with non-stationary uncertainties to save energy costs of HVAC systems in buildings (BS, PBL, QSJ, BY), pp. 436–441.
CASE-2013-KwadzogahZL #bibliography #perspective #predict: Model predictive control for HVAC systems — A review (RK, MZ, SL), pp. 442–447.
CASE-2013-RenfrewBC #locality: Particle filter based active localization of target and needle in robotic image-guided intervention systems (MR, ZB, MCC), pp. 448–454.
CASE-2013-SunSZS #approach #optimisation: A two-stage approach for VMAT treatment plan optimization (BS, JS, GZ, LS), pp. 455–460.
CASE-2013-ChowN: Improved knot-tying methods for autonomous robot surgery (DLC, WSN), pp. 461–465.
CASE-2013-GargPSCHAPG #3d #algorithm: An algorithm for computing customized 3D printed implants with curvature constrained channels for enhancing intracavitary brachytherapy radiation delivery (AG, SP, TS, JAMC, ICH, PA, JP, KG), pp. 466–473.
CASE-2013-GaoZS #evaluation #probability: Evaluation of improvement probability for IMRT plans (SG, XZ, LS), pp. 474–479.
CASE-2013-KumarNSCK #tool support #visual notation: Product of tracking experts for visual tracking of surgical tools (SK, MSN, PS, JJC, VK), pp. 480–485.
CASE-2013-JeongMS #approximate #assessment #design #lifecycle #reasoning #using: Approximate life cycle assessment using case-based reasoning for the eco design of products (MGJ, JRM, HWS), pp. 486–491.
CASE-2013-ViswanadhamS #multi: Multi tier supplier selection for a sustainable global supply chain (NV, AS), pp. 492–497.
CASE-2013-YiTLL #optimisation #parametricity: Optimization of CNC machine processing parameters for low carbon manufacturing (QY, YT, CL, PL), pp. 498–503.
CASE-2013-BagchiBNVSS #using: Incentive compatible green procurement using scoring rules (DB, SB, YN, NV, PS, SVS), pp. 504–509.
CASE-2013-BjorkenstamGBCL #energy #industrial #performance #using: Energy efficient and collision free motion of industrial robots using optimal control (SB, DG, RB, JSC, BL), pp. 510–515.
CASE-2013-AlKhazrajiSDK #modelling: Information modeling to incorporate sustainability into production plans (QYA, CS, TD, SK), pp. 516–521.
CASE-2013-SpensieriBC #coordination: Coordination of robot paths for cycle time minimization (DS, RB, JSC), pp. 522–527.
CASE-2013-FerreiraL #generative #multi #tool support #using: A method for generating tool paths for milling pockets in prismatic parts using multiple tools (JCEF, RAL), pp. 528–533.
CASE-2013-RoyS #constraints #generative #process: Generative process planning with environmental constraints (UR, SS), pp. 534–539.
CASE-2013-ChenCLZZF #assembly #automation #performance #process: Performance improvement for high accuracy assembly process in manufacturing automation (HC, HC, JL, BZ, GZ, TAF), pp. 540–545.
CASE-2013-MuZ #research: Research on sensing strategy for exoskeleton robot control (TM, XZ), pp. 546–549.
CASE-2013-HeZJ #approach #fault #robust: UIO based robust fault diagnosis approach for aero-engine fiber-optic sensor (CH, XZ, BJ), pp. 550–553.
CASE-2013-ChenZL #approach #design #novel: A novel design approach for lower limb rehabilitation training robot (JC, XZ, RL), pp. 554–557.
CASE-2013-ZhangJYZCPLX #communication #multi: Multichannel subgrade temperature acquisition system based on LabVIEW and serial communication (JZ, SJ, MY, XZ, JC, BP, JL, XX), pp. 558–563.
CASE-2013-Pan #combinator #problem #scheduling: A combinatorial auctions perspective on min-sum scheduling problems (YP), pp. 564–569.
CASE-2013-SinhaK #constraints #policy: Production and subcontracting policies for assemble-to-order systems with service level constraints (AKS, AK), pp. 570–575.
CASE-2013-WangSS #novel #order #polynomial #problem #scheduling: A novel quadratic formulation for customer order scheduling problem (LW, ZS, LS), pp. 576–580.
CASE-2013-LiFZS #adaptation #named #performance #smarttech: DEPEND: Density adaptive power efficient neighbor discovery for wearable body sensors (BL, WF, LZ, CJS), pp. 581–586.
CASE-2013-ChengXZZWS: Integrated control of blind and lights in daily office environment (ZC, LX, QZ, YZ, FW, FS), pp. 587–592.
CASE-2013-ZhouKZS #analysis: Causal analysis for non-stationary time series in sensor-rich smart buildings (YZ, ZK, LZ, CJS), pp. 593–598.
CASE-2013-MaHS #grid #network #smarttech: Transmission power allocation for cooperative relay-based neighborhood area networks for smart grid (KM, GH, CJS), pp. 599–604.
CASE-2013-WongdhammaLB #monitoring #multi #smarttech: Wireless wearable multi-sensory system for monitoring of sleep apnea and other cardiorespiratory disorders (WW, TQL, STSB), pp. 605–610.
CASE-2013-ZhongLEHF #analysis #modelling #process #testing: Modeling and analysis of mammography testing process at a breast imaging center of University of Wisconsin medical foundation (XZ, JL, SME, CH, LF), pp. 611–616.
CASE-2013-ZhangPJST #energy #interface #monitoring #scalability #using: A secure and scalable telemonitoring system using ultra-low-energy wireless sensor interface for long-term monitoring in life science applications (WZ, PP, EJ, RS, KT), pp. 617–622.
CASE-2013-SharabianiDBCND #machine learning #predict: Machine learning based prediction of warfarin optimal dosing for African American patients (AS, HD, AB, LC, EN, KD), pp. 623–628.
CASE-2013-SunSSZS #heuristic #optimisation: A linearized model and nested-partitions heuristics for VMAT radiation treatment planning optimization (BS, ZS, JS, GZ, LS), pp. 629–633.
CASE-2013-BrundageCLXA #energy #performance: Energy efficiency management of an integrated serial production line and HVAC system (MB, QC, YL, GX, JA), pp. 634–639.
CASE-2013-ZhouL #detection #realtime #throughput: Real time electricity demand response for sustainable manufacturing systems considering throughput bottleneck detection (ZZ, LL), pp. 640–644.
CASE-2013-JinJT #energy #enterprise #integration: Managing demand response for manufacturing enterprises via renewable energy integration (TJ, JAJ, ZT), pp. 645–650.
CASE-2013-FrigerioM #energy #policy: Machine control policies for energy saving in manufacturing (NF, AM), pp. 651–656.
CASE-2013-LiYY #energy #novel #performance: A novel parabolic trough solar lighting and thermal system for building energy efficiency (TL, FY, CY), pp. 657–662.
CASE-2013-LiuZZ #approach #data-driven #modelling: Data driven modeling of human welder intelligence: A neuro-fuzzy approach (YL, WZ, YZ), pp. 663–668.
CASE-2013-ZhouSHJLS #lens #simulation: Numerical simulation in compression molding of glass lens (JZ, TS, YH, YJ, ML, LS), pp. 669–674.
CASE-2013-LanzaKPSS #analysis #automation #detection #fault #using: Automated optical detection of particles and defects on a Li-Ion-cell surface using a single-point analysis (GL, AK, SP, AS, SS), pp. 675–680.
CASE-2013-RajaramanDSB #automation #locality: Automated workpiece localization for robotic welding (MR, MDH, KS, DAB), pp. 681–686.
CASE-2013-MoubarakAB #composition #configuration management #multi #scheduling: Reconfiguring a modular robot into a humanoid formation: A multi-body dynamic perspective on motion scheduling for modules and their assemblies (PMM, EJA, PBT), pp. 687–692.
CASE-2013-ZisserSR #robust: Robust position control of a pneumatic actuator (EZ, AS, RR), pp. 693–698.
CASE-2013-TranH13a #composition #predict: Plug-and-play predictive control of modular nonlinear systems with coupling delays (TT, QPH), pp. 699–704.
CASE-2013-ChaouiS13a #adaptation: Electrical sensorless adaptive control of permanent magnet synchronous machine drives (HC, PS), pp. 705–710.
CASE-2013-ChenZH #analysis #modelling #performance: Mathematical modeling and performance analysis of battery equalization systems (HC, LZ, YH), pp. 711–716.
CASE-2013-GrosbardKTR #composition #network #using: A queuing network model for wafer fabrication using decomposition without aggregation (DG, AK, IT, GR), pp. 717–722.
CASE-2013-KimM #equilibrium #on the #random: On the equilibrium probabilities of deterministic flow lines with random arrivals (WsK, JRM), pp. 723–729.
CASE-2013-BouhnikA #adaptation #correlation #exponential #markov: Markov G/G/s model adaptation to factory operational curve though exponential correlation (SB, SA), pp. 730–734.
CASE-2013-RoyerBTT #assessment #behaviour #energy #modelling #multi #simulation #using: Modelling of a multi-zone building and assessment of its thermal behaviour using an energy simulation software (SR, MB, ST, TT), pp. 735–740.
CASE-2013-DingLZC #physics #simulation: Emergency evacuation simulation in staircases considering evacuees’ physical and psychological status (ND, PBL, HZ, TC), pp. 741–746.
CASE-2013-GaoLZC #social: A modified social force model considering relative velocity of pedestrians (YG, PBL, HZ, TC), pp. 747–751.
CASE-2013-LiSZL #assessment #automation #difference #quality #simulation: Sensor data quality assessment for building simulation model calibration based on automatic differentiation (SL, ZS, MZ, YL), pp. 752–757.
CASE-2013-Holzmuller-LaueGT #automation #modelling #workflow: Model-driven complex workflow automation for laboratories (SHL, BG, KT), pp. 758–763.
CASE-2013-ZhuGX #scheduling: MDP-based appointment scheduling for one examination of two types of outpatients (LZ, NG, XX), pp. 764–769.
CASE-2013-ChenZAX #analysis #finite: Analysis of production completion time in Bernoulli serial lines with finite buffers (GC, LZ, JA, GX), pp. 770–775.
CASE-2013-AravamudhanML #estimation: “Network-theoretic” queuing delay estimation in theme park attractions (ASA, AM, HCL), pp. 776–782.
CASE-2013-JuLXA #evaluation #identification #performance #quality: Integrated model of productivity and quality in serial production lines with repairs: Performance evaluation and bottleneck identification (FJ, JL, GX, JA), pp. 783–788.
CASE-2013-BrownB #process: A queuing model for systems with rework and process downtime (AJB, FB), pp. 789–794.
CASE-2013-FerreiraR #comparison #design #layout #performance #simulation #using: Performance comparison of the virtual cell layout with cellular and job shop configurations using simulation and design of experiments (JCEF, PAR), pp. 795–800.
CASE-2013-Xu #robust: New robust position and force regulation for a compliant microgripper (QX), pp. 801–806.
CASE-2013-MarturiDP #image #performance #using: Fast image drift compensation in scanning electron microscope using image registration (NM, SD, NP), pp. 807–812.
CASE-2013-Geldmann #image #monte carlo #simulation #using: Fine registration of SEM and AFM images using Monte Carlo simulations (CG), pp. 813–818.
CASE-2013-YuLYS: Electrophoresis-based motion planning and control of a nanowire in fluid suspension (KY, XL, JY, JS), pp. 819–824.
CASE-2013-ZhangH #algorithm #analysis #convergence #coordination #implementation #optimisation #parallel: Convergence analysis and parallel computing implementation for the multiagent coordination optimization algorithm with applications (HZ, QH), pp. 825–830.
CASE-2013-LaSC #mobile #network: Cooperative and active sensing in mobile sensor networks for scalar field mapping (HML, WS, JC), pp. 831–836.
CASE-2013-NourzadehM13a #constraints: Integrated planning of constraint sensor management and patrolling (HN, JEM), pp. 837–843.
CASE-2013-VallamSNNN #locality #network: Topologies of stable strategic networks with localized payoffs (RDV, CAS, YN, RN, SN), pp. 844–849.
CASE-2013-CuiVM #adaptation #architecture #embedded #named #self: ReFrESH: A self-adaptive architecture for autonomous embedded systems (YC, RMV, MHM), pp. 850–855.
CASE-2013-JinM #algorithm #clustering #constraints #scheduling #tool support: Transient scheduling of single armed cluster tools: Algorithms for wafer residency constraints (HYJ, JRM), pp. 856–861.
CASE-2013-ZhuWQZ #clustering #modelling #multi #petri net #scheduling #tool support: Petri net modeling and one-wafer scheduling of single-arm multi-cluster tools (QZ, NW, YQ, MZ), pp. 862–867.
CASE-2013-QiaoWZ #clustering #scheduling #tool support: Scheduling of time constrained dual-arm cluster tools with wafer revisiting (YQ, NW, MZ), pp. 868–873.
CASE-2013-KimLK #clustering #scheduling #tool support: Optimal scheduling of transient cycles for single-armed cluster tools (DKK, TEL, HJK), pp. 874–879.
CASE-2013-ChuS #deployment #estimation #optimisation: Optimization of probe vehicle deployment for traffic status estimation (KCC, KS), pp. 880–885.
CASE-2013-Lajunen #energy: Energy-optimal velocity profiles for electric city buses (AL), pp. 886–891.
CASE-2013-DotoliEFPST #network #realtime: A real time traffic management model for regional railway networks under disturbances (MD, NE, MF, AP, FS, BT), pp. 892–897.
CASE-2013-ShenWWW #modelling #optimisation: Application of vector ordinal optimization to the transportation systems with agent based modelling (ZS, KW, FYW, KW), pp. 898–903.
CASE-2013-YeWZML #approach #network #optimisation #predict #scalability: A signal split optimization approach based on model predictive control for large-scale urban traffic networks (BLY, WW, XZ, WJM, JL), pp. 904–909.
CASE-2013-DanancherLLF #multi: A Discrete event model for multiple inhabitants location tracking (MD, JJL, LL, GF), pp. 910–915.
CASE-2013-PerinF #automation #modelling: Comparing detailed and abstract timed models of automated discrete manufacturing systems (MP, JMF), pp. 916–923.
CASE-2013-PanHJ #concurrent #flexibility #petri net #policy #using: One computationally improved deadlock prevention policy for flexible manufacturing systems using Petri nets (YLP, HH, MJ), pp. 924–929.
CASE-2013-MohajeraniMF #automaton #composition #finite #using #verification: Compositional nonblocking verification for extended finite-state automata using partial unfolding (SM, RM, MF), pp. 930–935.
CASE-2013-IordacheWZA #design #performance #petri net #specification: Efficient design of Petri-net supervisors with disjunctive specifications (MVI, PW, FZ, PJA), pp. 936–941.
CASE-2013-OkumaEHK #novel: A novel nonlinear compensator based on digital acceleration control (MO, TE, YH, YK), pp. 942–947.
CASE-2013-NammotoKH #assembly #modelling #using: Model-based compliant motion control scheme for assembly tasks using vision and force information (TN, KK, KH), pp. 948–953.
CASE-2013-SaricXS #assembly: Robotic surface assembly via contact state transitions (AS, JX, JS), pp. 954–959.
CASE-2013-MilneBPCHGP #feedback: Robotic arm kinematics and bilateral haptic feedback over an ethernet communications link (BM, GB, SP, XC, CEH, AG, RP), pp. 960–965.
CASE-2013-SaidiM #analysis #configuration management #development #self: Analysis and development of self-reconfigurable open kinematic machinery systems (RAS, BPM), pp. 966–971.
CASE-2013-SunSS #optimisation #scheduling: Integrated operating room scheduling optimization under particularly workload constrain of surgeon (BS, JS, LS), pp. 972–977.
CASE-2013-XieLSD #analysis #approach #markov #modelling #process: Modeling and analysis of hospital inpatient rescue process: A Markov chain approach (XX, JL, CHS, YD), pp. 978–983.
CASE-2013-TanTL #policy #resource management: Improving patient length-of-stay in emergency department through dynamic resource allocation policies (KWT, WHT, HCL), pp. 984–989.
CASE-2013-ShaoLW #approach #markov: A Markov chain approach to study flow disruptions on surgery in emergency care (XS, JL, DAW), pp. 990–995.
CASE-2013-IsmailH #3d #anti #higher-order #using: Trajectory tracking and anti-sway control of three-dimensional offshore boom cranes using second-order sliding modes (RMTRI, QPH), pp. 996–1001.
CASE-2013-RoyNSR #case study #comparative #robust: Robust position control of an autonomous underwater vehicle: A comparative study (SR, SN, SNS, RR), pp. 1002–1007.
CASE-2013-ChenTSPSSN #design #optimisation: Optimization processing unit (OPU) applied to integrated circuit design and manufacturing (DCLC, JTT, DBS, SWP, MHS, KTS, PN), pp. 1008–1015.
CASE-2013-SeoYK #assembly #composition: Assembly planning for planar structures of a brick wall pattern with rectangular modular robots (JS, MY, VK), pp. 1016–1021.
CASE-2013-JiaJL #algorithm #scheduling: A job-family-oriented algorithm for re-entrant batch processing machine scheduling (WJ, ZJ, YL), pp. 1022–1027.
CASE-2013-LiX #adaptation #learning: Off-line learning based adaptive dispatching rule for semiconductor wafer fabrication facility (LL, HX), pp. 1028–1033.
CASE-2013-ZhengC #enterprise #industrial: Master production schedule and system for excelling enterprise resources (SEER) in the LED industry (JNZ, CFC), pp. 1034–1039.
CASE-2013-SehestedtPRL #3d #maintenance #performance: Prior-knowledge assisted fast 3D map building of structured environments for steel bridge maintenance (SS, GP, DRS, DL), pp. 1040–1046.
CASE-2013-LuSLL #automation #bibliography #recognition: Automatic recognition of spurious surface in building exterior survey (YL, DS, HL, JL), pp. 1047–1052.
CASE-2013-LaLBGYMRP #evaluation: Autonomous robotic system for high-efficiency non-destructive bridge deck inspection and evaluation (HML, RSL, BB, NG, JY, AM, FAR, HP), pp. 1053–1058.
CASE-2013-ChoJKMKC: Caterpillar-based cable climbing robot for inspection of suspension bridge hanger rope (KHC, YHJ, HMK, HM, JK, HRC), pp. 1059–1062.
CASE-2013-LiuTYG #modelling: Modeling of pure percussive drilling for autonomous robotic bridge decks rehabilitation (FL, MT, JY, NG), pp. 1063–1068.
CASE-2013-MartinezA #design: Optimal switched-type control design for a class of nonlinear systems (JCM, VA), pp. 1069–1074.
CASE-2013-Markovski #analysis #synthesis: Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems (JM), pp. 1075–1082.
CASE-2013-ChenK #distributed #probability: Decentralized failure diagnosis of stochastic discrete event systems (JC, RK), pp. 1083–1088.
CASE-2013-LiK #automation #generative #novel #reachability #reduction #testing: Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution (ML, RK), pp. 1089–1094.
CASE-2013-YueH #concurrent #robust #using: Robust deadlock control using shared-resources for production systems with unreliable workstations (HY, HH), pp. 1095–1100.
CASE-2013-DingHMS #behaviour #collaboration #industrial: Structured collaborative behavior of industrial robots in mixed human-robot environments (HD, JH, BM, HS), pp. 1101–1106.
CASE-2013-ChoiZFWT #industrial #requirements: Applications and requirements of industrial robots in meat processing (SC, GZ, TAF, TW, RT), pp. 1107–1112.
CASE-2013-KernschmidtV #approach #modelling: An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering (KK, BVH), pp. 1113–1118.
CASE-2013-RossanoMHMF #concept #industrial #perspective #programming: Easy robot programming concepts: An industrial perspective (GFR, CM, MH, SM, TAF), pp. 1119–1126.
CASE-2013-Nieves-RiveraXJMZ #automation #development: Development of a position sensitive device and control method for automated robot calibration (ENR, NX, YJ, CM, GZ), pp. 1127–1132.
CASE-2013-WuCY #analysis #policy #reachability: A control policy for γ-nets without reachability analysis and siphon enumeration (WW, DYC, FY), pp. 1133–1138.
CASE-2013-HuZL #automation #performance #petri net #synthesis #using: Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets (HH, MZ, YL), pp. 1139–1144.
CASE-2013-HuZL13a #automation #distributed #petri net #scalability: Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets (HH, MZ, YL), pp. 1145–1150.
CASE-2013-YueH13a #assembly #concurrent #petri net #policy #polynomial #process: A polynomial deadlock avoidance policy for a class of assembly processes based on Petri nets (HY, HH), pp. 1151–1156.

Proceedings of the Ninth International Conference on Automation Science and EngineeringCASE, 2013.

Contents (191 items)

Proceedings of the Ninth International Conference on Automation Science and Engineering
CASE, 2013.