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