Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCASE 2007: Scottsdale, Arizona, USA
- IEEE Conference on Automation Science and Engineering, CASE 2007, September 22-25, 2007. Scottsdale, Arizona, USA. IEEE 2007, ISBN 978-1-4244-1154-2
- Mi Zhao, Zhiwu Li, MengChu Zhou:
On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets. 1-6 - Francesco Basile
, Alessandro Giua, Carla Seatzu:
Decentralized Supervisory Control of Petri Nets with Monitor Places. 7-13 - Avenir Kobetski, Johan Richardsson, Knut Åkesson, Martin Fabian:
Minimization of Expected Cycle Time in Manufacturing Cells with Uncontrollable Behavior. 14-19 - Petter Falkman, Bengt Lennartson, Kristin Andersson:
Specification of Production Systems using PPN and Sequential Operation Charts. 20-25 - Francesco Basile, Pasquale Chiacchio, Gianmaria De Tommasi:
Improving on-line fault diagnosis for discrete event systems using time. 26-32 - Tomoki Shibata, Xuerui Zhang, Xue Hai, Yasuhiro Shimizu, Shigeru Fujimura:
Generalization of Scheduling Information Acquired Through User Manipulation for Self-construction Production Scheduling System. 33-38 - Micky Rakotondrabe, Cédric Clévy, Philippe Lutz:
Modelling and Robust Position/Force Control of a Piezoelectric Microgripper. 39-44 - Rongliang Zhou, William Gressick, John T. Wen, Michael K. Jensen, Joe Frankel, Grey Lerner, Mark Unrath:
Active Thermal Management for Precision Positioning. 45-50 - Daniel Jasper, Christian Dahmen, Sergej Fatikow:
CameraMan - Robot Cell with Flexible Vision Feedback for Automated Nanohandling inside SEMs. 51-56 - Bradley Kratochvil, Lixin Dong, Li Zhang, Bradley J. Nelson:
Automatic Nanorobotic Characterization of Anomalously Rolled-up SiGe/Si Helical Nanobelts through Vision-based Force Measurement. 57-62 - John D. Wason, William Gressick, John T. Wen, Jason Gorman, Nicholas G. Dagalakis:
Multi-Probe Micro-Assembly. 63-68 - Atsushi Mitani, Toshiatsu Yoshimura, Shinichi Hirai:
Feeding of Submillimeter-sized Microparts along a Saw-tooth Surface Using Only Horizontal Vibration: Analysis of Convexities on the Surface of Microparts. 69-76 - Shengwei Ding, Raha Akhavan-Tabatabaei, J. George Shanthikumar:
Stochastic Modeling for Serial-Batching Workstations with Heterogeneous Machines. 77-81 - Christoph Habla, Lars Mönch, Rene Driessel:
A Finite Capacity Production Planning Approach for Semiconductor Manufacturing. 82-87 - James R. Morrison, Maruthi Kumar Mutnuri:
On the Throughput of Clustered Photolithography Tools: Wafer Advancement and Intrinsic Equipment Loss. 88-93 - Christoph Habla, Rene Driessel, Lars Mönch, Thomas Ponsignon, Hans Ehm:
A Short-Term Forecast Method for Demand Quantities in Semiconductor Manufacturing. 94-99 - Na Geng, Zhibin Jiang:
Capacity Planning for Semiconductor Wafer Fabrication with Uncertain Demand and Capacity. 100-105 - Yang Sun, Andrew L. Feller, Dan L. Shunk, John W. Fowler, Thomas E. Callarman, Brett Marc Duarte:
Decision Paradigms in the Semiconductor Supply Chain: A Survey and Analysis. 106-110 - Takao Fukui, Masaki Nobuhiro, Yoshio Sekino, Ikuo Maeda, Atsushi Matsumoto, Toshihiro Fujita:
Requirement of three-position enabling switches for installing in enabling devices to achieve operational safety of robotics and automation applications. 111-116 - Oscar Ljungkrantz, Knut Åkesson:
A Study of Industrial Logic Control Programming using Library Components. 117-122 - Liya Gu, Sophie Hennequin, Alexandre Tiberiu Sava, Xiaolan Xie:
Assembly Line Balancing Problems Solved by Estimation of Distribution. 123-127 - Mildreth Alcaraz-Mejia, Ernesto López-Mellado, Antonio Ramírez-Treviño:
Redundancy Based Controller Reconfiguration for Fault Recovery of Manufacturing Systems. 128-133 - Yao Lu, Jijie Xu, Zexiang Li:
Development and implementation of NURBS interpolator with look-ahead technique. 134-139 - Yusuke Shiomi, Masao Sugi, Jun Ota, Tsuyoshi Okubo, Masashi Yamamoto, Hiroshi Kojima, Kazuyoshi Inoue:
The Solution of 2-Dimensional Rectangular Cutting Stock Problem Considering Cutting Process. 140-145 - Cristian Luciano, Pat P. Banerjee, Silvio H. R. Rizzi:
GPU-based elastic-object deformation for enhancement of existing haptic applications. 146-151 - Silvio H. R. Rizzi, Pat P. Banerjee, Cristian Luciano:
Automating the Extraction of 3D Models from Medical Images for Virtual Reality and Haptic Simulations. 152-157 - Satheesh Ramachandran, Madhav Erraguntla, Richard J. Mayer, Perakath C. Benjamin:
Data Mining in Military Health Systems - Clinical and Administrative Applications. 158-163 - Monica Reggiani, Massimo Zuppini, Paolo Fiorini:
A Software Framework for Process Control in the Agroindustrial Sector. 164-169 - Jacek Malec, Anders Nilsson, Klas Nilsson, Slawomir Nowaczyk:
Knowledge-Based Reconfiguration of Automation Systems. 170-175 - Dong Wei, Mohsen A. Jafari, Yan Lu:
On Protecting Industrial Automation and Control Systems against Electronic Attacks. 176-181 - Mohan Yogeswaran, S. G. Ponnambalam, Manoj Kumar Tiwari:
An hybrid heuristic using genetic algorithm and simulated annealing algorithm to solve machine loading problem in FMS. 182-187 - Tongdan Jin, Fethi Belkhouche, Chen-Han Sung:
A Consolidated Approach to Minimize Semiconductor Production Loss Due to Unscheduled ATE Downtime. 188-193 - Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez:
State Estimation of Petri Nets by Transformation. 194-199 - Spiridon Reveliotis, Elzbieta Roszkowska, Jin Young Choi:
Correctness Verification of Generalized Algebraic Deadlock Avoidance Policies through Mathematical Programming. 200-206 - Tord Alenljung, Markus Sköldstam, Bengt Lennartson, Knut Åkesson:
PLC-based Implementation of Process Observation and Fault Detection for Discrete Event Systems. 207-212 - Huai Zhang, Zhibin Jiang, Hongtao Hu:
Multi-criteria Dynamic Scheduling Methodology for Controlling a Semiconductor Wafer Fabrication System. 213-218 - Kyong-Soo Kim, Zhiqun Lin, Pranav Shrotriya, Sriram Sundararajan, Qingze Zou:
Iterative Control Approach to High-Speed Force-Distance Curve Measurement Using AFM for Biological Applications. 219-224 - Mohit Kumar, Norbert Stoll, David Kaber, Kerstin Thurow, Regina Stoll:
Fuzzy Filtering for an Intelligent Interpretation of Medical Data. 225-230 - Vincent Augusto, Xiaolan Xie, Frédéric Grimaud:
A Framework for the Modeling and Simulation of Health Care Systems. 231-236 - Mohit Kumar, Kerstin Thurow, Norbert Stoll, Regina Stoll:
Fuzzy Handling of Uncertainties in Modeling the Inhibition of Glycogen Synthase Kinase-3 by Paullones. 237-242 - Wenhui Wang, Yu Sun, Scott J. Dixon, Mariam Alexander, Peter J. Roy:
A Micropositioning System with Real-Time Feature Extraction Capability for Quantifying C. elegans Locomotive Behavior. 243-248 - Hemant J. Nagarsheth, Sachin V. Surve, Mansi A. Patel:
Computer Simulation of Dynamics of Human Leg. 249-254 - Mike Tao Zhang, Ken Goldberg:
Calibration of Wafer Handling Robots: A Fixturing Approach. 255-260 - Gero Grau, Jörg Weigang, Kilian Schmidt:
Improving dispatch rules for cascading tools. 261-264 - Chen-Fu Chien, Jei-Zheng Wu:
Structuring Manufacturing Strategy. 265-269 - Fan-Tien Cheng, Hsien-Cheng Huang, Chi-An Kao:
Development of a Dual-Phase Virtual Metrology Scheme. 270-275 - Yu-Chuan Su, Tung-Ho Lin, Fan-Tien Cheng, Wei-Ming Wu:
Implementation Considerations of Various Virtual Metrology Algorithms. 276-281 - Hsien-Cheng Huang, Yu-Chuan Su, Fan-Tien Cheng, Jia-Mau Jian:
Development of a Generic Virtual Metrology Framework. 282-287 - Jae-Sook Cheong, A. Frank van der Stappen:
Computing All Independent Form-Closure Grasp Regions of a Rectilinear Polyhedron. 288-294 - Steven D. Somes, David J. Buckmaster, Wyatt S. Newman:
Overcoming Traditional Automation Limitations Through Compliant Control and Contact Sensing. 295-299 - Zhuo Liu, Yoke San Wong, Kim Seng Lee:
Towards Effective Multi-platforming Design of Product Family using Genetic Algorithm. 300-305 - Harald Staab, Arne Sonnenburg, Christof Hieger:
The DOHELIX-Muscle: A Novel Technical Muscle for Bionic Robots and Actuating Drive Applications. 306-311 - Michael M. Marefat, Chandan Pitta:
Similarity-Based Retrieval of CAD Solid Models for Automated Reuse of Machining Process Plans. 312-317 - Onno C. Goemans, Marshall T. Anderson, Ken Goldberg, A. Frank van der Stappen:
Automated Feeding of Industrial Parts with Modular Blades: Design Software, Physical Experiments, and an Improved Algorithm. 318-325 - Xiaohui Xiao, Gongping Wu, Sanping Li:
Dynamic Coupling Simulation of a Power Transmission Line Inspection Robot with its Flexible Moving Path when Overcoming Obstacles. 326-331 - Ngai Ming Kwok, Van Thuyen Ngo, Quang Phuc Ha:
PSO-Based Cooperative Control of Multiple Mobile Robots in Parameter-Tuned Formations. 332-337 - Todd D. Murphey:
Geometric Derived Information Spaces in Manipulation with Mechanical Contact. 338-345 - Jiangzhao Yang, Dongjun Zhang, Zexiang Li:
Modeling and Identification for High-Speed Milling Machines. 346-351 - Wenqi Guo, Mengchu Zhou, Dong Wei:
DiagramDraw: A State Machine Diagram Designer for Flexible Automation. 352-356 - Roy A. Gomez Morales, Jose Isidro Garcia, Paulo Eigi Miyagi:
Diagnosis and Treatment of Faults in Productive Systems based on Bayesian Networks and Petri Net. 357-362 - Wenhui Wang, Xinyu Liu, Yu Sun:
Autonomous Zebrafish Embryo Injection Using a Microrobotic System. 363-368 - Thanh Hung Tran, Ngai Ming Kwok, Steven Scheding, Quang Phuc Ha:
Dynamic Modelling of Wheel-Terrain Interaction of a UGV. 369-374 - Ehsan Saeedi, Samuel S. Kim, James R. Etzkorn, Deirdre R. Meldrum, Babak A. Parviz:
Automation and yield of micron-scale self-assembly processes. 375-380 - Arne Allwardt, Christian Wendler, Silke Holzmüller-Laue, Norbert Stoll, Kerstin Thurow:
Enhancing the Throughput of Catalyst Screening Labs by Integration of a High Pressure Microplate Reactor. 381-385 - Timothy W. Molter, Sarah McQuaide, Meng Zhang, Mark Holl, Lloyd W. Burgess, Mary E. Lidstrom, Deirdre R. Meldrum:
Algorithm Advancements for the Measurement of Single Cell Oxygen Consumption Rates. 386-391 - Wai Kin Chan, Jingang Yi, Shengwei Ding:
On the Optimality of One-Unit Cycle Scheduling of Multi-Cluster Tools with Single-Blade Robots. 392-397 - Chong Wang, Jingshan Li:
Approximate Analysis of Re-Entrant Lines with Bernoulli Reliability Models. 398-403 - Mostafa Vahedi, A. Frank van der Stappen:
Geometric Properties and Computation of Three-Finger Caging Grasps of Convex Polygons. 404-411 - Caihua Xiong, You-Lun Xiong:
On the Error Elimination for Multi-Axis CNC Machining. 412-417 - Dinesh Rabindran, Delbert Tesar:
Study of the dynamic coupling term (μ) in parallel force/velocity actuated systems. 418-423 - Kui Zhang, Andrew D. Ball, Fengshou Gu, Yuhua Li:
A Hybrid Model with a Weighted Voting Scheme for Feature Selection in Machinery Condition Monitoring. 424-429 - Thomas Ruppel, Michael Lloyd-Hart, Daniela Zanotti, Oliver Sawodny:
Modal Trajectory Generation for Adaptive Secondary Mirrors in Astronomical Adaptive Optics. 430-435 - Eduardo Camponogara, Melissa Pereira de Castro, Agustinho Plucenio:
Compressor Scheduling in Oil Fields: A Piecewise-Linear Formulation. 436-441 - Rangsarit Vanijjirattikhan, David Kaber, Mo-Yuen Chow, Norbert Stoll:
Timed Petri Net Modeling and Simulation of a High-Throughput Biological Screening Process. 442-447 - Liang Pi, Leyuan Shi:
Resource-Task Assignment Process with Rejections and Reassignments. 448-453 - Adriano Fagiolini, Gianni Valenti, Lucia Pallottino, Gianluca Dini, Antonio Bicchi:
Local Monitor Implementation for Decentralized Intrusion Detection in Secure Multi-Agent Systems. 454-459 - Maryam Haji, Houshang Darabi:
Petri Net based Supervisory Control Reconfiguration of Project Management Systems. 460-465 - Ping Gu, Yajie Lou, Xuerui Zhang, Shigeru Fujimura:
Dynamic Local Focusing Approach for Production Scheduling Problems. 466-471 - Martin W. Braun, Nital S. Patel:
Analysis of the Effects of Truncation on the EWMA Observer. 472-477 - Wai Kuan Yip, K. G. Law, Wen Jau Lee:
Forecasting Final/Class Yield Based on Fabrication Process E-Test and Sort Data. 478-483 - Na Li, Li Zheng, Quan-Lin Li:
Semiconductor system with multiple closed-loops constrains. 484-488 - Daniel Quadt, Chua Koon Min:
Line Planning in a Hierarchical Production Planning Approach. 489-494 - How-Wei Huang, Ching-Hu Lu, Li-Chen Fu:
Lot Dispatching and Scheduling Integrating OHT Traffic Information in the 300mm Wafer Fab. 495-500 - Kan Wu, Leon F. McGinnis, Bert Zwart:
Compatibility of Queueing Theory, Manufacturing Systems and SEMI Standards. 501-506 - Mingang Cheng, Hiromi Itoh Ozaku, Noriaki Kuwahara, Kiyoshi Kogure, Jun Ota:
Simulated Annealing Algorithm for Daily Nursing Care Scheduling Problem. 507-512 - Josef Hallberg, Chris D. Nugent, Richard John Davies, Kåre Synnes, Mark P. Donnelly, Dewar D. Finlay, Maurice D. Mulvenna:
HomeRuleML - A Model for the Exchange of Decision Support Rules Within Smart Environments. 513-520 - Mehdi Lamiri, Johann Dréo, Xiaolan Xie:
Operating Room Planning with Random Surgery Times. 521-526 - Yen-Ting Chen, Kuo-Tsung Tseng:
Multiple-angle Hand Gesture Recognition by Fusing SVM Classifiers. 527-530 - Masao Sugi, Ippei Matsumura, Yusuke Tamura, Jun Ota, Tamio Arai:
Quantitative Evaluation of Human Supporting Production System "Attentive Workbench". 531-535 - Sukjune Yoon, Woosup Han, Seung Ki Min, Youngbo Shim, Kyung Shik Roh:
Efficient Navigation Algorithm Using 1D Panoramic Images. 536-541 - Hugo C. Garcia, Jesus René Villalobos:
Automated Feature Selection Methodology for Reconfigurable Automated Visual Inspection Systems. 542-547 - John C. Murray, Mark James Neal, Frédéric Labrosse:
Intelligent Kite Aerial Platform for Site Photography. 553-558 - Patrick McVittie, Clement S. Sun, Timothy W. Molter, Sarah McQuaide, Mary E. Lidstrom, Mark Holl, Deirdre R. Meldrum:
Automated Classification of Macrophage Membrane Integrity using a Fluorescent Live/Dead Stain. 554-559 - Michel Sarkis, Christian T. Senft, Klaus Diepold:
Modeling the Variation of the Intrinsic Parameters of an Automatic Zoom Camera System using Moving Least-Squares. 560-565 - Shigang Li, Takumi Isago:
Qualitative Localization by Full-View Spherical Image. 566-571 - Kay Boehnke:
Object localization in range data for robotic bin picking. 572-577 - Tae-Sic Yoo, Humberto E. Garcia:
Intruder Activity Analysis under Unreliable Sensor Networks. 578-584 - Satish T. S. Bukkapatnam, Ranga Komanduri:
Container Integrity and Condition Monitoring using RF Vibration Sensor Tags. 585-590 - Changsoo Ok, Hari Prasad Thadakamalla, Usha Nandini Raghavan, Soundar R. T. Kumara, Sang-Gook Kim, Xiang Zhang, Satish T. S. Bukkapatnam:
Optimal Transmission Power in Self-sustainable Sensor Networks for Pipeline Monitoring. 591-596 - Daniele Fontanelli, Luigi Ricciato, Stefano Soatto:
A Fast RANSAC-Based Registration Algorithm for Accurate Localization in Unknown Environments using LIDAR Measurements. 597-602 - Matthew S. Keir, Christopher E. Hann, J. Geoffrey Chase, Xiaoqi Chen:
A New Approach to Accelerometer-based Head Tracking for Augmented Reality & Other Applications. 603-608 - S. Veera Ragavan, Velappa Ganapathy:
A General Telematics Framework for Autonomous Service Robots. 609-614 - David Kaber, Norbert Stoll, Kerstin Thurow:
Human-automation Interaction Strategies for Life Science Applications: Implications and Future Research. 615-620 - Andrew W. Holle, Shih-hui Chao, Mark Holl, Jeffrey M. Houkal, Deirdre R. Meldrum:
Characterization of Program Controlled CO2 Laser-Cut PDMS Channels for Lab-on-a-chip Applications. 621-627 - Idaku Ishii, Yuman Nie, Kenichi Yamamoto, Kensuke Orito, Hiroshi Matsuda:
Real-time and Long-time Quantification of Behavior of Laboratory Mice Scratching. 628-633 - Liang Yuan, Yuan F. Zheng, Weidong Chen, Martin Caffrey:
Automatic Mixing of Bio-Samples Using Micro-Channel and Centrifugation. 634-639 - Jinq-Yu Jiang, Kuo-Hsiung Lin, Chia-Chun Chen, Jie-Len Huang, Chun-Hung Huang, Hung-Ju Su:
Development of Whole Human Genome Micro-array Automated Hybridization Platform. 640-645 - Rebecca S. Green, Sang-Hwan Kim, David Kaber, Norbert Stoll:
Prototyping and Usability Testing of Supervisory Control Interfaces for Life Science Automation. 646-651 - Sampath Kameshwaran, Nukala Viswanadham, Vijay Desai:
On Bundling and Pricing of the Service with the Product. 652-657 - Tatsushi Nishi, Yuichiro Hiranaka, Masahiro Inuiguchi, Ignacio E. Grossmann:
A Decomposition Method with Cut Generation for Simultaneous Production Scheduling and Routing for multiple AGVs. 658-663 - Tallichetty S. Chandrashekar, Yadati Narahari:
A Shapley Value Analysis to Coordinate the Formation of Procurement Networks. 664-669 - Bo Xiong, Peter B. Luh, Shi-Chung Chang, Laurent D. Michel, Andrew See:
Coherent Modeling and Effective Coordination for Building Emergency Evacuation. 670-677 - Menasheh Fogel, Nathan Burkhart, Hongliang Ren, Jeremy Schiff, Max Qinghu Meng, Ken Goldberg:
Automated Tracking of Pallets in Warehouses: Beacon Layout and Asymmetric Ultrasound Observation Models. 678-685 - Fan Yang, Michael M. Marefat:
Automatic Feasibility Verification of Object Configurations: A New Approach Based on Feature Interaction Matrices. 686-691 - Satoshi Hoshino, Jun Ota:
Performance Design of Operating Robots in a Seaport Container-Handling System. 692-697 - Guy-Aimé Tanonkou, Lyès Benyoucef, Xiaolan Xie:
Design of multi-commodity distribution network with random demands and supply lead-times. 698-703 - Nukala Viswanadham, Sampath Kameshwaran:
A Decision Framework for Location Selection in Global Supply Chains. 704-709 - Jay D. Schwartz, Daniel E. Rivera:
Multi-Objective Control-Relevant Demand Modeling for Production and Inventory Control. 710-715 - Megha Mohabey, Y. Narahari, Sudeep Mallick, P. Suresh, S. V. Subrahmanya:
A Combinatorial Procurement Auction for QoS-Aware Web Services Composition. 716-721 - Juan Carlos González-Castolo, Ernesto López-Mellado:
Approximating State of DES Using Fuzzy Timed Petri Nets. 722-728 - Shigeto Aramaki, Tatsuichiro Nagai, Masato Kawamura, Yasutaka Hatada, Tomoaki Tsuruoka:
Human-Robot Interface by using frame like knowledge base. 729-734 - Josh H. M. Lam, Ka Wah Lo, Yeung Yam:
Robot Drawing Techniques for Contoured Surface Using an Automated Sketching Platform. 735-740 - Ching-Hu Lu, Yu-chen Ho, Li-Chen Fu:
Creating Robust Activity Maps Using Wireless Sensor Network in a Smart Home. 741-746