CASE 2009:
Bangalore, India
IEEE Conference on Automation Science and Engineering, CASE 2009, Bangalore, India, 22-25 August, 2011.
IEEE 2009, ISBN 978-1-4244-4578-3
- 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, Bettijoyce 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 G. 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 M. 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, Velappa 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

- Zied Hajjej, Sofiène Dellagi, Nidhal Rezg:
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, Mohan 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, H. 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, Steve 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 Wed May 22 01:25:48 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page