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

Proceedings of the Fifth International Conference on Automation Science and Engineering
CASE, 2009.

SYS

@proceedings{CASE-2009,
	address       = "Bangalore, India",
	isbn          = "978-1-4244-4578-3",
	publisher     = "{IEEE}",
	title         = "{Proceedings of the Fifth International Conference on Automation Science and Engineering}",
	year          = 2009,
}

Contents (111 items)

CASE-2009-AllenGT #logic #nondeterminism #verification: Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers (LVA, KMG, DMT), pp. 1–6.
CASE-2009-TrckaAS #workflow: Workflow completion patterns (NT, WMPvdA, NS), pp. 7–12.
CASE-2009-WangLABH #flexibility #quality: Monotonic and non-monotonic properties of product quality in flexible manufacturing systems with batch operations (JW, JL, JA, SB, NH), pp. 13–18.
CASE-2009-DayamaJ #multi: Multi-strategy supplier selection for commodity sourcing (PSD, BJ), pp. 19–24.
CASE-2009-BermanK #abstraction #algorithm #assembly #scalability: Abstractions and algorithms for assembly tasks with large numbers of robots and parts (SB, VK), pp. 25–28.
CASE-2009-MitraS #automaton #composition #hybrid: Hybrid Input Output Automata for composable conveyor systems (SM, SS), p. 29.
CASE-2009-VazquezS #markov #modelling #performance #petri net: Performance control of Markovian Petri nets via fluid models: A stock-level control example (CRV, MS), pp. 30–36.
CASE-2009-WangLNRKML #concurrent #parallel #source code #thread: Maximally permissive deadlock avoidance for multithreaded computer programs (YW, HL, AN, SAR, TK, SAM, SL), pp. 37–41.
CASE-2009-DotoliFMU #fault #framework #online #petri net: On-line fault diagnosis in a Petri Net framework (MD, MPF, AMM, WU), pp. 42–47.
CASE-2009-BasileCG #petri net: A control oriented model of generalized warehouses based on Colored Timed Petri Nets (FB, PC, DDG), pp. 48–53.
CASE-2009-ViswanadhamR #network: Globally integrated manufacturing service networks (NV, NR), pp. 54–58.
CASE-2009-SenGupta: Extended abstract — bringing science to the art of workforce management in service industries (SS), pp. 59–64.
CASE-2009-PattanaikC #approach #ecosystem: Services innovation — digital ecosystem approach to dissemination and co-creation of knowledge for Indian Agriculture Extension Services (DP, JC), pp. 65–70.
CASE-2009-AkellaXBC #automation #integration #modelling: Knowledge sciences in services automation: Integration models and perspectives for service centers (RA, ZX, JB, KLCE), pp. 71–78.
CASE-2009-SriramL #automation #standard: The role of standards in healthcare automation (RDS, BL), pp. 79–82.
CASE-2009-Subrahmanian #automation #empirical #workflow: Empirical studies of workflow automation in physician offices in the United States (ES), pp. 83–87.
CASE-2009-Ray #lessons learnt #standard: Healthcare interoperability — lessons learned from the manufacturing standards sector (SRR), pp. 88–89.
CASE-2009-ChouguleC #assembly #ontology: Application of ontology guided search for improved equipment diagnosis in a vehicle assembly plant (RC, SC), pp. 90–95.
CASE-2009-SankavaramPKPAKP #data-driven #modelling: Model-based and data-driven prognosis of automotive and electronic systems (CS, BRP, AK, KRP, MA, SK, MGP), pp. 96–101.
CASE-2009-ChengP #predict: A fusion prognostics method for remaining useful life prediction of electronic products (SC, MGP), pp. 102–107.
CASE-2009-LyTBPV #fault #perspective: Fault diagnosis and failure prognosis for engineering systems: A global perspective (CL, KT, CSB, RP, GJV), pp. 108–115.
CASE-2009-FagioliniMB #distributed: Set-valued consensus for distributed clock synchronization (AF, SM, AB), pp. 116–121.
CASE-2009-RamakrishnanR #analysis #linear: Delay-dependent stability analysis of linear system with additive time-varying delays (KR, GR), pp. 122–126.
CASE-2009-XuK #nondeterminism: Discrete event control under nondeterministic partial observation (SX, RK), pp. 127–132.
CASE-2009-CaldwellM #estimation #higher-order: Second-order optimal estimation of slip state for a simple slip-steered vehicle (TMC, TDM), pp. 133–139.
CASE-2009-KumarB #multi: Multi-agent model for threshold constrained portfolio selection (RK, SB), pp. 140–145.
CASE-2009-SinghKP #fault #markov #multi: A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults (SS, AK, KRP), pp. 146–151.
CASE-2009-NaveenRR #algorithm #difference #evolution #network #search-based #using: Rule extraction from differential evolution trained radial basis function network using genetic algorithms (NN, VR, CRR), pp. 152–157.
CASE-2009-ChakiC #approach #automation #fuzzy #multi #using: An Automatic decission support system for medical instrument suppliers using fuzzy multifactor based approach (AC, TC), pp. 158–163.
CASE-2009-AlenljungL #graph #using #verification: Formal verification of PLC controlled systems using Sensor Graphs (TA, BL), pp. 164–170.
CASE-2009-BalajiGK #case study #using: Selection of a machine tool for FMS using ELECTRE III — a case study (CMB, AG, RK), pp. 171–176.
CASE-2009-KhawP #assembly #multi #optimisation #problem: Multi-rule multi-objective Ant Colony Optimization for straight and U-type assembly line balancing problem (CLEK, SGP), pp. 177–182.
CASE-2009-BengtssonLYFB #development #logic #specification: Operation-oriented specification for integrated control logic development (KB, BL, CY, PF, SB), pp. 183–190.
CASE-2009-AnderssonLFF #generative: Generation of restart states for manufacturing systems with discarded workpieces (KA, BL, PF, MF), pp. 191–196.
CASE-2009-MakkapatiN #detection: Clump splitting based on detection of dominant points from contours (VM, SKN), pp. 197–201.
CASE-2009-CappelleriHSKEK #automation #towards: Towards fully automated phototransfection (DJC, ÁMH, JYS, TKK, JE, VK), pp. 202–207.
CASE-2009-Makkapati #segmentation #using: Improved wavelet-based microscope autofocusing for blood smears by using segmentation (VM), pp. 208–211.
CASE-2009-SaketiKNVK #automation #composition: Automated modular bacterial filtering system with embeddable microfluidic chips (PS, JMK, KN, LV, PJK), pp. 212–216.
CASE-2009-MakkapatiAA #classification #image #segmentation: Segmentation and classification of tuberculosis bacilli from ZN-stained sputum smear images (VM, RA, RA), pp. 217–220.
CASE-2009-BukkapatnamMKSK #monitoring #realtime #using: Real-time monitoring of container stability loss using wireless vibration sensor tags (STSB, SM, JK, VS, RK), pp. 221–226.
CASE-2009-ChavanZK #authentication #protocol: A server centric authentication protocol for a RFID system (KPC, AZ, SK), pp. 227–232.
CASE-2009-MysoreNUMR #algorithm #performance: An efficient algorithm for RFID reader positioning for coverage of irregularly-shaped areas (NM, PN, RSU, RM, SR), pp. 233–240.
CASE-2009-ChengP09a: Experimental investigation of EMI on RFID in manufacturing facilities (CYC, VP), pp. 241–245.
CASE-2009-KamarthiZB #health: Assessement of current health of hard disk drives (SK, AZ, YB), pp. 246–249.
CASE-2009-WangLCM #optimisation #performance #social: Efficient optimization of building emergency evacuation considering social bond of evacuees (PW, PBL, SCC, KLM), pp. 250–255.
CASE-2009-ParasuramanOG #development: Development of robot assisted stroke rehabilitation system of human upper limb (SP, AWO, VG), pp. 256–261.
CASE-2009-PandeyA #process #towards: Towards a sociable robot guide which respects and supports the human activity (AKP, RA), pp. 262–267.
CASE-2009-GaoKJD #automation #modelling #simulation: Semi-automated soft-tissue acquisition and modeling for surgical simulation (ZG, TK, DLJ, JPD), pp. 268–273.
CASE-2009-JohnsonM #animation #automation #optimisation #synthesis #using: Automated trajectory synthesis from animation data using trajectory optimization (ERJ, TDM), pp. 274–279.
CASE-2009-LiQW #parallel #scheduling: ACO-based scheduling of parallel batch processing machines to minimize the total weighted tardiness (LL, FQ, QW), pp. 280–285.
CASE-2009-LeCS #approach #assembly: A path planning approach to (dis)assembly sequencing (DTL, JC, TS), pp. 286–291.
CASE-2009-ZiedSN #maintenance #probability #random: An optimal production/maintenance planning under stochastic random demand, service level and failure rate (ZH, SD, NR), pp. 292–297.
CASE-2009-GirishJ #algorithm #flexibility #optimisation #problem #scheduling: A particle swarm optimization algorithm for flexible job shop scheduling problem (BSG, NJ), pp. 298–303.
CASE-2009-YungPY #flexibility #multi #scheduling: Multi-objective ACO for integrated scheduling of machines and material handling equipment in flexible manufacturing systems (TWY, SGP, MY), pp. 304–309.
CASE-2009-KarnikTS #capacity #modelling #nondeterminism #robust: Robust models for manufacturing capacity planning under demand uncertainty (AK, CST, AS), pp. 310–315.
CASE-2009-ParkPSR #adaptation: Decision support for optimal adaptation of product and supply chain systems based on real options theory (CHP, LP, KS, HER), pp. 316–321.
CASE-2009-Srinidhi #development: Development of an airline traffic forecasting model on international sectors (SS), pp. 322–327.
CASE-2009-SinghR #behaviour #problem: The Potluck Problem with consumers’ choice behavior (NS, SR), pp. 328–333.
CASE-2009-FranceschelliGS #distributed #fault #network: Decentralized fault diagnosis for sensor networks (MF, AG, CS), pp. 334–339.
CASE-2009-AnandMT #automation #evaluation #network #performance: Performance evaluation of wireless networks for factory automation applications (DMA, JRM, DMT), pp. 340–346.
CASE-2009-BeraN #using: A Simple instrumentation calibration technique for Electrical Impedance Tomography (EIT) using a 16-electrode phantom (TKB, JN), pp. 347–352.
CASE-2009-GhoshR #design #network: Sensor network design for smart highways (SG, SR), pp. 353–360.
CASE-2009-SenguptaDBMD #detection #fault #modelling #using: Fault detection of Air Intake Systems of SI gasoline engines using mean value and within cycle models (SS, SD, AKB, SM, AKD), pp. 361–366.
CASE-2009-SubburajRA #3d #automation #geometry #reasoning: Automated 3D geometric reasoning in Computer Assisted joint reconstructive surgery (KS, BR, MA), pp. 367–372.
CASE-2009-RoyBCC: HIV model with intracellular delay — a mathematical study (PKR, NB, JC, BC), pp. 373–378.
CASE-2009-MendezTRR #automation #modelling: Model-based controller for anesthesia automation (JAM, ST, JAR, HR), pp. 379–384.
CASE-2009-TruongLD #automation #multi: Proactive remote healthcare based on multimedia and home automation services (TBTT, FFdL, JPD), pp. 385–390.
CASE-2009-GengAXJ: MRI reservation for neurovascular patients (NG, VA, XX, ZJ), pp. 391–396.
CASE-2009-PintoKX #embedded #network #synthesis: Synthesis of wireless time-triggered embedded networks for networked control systems (AP, RK, SX), pp. 397–402.
CASE-2009-GoswamiSBC: A DECOMSYS based tool-chain for analyzing FlexRay based automotive control applications (DG, PS, UDB, SC), pp. 403–408.
CASE-2009-DInnocenzoWAIJP #algorithm #scalability #scheduling: Scalable scheduling algorithms for wireless networked control systems (AD, GW, RA, AJI, KHJ, GJP), pp. 409–414.
CASE-2009-VoronovA #model checking #process #using #verification: Verification of process operations using model checking (AV, KÅ), pp. 415–420.
CASE-2009-WuCLZCH: Advanced studies of selection schemes for dual virtual-metrology outputs (WMW, FTC, THL, DLZ, JFC, MHH), pp. 421–426.
CASE-2009-FanL #effectiveness #ranking: A Bayesian Ranking Scheme for supporting cost-effective yield diagnosis services (CMF, YPL), pp. 427–432.
CASE-2009-SuCFTJKL #approach #identification #information management #novel #ontology: A novel ontology-based knowledge engineering approach for yield symptom identification in semiconductor manufacturing (FHS, SCC, CMF, YJT, JJ, CPK, CYL), pp. 433–438.
CASE-2009-ChenHB: Optimum sampling for track PEB CD Integrated Metrology (AC, SH, JB), pp. 439–442.
CASE-2009-HariharanB #markov #process #using: Misplaced item search in a warehouse using an RFID-based Partially Observable Markov Decision Process (POMDP) model (SH, STSB), pp. 443–448.
CASE-2009-RoyKHM #throughput: Impact of zones on throughput and cycle times in warehouses with Autonomous Vehicles (DR, AK, SSH, CJM), pp. 449–454.
CASE-2009-HeraguCKM #analysis #network #retrieval: Analysis of autonomous vehicle storage and retrieval system by open queueing network (SSH, XC, AK, CJM), pp. 455–459.
CASE-2009-LiZF #analysis: Analysis of two-loop closed production systems (NL, LZ, WF), pp. 460–465.
CASE-2009-FiorentiniSRS #standard #towards: Towards a method for harmonizing information standards (XF, RS, SR, RDS), pp. 466–471.
CASE-2009-SudarsanSS #industrial #metric #standard: Metrics, standards and industry best practices for sustainable manufacturing systems (RS, RDS, PS), pp. 472–477.
CASE-2009-Srinivasan #communication: Sustaining manufacturing assets through smarter utilization of information and communication technologies (VS), pp. 478–482.
CASE-2009-WuS #heuristic #multi #problem: A new heuristic method for capacitated multi-level lot sizing problem with backlogging (TW, LS), pp. 483–488.
CASE-2009-BijulalVH #metric #simulation: Stability considerations and service level measures in production — inventory systems: a simulation study (DB, JV, NH), pp. 489–494.
CASE-2009-MonchZ #case study #experience #prototype #state of the art #web #web service: Providing production planning and control functionality by web services: State of the art and experiences with prototypes (LM, JZ), pp. 495–500.
CASE-2009-ViswanadhamK #network #process: Orchestrating a network of activities in the value chain (NV, SK), pp. 501–506.
CASE-2009-BiradarM #approach #multi #reliability: Reliable ring based multicast routing scheme in MANET: An agent based approach (RCB, SSM), pp. 507–512.
CASE-2009-DotoliFMSU #analysis #petri net: The impact of ICT on an Intermodal Transportation System: an analysis by Petri Nets (MD, MPF, AMM, GS, WU), pp. 513–518.
CASE-2009-SathiR #automation #generative: STEP to DMIS: Automated generation of inspection plans from CAD data (SVBS, PVMR), pp. 519–524.
CASE-2009-LeeB #architecture #composition #nondeterminism #petri net: A modular petri net based architecture to model manufacturing systems exhibiting resource and timing uncertainties (HL, AB), pp. 525–530.
CASE-2009-ArcherSRR #automation #embedded #profiling: Profiling primitives of networked embedded automation (BA, SS, AR, RR), pp. 531–536.
CASE-2009-TanDZKA #collaboration #design #development #safety: Safety design and development of human-robot collaboration in cellular manufacturing (JTCT, FD, YZ, RK, TA), pp. 537–542.
CASE-2009-WuCCW #heuristic #problem: Heuristic for lane reservation problem in time constrained transportation (YW, CC, FC, NW), pp. 543–548.
CASE-2009-ChiddarwarB #coordination #multi: Dynamic priority allocation for conflict free coordinated manipulation of multiple agents (SSC, NRB), pp. 549–554.
CASE-2009-DSouzaGRS #realtime: Supervisory control for real-time systems based on conflict-tolerant controllers (DD, MG, SR, PS), pp. 555–560.
CASE-2009-Morrison #clustering #modelling #process #tool support: Regular flow line models for semiconductor cluster tools: A case of lot dependent process times (JRM), pp. 561–566.
CASE-2009-WuCCZ #approach #clustering #novel #scheduling #tool support: A novel approach to scheduling of single-arm cluster tools with wafer revisiting (NW, FC, CC, MZ), pp. 567–572.
CASE-2009-WichESF #assembly #automation: Micro-nano-integration based on automated serial assembly (TW, CE, CS, SF), pp. 573–578.
CASE-2009-YuanZ #using: Micro-mixing of highly viscous bio-samples using orbital shaking (LY, YFZ), pp. 579–584.
CASE-2009-RakotondrabeR #metric: Presentation and improvement of an AFM-based system for the measurement of adhesion forces (MR, PR), pp. 585–590.
CASE-2009-SolisT #comprehension #learning #towards: Towards enhancing the understanding of human motor learning (JS, AT), pp. 591–596.
CASE-2009-HuangL #approach #assessment #effectiveness #multi: A multi-disciplinary approach for effective hand rehabilitation with clinical-based assessment outcomes (YYH, KHL), pp. 597–603.
CASE-2009-KumarWKSS #analysis #fuzzy #predict #using #variability: A fuzzy filtering based system for maximal oxygen uptake prediction using heart rate variability analysis (MK, MW, SK, NS, RS), pp. 604–608.
CASE-2009-MattosC #performance #precise #visual notation: A fast and precise micropipette positioning system based on continuous camera-robot recalibration and visual servoing (LSM, DGC), pp. 609–614.
CASE-2009-BorgstromJBSK: Field-tests of a redundantly actuated cable-driven robot for environmental sampling applications (PHB, BLJ, MAB, GSS, WJK), pp. 615–620.
CASE-2009-GargM #agile #algorithm #clustering #named #using: RACK: RApid clustering using K-means algorithm (VKG, MNM), pp. 621–626.
CASE-2009-BountourelisR #algorithm #learning: Customized learning algorithms for episodic tasks with acyclic state spaces (TB, SR), pp. 627–634.
CASE-2009-BahugunaRK #locality #multi: MDP based active localization for multiple robots (JB, BR, KMK), pp. 635–640.
CASE-2009-RamanathanRR #traceability: Achieving “handoff” traceability of complex system improvement (JR, RR, SR), pp. 641–646.
CASE-2009-VeilumuthuR #clustering #query: Intent based clustering of search engine query log (AV, PR), pp. 647–652.

Proceedings of the Fifth International Conference on Automation Science and EngineeringCASE, 2009.

Contents (111 items)

Proceedings of the Fifth International Conference on Automation Science and Engineering
CASE, 2009.