CASE 2009: Bangalore, India

• Lindsay V. Allen, Kiah Mok Goh, Dawn M. Tilbury:
  Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllers. 1-6
  
• Nikola Trcka, Wil M. P. van der Aalst, Natalia Sidorova:
  Workflow completion patterns. 7-12
  
• Junwen Wang, Jingshan Li, Jorge Arinez, Stephan Biller, Ningjian Huang:
  Monotonic and non-monotonic properties of product quality in flexible manufacturing systems with batch operations. 13-18
  
• Pankaj S. Dayama, Balaji Jidugu:
  Multi-strategy supplier selection for commodity sourcing. 19-24
  
• Spring Berman, Vijay Kumar:
  Abstractions and algorithms for assembly tasks with large numbers of robots and parts. 25-28
  
• Sayan Mitra, Shivakumar Sastry:
  Hybrid Input Output Automata for composable conveyor systems. 29
  
• Carlos Renato Vázquez, Manuel Silva:
  Performance control of Markovian Petri nets via fluid models: A stock-level control example. 30-36
  
• Yin Wang, Hongwei Liao, Ahmed Nazeem, Spyros A. Reveliotis, Terence Kelly, Scott A. Mahlke, Stéphane Lafortune:
  Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract). 37-41
  
• Mariagrazia Dotoli, Maria Pia Fanti, Agostino Marcello Mangini, Walter Ukovich:
  On-line fault diagnosis in a Petri Net framework. 42-47
  
• Francesco Basile, Pasquale Chiacchio, Domenico Del Grosso:
  A control oriented model of generalized warehouses based on Colored Timed Petri Nets. 48-53
  
• Nukala Viswanadham, Nithya Rajamani:
  Globally integrated manufacturing service networks. 54-58
  
• Siddhartha SenGupta:
  Extended abstract - bringing science to the art of workforce management in service industries. 59-64
  
• Debashis Pattanaik, Jayanta Chatterjee:
  Services innovation - digital ecosystem approach to dissemination and co-creation of knowledge for Indian Agriculture Extension Services. 65-70
  
• Ram Akella, Zuobing Xu, Joel Barajas, Karla L. Caballero:
  Knowledge sciences in services automation: Integration models and perspectives for service centers. 71-78
  
• Ram D. Sriram, B. Lide:
  The role of standards in healthcare automation (Extended abstract). 79-82
  
• Eswaran Subrahmanian:
  Empirical studies of workflow automation in physician offices in the United States. 83-87
  
• Steven R. Ray:
  Healthcare interoperability - lessons learned from the manufacturing standards sector. 88-89
  
• Rahul Chougule, Sugato Chakrabarty:
  Application of ontology guided search for improved equipment diagnosis in a vehicle assembly plant. 90-95
  
• Chaitanya Sankavaram, Bharath R. Pattipati, Anuradha Kodali, Krishna R. Pattipati, Mohammad Azam, Sachin Kumar, Michael Pecht:
  Model-based and data-driven prognosis of automotive and electronic systems. 96-101
  
• Shunfeng Cheng, Michael Pecht:
  A fusion prognostics method for remaining useful life prediction of electronic products. 102-107
  
• Canh Ly, Kwok Tom, Carl S. Byington, Romano Patrick, George J. Vachtsevanos:
  Fault diagnosis and failure prognosis for engineering systems: A global perspective. 108-115
  
• Adriano Fagiolini, Simone Martini, Antonio Bicchi:
  Set-valued consensus for distributed clock synchronization. 116-121
  
• Krishnan Ramakrishnan, Goshaidas Ray:
  Delay-dependent stability analysis of linear system with additive time-varying delays. 122-126
  
• Songyan Xu, Ratnesh Kumar:
  Discrete event control under nondeterministic partial observation. 127-132
  
• Timothy M. Caldwell, Todd D. Murphey:
  Second-order optimal estimation of slip state for a simple slip-steered vehicle. 133-139
  
• Ritesh Kumar, Subir Bhattacharya:
  Multi-agent model for threshold constrained portfolio selection. 140-145
  
• Satnam Singh, Anuradha Kodali, Krishna R. Pattipati:
  A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faults. 146-151
  
• Nekuri Naveen, Vadlamani Ravi, C. Raghavendra Rao:
  Rule extraction from differential evolution trained radial basis function network using genetic algorithms. 152-157
  
• Ayan Chaki, Tanushyam Chattopadhyay:
  An Automatic decission support system for medical instrument suppliers using fuzzy multifactor based approach. 158-163
  
• Tord Alenljung, Bengt Lennartson:
  Formal verification of PLC controlled systems using Sensor Graphs. 164-170
  
• C. Mohan Balaji, Anand Gurumurthy, Rambabu Kodali:
  Selection of a machine tool for FMS using ELECTRE III - a case study. 171-176
  
• Christopher L. E. Khaw, Sivalinga Govindarajan Ponnambalam:
  Multi-rule multi-objective Ant Colony Optimization for straight and U-type assembly line balancing problem. 177-182
  
• Kristofer Bengtsson, Bengt Lennartson, Chengyin Yuan, Petter Falkman, Stephan Biller:
  Operation-oriented specification for integrated control logic development. 183-190
  
• Kristin Andersson, Bengt Lennartson, Petter Falkman, Martin Fabian:
  Generation of restart states for manufacturing systems with discarded workpieces. 191-196
  
• Vishnu Makkapati, Sarif K. Naik:
  Clump splitting based on detection of dominant points from contours. 197-201
  
• David J. Cappelleri, Ádám M. Halász, Jai-Yoon Sul, Tae Kyung Kim, James Eberwine, Vijay Kumar:
  Towards fully automated phototransfection. 202-207
  
• Vishnu Makkapati:
  Improved wavelet-based microscope autofocusing for blood smears by using segmentation. 208-211
  
• Pooya Saketi, Joose Kreutzer, Katja Niemelä, Lasse Välimaa, Pasi Johannes Kallio:
  Automated modular bacterial filtering system with embeddable microfluidic chips. 212-216
  
• Vishnu Makkapati, Ravindra Agrawal, Raviraja Acharya:
  Segmentation and classification of tuberculosis bacilli from ZN-stained sputum smear images. 217-220
  
• Satish T. S. Bukkapatnam, Srinivas Mukkamala, Jakkrit Kunthong, Venkatesh Sarangan, Ranga Komanduri:
  Real-time monitoring of container stability loss using wireless vibration sensor tags. 221-226
  
• Kaushik P. Chavan, Abe Zeid, Sagar Kamarthi:
  A server centric authentication protocol for a RFID system. 227-232
  
• Nandakumar Mysore, Prakash Nenavat, Rasmi S. Unnithan, Ravi Mulukutla, Shrisha Rao:
  An efficient algorithm for RFID reader positioning for coverage of irregularly-shaped areas. 233-240
  
• Chen-Yang Cheng, Vittal Prabhu:
  Experimental investigation of EMI on RFID in manufacturing facilities. 241-245
  
• Sagar Kamarthi, Abe Zeid, Yogesh Bagul:
  Assessement of current health of hard disk drives. 246-249
  
• Peng Wang, Peter B. Luh, Shi-Chung Chang, Kerry L. Marsh:
  Efficient optimization of building emergency evacuation considering social bond of evacuees. 250-255
  
• Subramaniam Parasuraman, Arif Wicaksono Oyong, Veleppa Ganapathy:
  Development of robot assisted stroke rehabilitation system of human upper limb. 256-261
  
• Amit Kumar Pandey, Rachid Alami:
  Towards a sociable robot guide which respects and supports the human activity. 262-267
  
• Zhan Gao, Theodore Kim, Doug L. James, Jaydev P. Desai:
  Semi-automated soft-tissue acquisition and modeling for surgical simulation. 268-273
  
• Elliot R. Johnson, Todd D. Murphey:
  Automated trajectory synthesis from animation data using trajectory optimization. 274-279
  
• Li Li, Fei Qiao, Qidi Wu:
  ACO-based scheduling of parallel batch processing machines to minimize the total weighted tardiness. 280-285
  
• Duc Thanh Le, Juan Cortés, Thierry Siméon:
  A path planning approach to (dis)assembly sequencing. 286-291
  
• Hajjej Zied, Dellagi Sofiène, Rezg Nidhal:
  An optimal production/maintenance planning under stochastic random demand, service level and failure rate. 292-297
  
• B. S. Girish, Natarajan Jawahar:
  A particle swarm optimization algorithm for flexible job shop scheduling problem. 298-303
  
• Tan Wei Yung, Sivalinga Govindarajan Ponnambalam, M. Yogeswaran:
  Multi-objective ACO for integrated scheduling of machines and material handling equipment in flexible manufacturing systems. 304-309
  
• Aditya Karnik, Chandrashekar S. Tallichetty, Atul Saroop:
  Robust models for manufacturing capacity planning under demand uncertainty. 310-315
  
• Chong Hyun Park, Lalit Patil, Kazuhiro Saitou, Edwin Romeijn:
  Decision support for optimal adaptation of product and supply chain systems based on real options theory. 316-321
  
• S. Srinidhi:
  Development of an airline traffic forecasting model on international sectors. 322-327
  
• Nidhi Singh, Shrisha Rao:
  The Potluck Problem with consumers' choice behavior. 328-333
  
• Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
  Decentralized fault diagnosis for sensor networks. 334-339
  
• Dhananjay M. Anand, James R. Moyne, Dawn M. Tilbury:
  Performance evaluation of wireless networks for factory automation applications. 340-346
  
• Tushar Kanti Bera, Jampana Nagaraju:
  A Simple instrumentation calibration technique for Electrical Impedance Tomography (EIT) using a 16-electrode phantom. 347-352
  
• Shyamakshi Ghosh, Shrisha Rao:
  Sensor network design for smart highways. 353-360
  
• Somnath Sengupta, Soumen De, Anirban Krishna Bhattacharya, Siddhartha Mukhopadhyay, Alok Kanti Deb:
  Fault detection of Air Intake Systems of SI gasoline engines using mean value and within cycle models. 361-366
  
• Karupppasamy Subburaj, Bhallamudi Ravi, Manish Agarwal:
  Automated 3D geometric reasoning in Computer Assisted joint reconstructive surgery. 367-372
  
• Priti Kumar Roy, Nandadulal Bairagi, Joydev Chattopadhyay, Biplab Chattopadhyay:
  HIV model with intracellular delay - a mathematical study. 373-378
  
• Juan Albino Méndez, Santiago Torres, Jose Antonio Reboso, Hector Reboso:
  Model-based controller for anesthesia automation. 379-384
  
• Thi Bich Thanh Truong, Florent Frizon de Lamotte, Jean-Philippe Diguet:
  Proactive remote healthcare based on multimedia and home automation services. 385-390
  
• Na Geng, Vincent Augusto, Xiaolan Xie, Zhibin Jiang:
  MRI reservation for neurovascular patients. 391-396
  
• Alessandro Pinto, Ratnesh Kumar, Songyan Xu:
  Synthesis of wireless time-triggered embedded networks for networked control systems. 397-402
  
• Dip Goswami, Pradeep Seshadri, Unmesh D. Bordoloi, Samarjit Chakraborty:
  A DECOMSYS based tool-chain for analyzing FlexRay based automotive control applications. 403-408
  
• Alessandro D'Innocenzo, Gera Weiss, Rajeev Alur, Alf J. Isaksson, Karl Henrik Johansson, George J. Pappas:
  Scalable scheduling algorithms for wireless networked control systems. 409-414
  
• Alexey Voronov, Knut Åkesson:
  Verification of process operations using model checking. 415-420
  
• Wei-Ming Wu, Fan-Tien Cheng, Tung-Ho Lin, Deng-Lin Zeng, Jyun-Fang Chen, Min-Hsiung Hung:
  Advanced studies of selection schemes for dual virtual-metrology outputs. 421-426
  
• Chih-Min Fan, Yun-Pei Lu:
  A Bayesian Ranking Scheme for supporting cost-effective yield diagnosis services. 427-432
  
• Fang-Hsiang Su, Shi-Chung Chang, Chih-Min Fan, Ya-Jung Tsai, J. Jheng, Ching-Pin Kao, Chun-Yao Lu:
  A novel ontology-based knowledge engineering approach for yield symptom identification in semiconductor manufacturing. 433-438
  
• Argon Chen, Sean Hsueh, Jakey Blue:
  Optimum sampling for track PEB CD Integrated Metrology. 439-442
  
• Sharethram Hariharan, Satish T. S. Bukkapatnam:
  Misplaced item search in a warehouse using an RFID-based Partially Observable Markov Decision Process (POMDP) model. 443-448
  
• Debjit Roy, Ananth Krishnamurthy, Sunderesh S. Heragu, Charles J. Malmborg:
  Impact of zones on throughput and cycle times in warehouses with Autonomous Vehicles. 449-454
  
• Sunderesh S. Heragu, Xiao Cai, Ananth Krishnamurthy, Charles J. Malmborg:
  Analysis of autonomous vehicle storage and retrieval system by open queueing network. 455-459
  
• Na Li, Li Zheng, Wei Feng:
  Analysis of two-loop closed production systems. 460-465
  
• Xenia Fiorentini, Rachuri Sudarsan, Steven Ray, Ram D. Sriram:
  Towards a method for harmonizing information standards. 466-471
  
• Rachuri Sudarsan, Ram D. Sriram, Prabir Sarkar:
  Metrics, standards and industry best practices for sustainable manufacturing systems. 472-477
  
• Vijay Srinivasan:
  Sustaining manufacturing assets through smarter utilization of information and communication technologies. 478-482
  
• Tao Wu, Leyuan Shi:
  A new heuristic method for capacitated multi-level lot sizing problem with backlogging. 483-488
  
• D. Bijulal, Jayendran Venkateswaran, Nandyala Hemachandra:
  Stability considerations and service level measures in production - inventory systems: a simulation study. 489-494
  
• Lars Mönch, Jens Zimmermann:
  Providing production planning and control functionality by web services: State of the art and experiences with prototypes. 495-500
  
• Nukala Viswanadham, Sampath Kameshwaran:
  Orchestrating a network of activities in the value chain. 501-506
  
• Rajashekhar C. Biradar, Sunilkumar S. Manvi:
  Reliable ring based multicast routing scheme in MANET: An agent based approach. 507-512
  
• Mariagrazia Dotoli, Maria Pia Fanti, Agostino Marcello Mangini, Gabriella Stecco, Walter Ukovich:
  The impact of ICT on an Intermodal Transportation System: an analysis by Petri Nets. 513-518
  
• S. Venkata Bhaskar Sathi, P. V. M. Rao:
  STEP to DMIS: Automated generation of inspection plans from CAD data. 519-524
  
• Hyunsoo Lee, Amarnath Banerjee:
  A modular petri net based architecture to model manufacturing systems exhibiting resource and timing uncertainties. 525-530
  
• Branden Archer, Shivakumar Sastry, Anthony Rowe, Ragunathan Rajkumar:
  Profiling primitives of networked embedded automation. 531-536
  
• Jeffrey Too Chuan Tan, Feng Duan, Ye Zhang, Ryu Kato, Tamio Arai:
  Safety design and development of human-robot collaboration in cellular manufacturing. 537-542
  
• Yingfeng Wu, Chengbin Chu, Feng Chu, Naiqi Wu:
  Heuristic for lane reservation problem in time constrained transportation. 543-548
  
• Shital S. Chiddarwar, N. Ramesh Babu:
  Dynamic priority allocation for conflict free coordinated manipulation of multiple agents. 549-554
  
• Deepak D'Souza, Madhu Gopinathan, S. Ramesh, Prahladavaradan Sampath:
  Supervisory control for real-time systems based on conflict-tolerant controllers. 555-560
  
• James R. Morrison:
  Regular flow line models for semiconductor cluster tools: A case of lot dependent process times. 561-566
  
• Naiqi Wu, Feng Chu, Chengbin Chu, MengChu Zhou:
  A novel approach to scheduling of single-arm cluster tools with wafer revisiting. 567-572
  
• Thomas Wich, Christoph Edeler, Christian Stolle, Sergej Fatikow:
  Micro-nano-integration based on automated serial assembly. 573-578
  
• Liang Yuan, Yuan F. Zheng:
  Micro-mixing of highly viscous bio-samples using orbital shaking. 579-584
  
• Micky Rakotondrabe, Patrick Rougeot:
  Presentation and improvement of an AFM-based system for the measurement of adhesion forces. 585-590
  
• Jorge Solis, Atsuo Takanishi:
  Towards enhancing the understanding of human motor learning. 591-596
  
• Y. Y. Huang, K. H. Low:
  A multi-disciplinary approach for effective hand rehabilitation with clinical-based assessment outcomes. 597-603
  
• Mohit Kumar, Matthias Weippert, Steffi Kreuzfeld, Norbert Stoll, Regina Stoll:
  A fuzzy filtering based system for maximal oxygen uptake prediction using heart rate variability analysis. 604-608
  
• Leonardo S. Mattos, Darwin G. Caldwell:
  A fast and precise micropipette positioning system based on continuous camera-robot recalibration and visual servoing. 609-614
  
• Per Henrik Borgstrom, Brett L. Jordan, Maxim A. Batalin, Gaurav S. Sukhatme, William J. Kaiser:
  Field-tests of a redundantly actuated cable-driven robot for environmental sampling applications. 615-620
  
• Vikas K. Garg, M. Narasimha Murty:
  RACK: RApid clustering using K-means algorithm. 621-626
  
• Theologos Bountourelis, Spiridon Reveliotis:
  Customized learning algorithms for episodic tasks with acyclic state spaces. 627-634
  
• Jyotika Bahuguna, Balaraman Ravindran, K. Madhava Krishna:
  MDP based active localization for multiple robots. 635-640
  
• Jayashree Ramanathan, Rajiv Ramnath, Sreeram Ramakrishnan:
  Achieving 'handoff' traceability of complex system improvement. 641-646
  
• Ashok Veilumuthu, Parthasarathy Ramachandran:
  Intent based clustering of search engine query log. 647-652
  

Last update Tue May 22 23:23:20 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page