Hybrid Input Output Automata for composable conveyor systems (English)
- New search for: Mitra, Sayan
- New search for: Sastry, Shivakumar
- New search for: Mitra, Sayan
- New search for: Sastry, Shivakumar
- Conference paper / Electronic Resource
-
Title:Hybrid Input Output Automata for composable conveyor systems
-
Contributors:Mitra, Sayan ( author ) / Sastry, Shivakumar ( author )
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2009-08-01
-
Size:81577 byte
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents conference proceedings
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
IEEE CASE 2009 Sponsors| 2009
- 1
-
Welcome message from program chair and co-chairs| 2009
- 1
-
Venue for IEEE CASE 2009| 2009
- 1
-
Welcom message from the general chairs| 2009
- 1
-
IEEE CASE 2009 Plenary Speakers| 2009
- 1
-
Author index| 2009
- 1
-
IEEE CASE 2009 Special Sessions| 2009
- 1
-
IEEE CASE 2009 Award Paper Session| 2009
- 1
-
IEEE CASE 2009 Organizing Committee| 2009
- 1
-
IEEE CASE 2009 Program Committee| 2009
- 1
-
Author subject| 2009
- 1
-
IEEE CASE 2009 Tutorials and Workshops| 2009
- 1
-
Abstracts| 2009
- 1
-
Table of contents| 2009
- 1
-
Closed-loop determinism for non-deterministic environments: Verification for IEC 61499 logic controllersAllen, L. V. / Goh, K. M. / Tilbury, D. M. et al. | 2009
- 7
-
Workflow completion patternsTrecka, Nikola / van der Aalst, Wil / Sidorova, Natalia et al. | 2009
- 13
-
Monotonic and non-monotonic properties of product quality in flexible manufacturing systems with batch operationsWang, Junwen / Li, Jingshan / Arinez, Jorge / Biller, Stephan / Huang, Ningjian et al. | 2009
- 19
-
Multi-strategy supplier selection for commodity sourcingDayama, Pankaj S / Jidugu, Balaji et al. | 2009
- 25
-
Abstractions and algorithms for assembly tasks with large numbers of robots and partsBerman, Spring / Kumar, Vijay et al. | 2009
- 29
-
Hybrid Input Output Automata for composable conveyor systemsMitra, Sayan / Sastry, Shivakumar et al. | 2009
- 30
-
Performance control of Markovian Petri nets via fluid models: A stock-level control exampleVazquez, C. Renato / Silva, Manuel et al. | 2009
- 37
-
Maximally permissive deadlock avoidance for multithreaded computer programs (Extended abstract)Wang, Yin / Liao, Hongwei / Nazeem, Ahmed / Reveliotis, Spyros / Kelly, Terence / Mahlke, Scott / Lafortune, Stephane et al. | 2009
- 42
-
On-line fault diagnosis in a Petri Net frameworkDotoli, Mariagrazia / Fanti, Maria P. / Mangini, Agostino M. / Ukovich, Walter et al. | 2009
- 48
-
A control oriented model of generalized warehouses based on Colored Timed Petri NetsBasile, Francesco / Chiacchio, Pasquale / Del Grosso, Domenico et al. | 2009
- 54
-
Globally integrated manufacturing service networksViswanadham, N. / Rajamani, Nithya et al. | 2009
- 59
-
Extended abstract — bringing science to the art of workforce management in service industriesSenGupta, Siddhartha et al. | 2009
- 65
-
Services innovation — digital ecosystem approach to dissemination and co-creation of knowledge for Indian Agriculture Extension ServicesPattanaik, Debashis / Chatterjee, Jayanta et al. | 2009
- 71
-
Knowledge sciences in services automation: Integration models and perspectives for service centersAkella, Ram / Xu, Zuobing / Barajas, Joel / Caballero, Karla et al. | 2009
- 79
-
The role of standards in healthcare automation (Extended abstract)Sriram, Ram D. / Lide, Bettijoyce et al. | 2009
- 83
-
Empirical studies of workflow automation in physician offices in the United StatesSubrahmanian, Eswaran et al. | 2009
- 88
-
Healthcare interoperability — lessons learned from the manufacturing standards sectorRay, Steven R. et al. | 2009
- 90
-
Application of ontology guided search for improved equipment diagnosis in a vehicle assembly plantChougule, Rahul / Chakrabarty, Sugato et al. | 2009
- 96
-
Model-based and data-driven prognosis of automotive and electronic systemsSankavaram, Chaitanya / Pattipati, Bharath / Kodali, Anuradha / Pattipati, Krishna / Azam, Mohammad / Kumar, Sachin / Pecht, Michael et al. | 2009
- 102
-
A fusion prognostics method for remaining useful life prediction of electronic productsCheng, Shunfeng / Pecht, Michael et al. | 2009
- 108
-
Fault diagnosis and failure prognosis for engineering systems: A global perspectiveLy, Canh / Tom, Kwok / Byington, Carl S. / Patrick, Romano / Vachtsevanos, George J. et al. | 2009
- 116
-
Set-valued consensus for distributed clock synchronizationFagiolini, Adriano / Martini, Simone / Bicchi, Antonio et al. | 2009
- 122
-
Delay-dependent stability analysis of linear system with additive time-varying delaysRamakrishnan, K. / Ray, G. et al. | 2009
- 127
-
Discrete event control under nondeterministic partial observationXu, S. / Kumar, R. et al. | 2009
- 133
-
Second-order optimal estimation of slip state for a simple slip-steered vehicleCaldwell, T. M. / Murphey, T. D. et al. | 2009
- 140
-
Multi-agent model for threshold constrained portfolio selectionKumar, Ritesh / Bhattacharya, Subir et al. | 2009
- 146
-
A factorial hidden markov model (FHMM)-based reasoner for diagnosing multiple intermittent faultsSingh, Satnam / Kodali, Anuradha / Pattipati, Krishna et al. | 2009
- 152
-
Rule extraction from differential evolution trained radial basis function network using genetic algorithmsNaveen, Nekuri / Ravi, V. / Rao, C. Raghavendra et al. | 2009
- 158
-
An Automatic decission support system for medical instrument suppliers using fuzzy multifactor based approachChaki, Ayan / Chattopadhyay, T. et al. | 2009
- 164
-
Formal verification of PLC controlled systems using Sensor GraphsAlenljung, Tord / Lennartson, Bengt et al. | 2009
- 171
-
Selection of a machine tool for FMS using ELECTRE III — a case studyBalaji, Ch. Mohan / Gurumurthy, Anand / Kodali, Rambabu et al. | 2009
- 177
-
Multi-rule multi-objective Ant Colony Optimization for straight and U-type assembly line balancing problemKhaw, Christopher L.E. / Ponnambalam, S. G. et al. | 2009
- 183
-
Operation-oriented specification for integrated control logic developmentBengtsson, Kristofer / Lennartson, Bengt / Yuan, Chengyin / Falkman, Petter / Biller, Stephan et al. | 2009
- 191
-
Generation of restart states for manufacturing systems with discarded workpiecesAndersson, Kristin / Lennartson, Bengt / Falkman, Petter / Fabian, Martin et al. | 2009
- 197
-
Clump splitting based on detection of dominant points from contoursMakkapati, Vishnu V. / Naik, Sarif K. et al. | 2009
- 202
-
Towards fully automated phototransfectionCappelleri, David J. / Halasz, Adam / Sul, Jai-Yoon / Kim, Tae Kyung / Eberwine, James / Kumar, Vijay et al. | 2009
- 208
-
Improved wavelet-based microscope autofocusing for blood smears by using segmentationMakkapati, Vishnu V. et al. | 2009
- 212
-
Automated modular bacterial filtering system with embeddable microfluidic chipsSaketi, P. / Kreutzer, J. / Niemela, K. / Valimaa, L. / Kallio, P. et al. | 2009
- 217
-
Segmentation and classification of tuberculosis bacilli from ZN-stained sputum smear imagesMakkapati, Vishnu / Agrawal, Ravindra / Acharya, Raviraja et al. | 2009
- 221
-
Real-time monitoring of container stability loss using wireless vibration sensor tagsBukkapatnam, S.T.S. / Mukkamala, S. / Kunthong, J. / Sarangan, V. / Komanduri, R. et al. | 2009
- 227
-
A server centric authentication protocol for a RFID systemChavan, Kaushik P. / Zeid, Abe / Kamarthi, Sagar et al. | 2009
- 233
-
An efficient algorithm for RFID reader positioning for coverage of irregularly-shaped areasMysore, Nandakumar / Nenavat, Prakash / Unnithan, Rasmi S. / Mulukutla, Ravi / Rao, Shrisha et al. | 2009
- 241
-
Experimental investigation of EMI on RFID in manufacturing facilitiesCheng, Chen-Yang / Prabhu, Vittal et al. | 2009
- 246
-
Assessement of current health of hard disk drivesKamarthi, Sagar / Zeid, Abe / Bagul, Yogesh et al. | 2009
- 250
-
Efficient optimization of building emergency evacuation considering social bond of evacueesWang, Peng / Luh, Peter B. / Chang, Shi-Chung / Marsh, Kerry L. et al. | 2009
- 256
-
Development of robot assisted stroke rehabilitation system of human upper limbParasuraman, S. / Oyong, Arif Wicaksono / Ganapathy, Velappa et al. | 2009
- 262
-
Towards a sociable robot guide which respects and supports the human activityPandey, Amit Kumar / Alami, Rachid et al. | 2009
- 268
-
Semi-automated soft-tissue acquisition and modeling for surgical simulationGao, Zhan / Kim, Theodore / James, Doug L. / Desai, Jaydev P. et al. | 2009
- 274
-
Automated trajectory synthesis from animation data using trajectory optimizationJohnson, Elliot R. / Murphey, Todd D. et al. | 2009
- 280
-
ACO-based scheduling of parallel batch processing machines to minimize the total weighted tardinessLi, L. / Qiao, F. / Wu, Q.D. et al. | 2009
- 286
-
A path planning approach to (dis)assembly sequencingLe, Duc Thanh / Cortes, Juan / Simeon, Thierry et al. | 2009
- 292
-
An optimal production/maintenance planning under stochastic random demand, service level and failure rateZied, Hajej / Sofiene, Dellagi / Nidhal, Rezg et al. | 2009
- 298
-
A particle swarm optimization algorithm for flexible job shop scheduling problemGirish, B. S. / Jawahar, N. et al. | 2009
- 304
-
Multi-objective ACO for integrated scheduling of machines and material handling equipment in flexible manufacturing systemsYung, Tan Wei / Ponnambalam, S. G. / Yogeswaran, M. et al. | 2009
- 310
-
Robust models for manufacturing capacity planning under demand uncertaintyKarnik, Aditya / Tallichetty, Chandrashekar S. / Saroop, Atul et al. | 2009
- 316
-
Decision support for optimal adaptation of product and supply chain systems based on real options theoryPark, Chong Hyun / Patil, Lalit / Saitou, Kazuhiro / Romeijn, Edwin et al. | 2009
- 322
-
Development of an airline traffic forecasting model on international sectorsSrinidhi, S. et al. | 2009
- 328
-
The Potluck Problem with consumers' choice behaviorSingh, Nidhi / Rao, Shrisha et al. | 2009
- 334
-
Decentralized fault diagnosis for sensor networksFranceschelli, Mauro / Giua, Alessandro / Seatzu, Carla et al. | 2009
- 340
-
Performance evaluation of wireless networks for factory automation applicationsAnand, D. M. / Moyne, J. R. / Tilbury, D. M. et al. | 2009
- 347
-
A Simple instrumentation calibration technique for Electrical Impedance Tomography (EIT) using a 16-electrode phantomBera, Tushar Kanti / Nagaraju, J. et al. | 2009
- 353
-
Sensor network design for smart highwaysGhosh, Shyamakshi / Rao, Shrisha et al. | 2009
- 361
-
Fault detection of Air Intake Systems of SI gasoline engines using mean value and within cycle modelsSengupta, S. / De, S. / Bhattacharyya, A. K. / Mukhopadhyay, S. / Deb, A. K. et al. | 2009
- 367
-
Automated 3D geometric reasoning in Computer Assisted joint reconstructive surgerySubburaj, K. / Ravi, B. / Agarwal, M. G. et al. | 2009
- 373
-
HIV model with intracellular delay — a mathematical studyRoy, P. K. / Bairagi, N. / Chattopadhyay, J. / Chattopadhyay, B. et al. | 2009
- 379
-
Model-based controller for anesthesia automationMendez, J Albino / Torres, Santiago / Reboso, Jose A. / Reboso, Hector et al. | 2009
- 385
-
Proactive remote healthcare based on multimedia and home automation servicesTruong, T.B.T. / de Lamotte, F.Frizon / Diguet, J-Ph. et al. | 2009
- 391
-
MRI reservation for neurovascular patientsGeng, Na / Augusto, Vincent / Xie, Xiaolan / Jiang, Zhibin et al. | 2009
- 397
-
Synthesis of wireless time-triggered embedded networks for networked control systemsPinto, Alessandro / Kumar, Ratnesh / Xu, Songyan et al. | 2009
- 403
-
A DECOMSYS based tool-chain for analyzing FlexRay based automotive control applicationsGoswami, Dip / Seshadri, Pradeep / Bordoloi, Unmesh D. / Chakraborty, Samarjit et al. | 2009
- 409
-
Scalable scheduling algorithms for wireless networked control systemsD'Innocenzo, Alessandro / Weiss, Gera / Alur, Rajeev / Isaksson, Alf J. / Johansson, Karl H. / Pappas, George J. et al. | 2009
- 415
-
Verification of process operations using model checkingVoronov, Alexey / Akesson, Knut et al. | 2009
- 421
-
Advanced studies of selection schemes for dual virtual-metrology outputsWu, Wei-Ming / Cheng, Fan-Tien / Lin, Tung-Ho / Zeng, Deng-Lin / Chen, Jyun-Fang / Hung, Min-Hsiung et al. | 2009
- 427
-
A Bayesian Ranking Scheme for supporting cost-effective yield diagnosis servicesFan, Chih-Min / Lu, Yun-Pei et al. | 2009
- 433
-
A novel ontology-based knowledge engineering approach for yield symptom identification in semiconductor manufacturingSu, Fang-Hsiang / Chang, Shi-Chung / Fan, Chih-Min / Tsai, Ya-Jung / Jheng, Jethro / Kao, Ching-Pin / Lu, Chun-Yao et al. | 2009
- 439
-
Optimum sampling for track PEB CD Integrated MetrologyChen, Argon / Hsueh, Sean / Blue, Jakey et al. | 2009
- 443
-
Misplaced item search in a warehouse using an RFID-based Partially Observable Markov Decision Process (POMDP) modelHariharan, Sharethram / Bukkapatnam, Satish T.S. et al. | 2009
- 449
-
Impact of zones on throughput and cycle times in warehouses with Autonomous VehiclesRoy, Debjit / Krishnamurthy, Ananth / Heragu, Sunderesh / Malmborg, Charles et al. | 2009
- 455
-
Analysis of autonomous vehicle storage and retrieval system by open queueing networkHeragu, Sunderesh S. / Cai, Xiao / Krishnamurthy, Ananth / Malmborg, Charles J. et al. | 2009
- 460
-
Analysis of two-loop closed production systemsNa Li, / Li Zheng, / Wei Feng, et al. | 2009
- 466
-
Towards a method for harmonizing information standardsFiorentini, Xenia / Rachuri, Sudarsan / Ray, Steve / Sriram, Ram D. et al. | 2009
- 472
-
Metrics, standards and industry best practices for sustainable manufacturing systemsRachuri, Sudarsan / Sriram, Ram D / Sarkar, Prabir et al. | 2009
- 478
-
Sustaining manufacturing assets through smarter utilization of information and communication technologiesSrinivasan, Vijay et al. | 2009
- 483
-
A new heuristic method for capacitated multi-level lot sizing problem with backloggingWu, Tao / Shi, Leyuan et al. | 2009
- 489
-
Stability considerations and service level measures in production — inventory systems: a simulation studyBijulal, D. / Venkateswaran, Jayendran / Hemachandra, N. et al. | 2009
- 495
-
Providing production planning and control functionality by web services: State of the art and experiences with prototypesMonch, L. / Zimmermann, J. et al. | 2009
- 501
-
Orchestrating a network of activities in the value chainViswanadham, N / Kameshwaran, S et al. | 2009
- 507
-
Reliable ring based multicast routing scheme in MANET: An agent based approachBiradar, Rajashekhar C. / Manvi, Sunilkumar S. et al. | 2009
- 513
-
The impact of ICT on an Intermodal Transportation System: an analysis by Petri NetsDotoli, Mariagrazia / Fanti, Maria P. / Mangini, Agostino M. / Stecco, Gabriella / Ukovich, Walter et al. | 2009
- 519
-
STEP to DMIS: Automated generation of inspection plans from CAD dataSathi, S. Venkata Bhaskar / Rao, P.V.M. et al. | 2009
- 525
-
A modular petri net based architecture to model manufacturing systems exhibiting resource and timing uncertaintiesLee, Hyunsoo / Banerjee, Amarnath et al. | 2009
- 531
-
Profiling primitives of networked embedded automationArcher, Branden / Sastry, Shivakumar / Rowe, Anthony / Rajkumar, Ragunathan et al. | 2009
- 537
-
Safety design and development of human-robot collaboration in cellular manufacturingChuan Tan, Jeffrey Too / Duan, Feng / Zhang, Ye / Kato, Ryu / Arai, Tamio et al. | 2009
- 543
-
Heuristic for lane reservation problem in time constrained transportationWu, Yingfeng / Chu, Chengbin / Chu, Feng / Wu, Naiqi et al. | 2009
- 549
-
Dynamic priority allocation for conflict free coordinated manipulation of multiple agentsChiddarwar, Shital S. / Babu, N. Ramesh et al. | 2009
- 555
-
Supervisory control for real-time systems based on conflict-tolerant controllersD'Souza, Deepak / Gopinathan, Madhu / Ramesh, S. / Sampath, Prahladavaradan et al. | 2009
- 561
-
Regular flow line models for semiconductor cluster tools: A case of lot dependent process timesMorrison, James R. et al. | 2009
- 567
-
A novel approach to scheduling of single-arm cluster tools with wafer revisitingWu, NaiQi / Chu, Feng / Chu, Chengbin / Zhou, MengChu et al. | 2009
- 573
-
Micro-nano-integration based on automated serial assemblyWich, Thomas / Edeler, Christoph / Stolle, Christian / Fatikow, Sergej et al. | 2009
- 579
-
Micro-mixing of highly viscous bio-samples using orbital shakingYuan, Liang / Zheng, Yuan F. et al. | 2009
- 585
-
Presentation and improvement of an AFM-based system for the measurement of adhesion forcesRakotondrabe, Micky / Rougeot, Patrick et al. | 2009
- 591
-
Towards enhancing the understanding of human motor learningSolis, Jorge / Takanishi, Atsuo et al. | 2009
- 597
-
A multi-disciplinary approach for effective hand rehabilitation with clinical-based assessment outcomesHuang, Y. Y. / Low, K. H. et al. | 2009
- 604
-
A fuzzy filtering based system for maximal oxygen uptake prediction using heart rate variability analysisKumar, Mohit / Weippert, Matthias / Kreuzfeld, Steffi / Stoll, Norbert / Stoll, Regina et al. | 2009
- 609
-
A fast and precise micropipette positioning system based on continuous camera-robot recalibration and visual servoingMattos, Leonardo S. / Caldwell, Darwin G. et al. | 2009
- 615
-
Field-tests of a redundantly actuated cable-driven robot for environmental sampling applicationsBorgstrom, Per Henrik / Jordan, Brett L. / Batalin, Maxim A. / Sukhatme, Gaurav S. / Kaiser, William J. et al. | 2009
- 621
-
RACK: RApid clustering using K-means algorithmGarg, Vikas K / Murty, M N et al. | 2009
- 627
-
Customized learning algorithms for episodic tasks with acyclic state spacesBountourelis, Theologos / Reveliotis, Spyros et al. | 2009
- 635
-
MDP based active localization for multiple robotsBahuguna, Jyotika / Ravindran, B. / Madhava Krishna, K. et al. | 2009
- 641
-
Achieving ‘handoff’ traceability of complex system improvementRamanathan, Jay / Ramnath, Rajiv / Ramakrishnan, S. et al. | 2009
- 647
-
Intent based clustering of search engine query logVeilumuthu, Ashok / Ramachandran, Parthasarathy et al. | 2009