Proceedings of the Fifth International Conference on Automation Science and Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter


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

SYS
DBLP
Scholar
Full names Links ISxN
@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, ), 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.