default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCASE 2013: Madison, WI, USA
- 2013 IEEE International Conference on Automation Science and Engineering, CASE 2013, Madison, WI, USA, August 17-20, 2013. IEEE 2013
- Lili Chen, Xi Zhang
, Changyue Song:
A severity measurement system for obstructive sleep apnea discrimination using a single ECG signal. 1-6 - Rowland O'Flaherty, Magnus Egerstedt:
Learning to locomote: Action sequences and switching boundaries. 7-12 - Andrew D. Wilson, Todd D. Murphey:
Optimal trajectory design for well-conditioned parameter estimation. 13-19 - Daniel Kurz, Cristina De Luca, Jürgen Pilz:
Monitoring virtual metrology reliability in a sampling decision system. 20-25 - Edgar Alfonso, Vincent Augusto, Xiaolan Xie:
Tactical planning of bloodmobile collection systems. 26-31 - Kevin Weekly, Donghyun Rim, Lin Zhang, Alexandre M. Bayen, William W. Nazaroff, Costas J. Spanos:
Low-cost coarse airborne particulate matter sensing for indoor occupancy detection. 32-37 - John E. McInroy:
Robustly fault tolerant Gough-Stewart platforms. 38-44 - Tri Tran, Quang Phuc Ha:
Self-recovery control for dependable systems. 45-50 - Wen-Chiao Lin, Humberto E. Garcia:
Synthesis and optimization of a Bayesian belief network based observation platform for anomaly detection under partial and unreliable observations. 51-58 - Zhentao Wang, Matthias Borsdorf, Stephan Rinderknecht:
Model based unbalance monitoring using augmented observer in rotor systems under the consideration of gyroscopic effect. 59-64 - Terrence P. Fries:
Automation of rapid fault diagnosis in manufacturing systems using multiple fuzzy agents. 65-70 - Jun Li, MengChu Zhou, Xianzhong Dai:
Exploiting robustness in Petri net-based closed-loop systems to accommodate control specification changes. 71-76 - Zheng Wang, Felix T. S. Chan:
A robust production control policy for a multiple-stage production system with inventory inaccuracy and time-delay. 77-82 - Kangzhou Wang, Zhibin Jiang, Guowei Li, Jin Cao:
Integrated capacity allocation policies for a production service system with two-class customers and items. 83-88 - Zhanbo Xu, Qing-Shan Jia, Xiaohong Guan:
Supply demand coordination for building energy saving. 89-94 - Yinliang Xu, Kun Ji, Yan Lu, Yuebin Yu, Wenxin Liu:
Optimal building energy management using intelligent optimization. 95-99 - Chetan Yadati, Dilpreet Kaur, Narayanaswamy Balakrishnan, Avik Sarkar, Y. Narahari:
Incentive compatible mechanisms for power cut allocation in smart grids. 100-105 - Bing Yan, Peter B. Luh, Biao Sun, Chen Song, Chenhui Dong, Zhongxue Gan, Laurent D. Michel:
Energy-efficient management of eco-communities. 106-111 - Wenqi Wendy Guo, Tania Ullah, MengChu Zhou:
Evaluating feedback systems for residential building energy monitoring. 112-116 - Trevor Hanz, Mina Guirguis:
An abstraction layer for controlling heterogeneous mobile cyber-physical systems. 117-121 - Yunni Xia, MengChu Zhou, Xin Luo, Qingsheng Zhu:
A comprehensive QoS determination model for Infrastructure-as-a-Service clouds. 122-127 - Joe Cecil, Raviteja Gunda, Prasad Calyam, Sripriya Seetharam:
A next generation collaborative framework for advanced manufacturing. 128-132 - Joe Cecil, Parmesh Ramanathan, Vahid Rahneshin, Aditya Prakash, Miguel Pirela-Cruz:
Collaborative virtual environments for orthopedic surgery. 133-137 - Xinjia Jiang, Loo Hay Lee, Ek Peng Chew, Kok Choon Tan:
Storage yard management for transshipment ports. 138-143 - Wuhua Hu, Jianfeng Mao, Keji Wei:
Energy-efficient dispatching solution in an automated air cargo terminal. 144-149 - Maria Pia Fanti, Giorgio Iacobellis, Giuliana Rotunno, Walter Ukovich:
A simulation based analysis of production scheduling in a steelmaking and continuous casting plant. 150-155 - Elzbieta Roszkowska, Ida Góral:
Correct-by-construction distributed control for multi-vehicle transport systems. 156-161 - Yan Lu, Dezhen Song, Yiliang Xu, A. G. Amitha Perera, Sangmin Oh:
Automatic building exterior mapping using multilayer feature graphs. 162-167 - Alberto Pretto, Stefano Tonello, Emanuele Menegatti:
Flexible 3D localization of planar objects for industrial bin-picking with monocamera vision system. 168-175 - Hamidreza Nourzadeh, John E. McInroy:
Robust visual measurement planning in multi-robot systems. 176-182 - Chun-Fang Chen, Yao-Sheng Hsieh, Fan-Tien Cheng, Hsien-Cheng Huang, Saint-Chi Wang:
Automatic baseline-sample-selection scheme for baseline predictive maintenance. 183-188 - Min-Hsiung Hung, Yu-Chuan Lin, Hsien-Cheng Huang, Min-Hsuan Hsieh, Haw Ching Yang, Fan-Tien Cheng:
Development of an advanced manufacturing cloud for machine tool industry based on AVM technology. 189-194 - Gian Antonio Susto, Andrea Schirru, Simone Pampuri, Daniele Pagano, Seán F. McLoone, Alessandro Beghi:
A predictive maintenance system for integral type faults based on support vector machines: An application to ion implantation. 195-200 - Gian Antonio Susto, Adrian B. Johnston, Paul G. O'Hara, Seán F. McLoone:
Virtual metrology enabled early stage prediction for enhanced control of multi-stage fabrication processes. 201-206 - Rick Siow Mong Goh, Zhaoxia Wang, Xiaofeng Yin, Xiuju Fu, Loganathan Ponnambalam, Sifei Lu, Xiaorong Li:
RiskVis: Supply chain visualization with risk management and real-time monitoring. 207-212 - Nukala Viswanadham, Sowmya Vedula, Rakesh Kulkarni:
Orchestrating the print supply chain in emerging markets. 213-218 - Lowell E. Lingo, Utpal Roy:
A sustainable building design using geosolar exergy storage technology (GEST). 219-224 - Zhe Liu, Xi Chen, Xingtian Xu, Xiaohong Guan:
A decentralized optimization method for energy saving of HVAC systems. 225-230 - Dario Di Zenobio, Niccolo De Caro, Steffen Thielemans, Kris Steenhaut:
EDISON: An innovative lighting architecture facilitating building automation. 231-236 - Ying Yan, Peter B. Luh, Biao Sun:
Fault detection of cooling coils based on unscented Kalman filters and statistical process control. 237-242 - Seung-kook Jun, Suren Kumar, Xiaobo Zhou, Daniel K. Ramsey, Venkat N. Krovi:
Automation for individualization of Kinect-based quantitative progressive exercise regimen. 243-248 - Chad A. Rockey, Eric M. Perko, Wyatt S. Newman:
An evaluation of low-cost sensors for smart wheelchairs. 249-254 - Reza Shisheie, Lei Jiang, Larry E. Banta, Marvin H. M. Cheng:
Design and fabrication of an assistive device for arm rehabilitation using twisted string system. 255-260 - Xiangfei Qian, Cang Ye:
NCC-RANSAC: A fast plane extraction method for navigating a smart cane for the visually impaired. 261-267 - Lei Jiang, Reza Shisheie, Marvin H. M. Cheng, Larry E. Banta, Goudong Guo:
Moving trajectories and controller synthesis for an assistive device for arm rehabilitation. 268-273 - Xin Li, Richard Y. K. Fung:
A mixed integer linear programming approach for multi-degree cyclic multi-hoist scheduling problems without overlapping. 274-279 - Thiago Lima Silva, Eduardo Camponogara, Alex Furtado Teixeira, Snjezana Sunjerga:
A mixed-integer linear programming model for automatic routing decisions in oil production optimization. 280-285 - Caio Merlini Giuliani, Eduardo Camponogara, Agustinho Plucenio:
A computational analysis of nondifferentiable optimization: Applications to production maximization in gas-lifted oil fields. 286-291 - Maziar Mashaei, Bengt Lennartson:
Concurrent design and control of automated material handling systems. 292-299 - Hicham Chaoui, Pierre Sicard:
Adaptive friction compensation of flexible-joint manipulators with parametric uncertainties. 300-305 - Priya S. Naik, Anthony A. Maciejewski, Rodney G. Roberts, Randy C. Hoover, Khaled M. Ben-Gharbia:
An example of computing the failure-tolerant workspace area for a planar kinematically redundant robot. 306-311 - Javad Sovizi, Venkat N. Krovi:
Uncertainty characterization in serial and parallel manipulators using random matrix theory. 312-317 - Ren C. Luo, Ming Hsiao, Che-Wei Liu:
Multisensor integrated stair recognition and parameters measurement system for dynamic stair climbing robots. 318-323 - Edward Venator, Gregory S. Lee, Wyatt S. Newman:
Hardware and software architecture of ABBY: An industrial mobile manipulator. 324-329 - Guilong Zhang, Lingyu Yang, Jing Zhang, Chan Han:
Longitudinal attitude controller design for aircraft landing with disturbance using ADRC/LQR. 330-335 - Wim Devesse, Marcus Ramteen, Lei Feng, Jan Wikander:
A real-time optimal control method for swing-free tower crane motions. 336-341 - Fatemeh Panahi, Aviv Adler, A. Frank van der Stappen, Ken Goldberg:
An efficient proximity probing algorithm for metrology. 342-349 - Daniel Kruse, Richard J. Radke, John T. Wen:
A sensor-based dual-arm tele-robotic manipulation platform. 350-355 - Thomas R. Kramer, Zeid Kootbally, Stephen Balakirsky, Craig Schlenoff, Anthony Pietromartire, Satyandra K. Gupta:
Performance evaluation of knowledge-based kitting via simulation. 356-361 - Morad Danishvar, Ali Mousavi, Pedro Angelo Morais de Sousa, Rui Araújo:
Event-clustering for real-time data modeling. 362-367 - Kristofer Bengtsson, Bengt Lennartson:
Operation behavior modeling using relation identification and visualization algorithms. 368-373 - Ting-Yu Ho, Shi-Chung Chang:
Stackelberg game formulation of prize competition design for seeking shortest path solutions. 374-379 - Utpal Roy, Bicheng Zhu, Daniel J. Rice:
The information framework for material behavior representation. 380-385 - Cong Zhao, Jingshan Li:
Analysis of multi-product manufacturing systems with homogeneous exponential machines. 386-391 - You Li, Zhibin Jiang, Wenyou Jia:
A heuristic algorithm for minimizing total absolute deviation from distinct due dates on a single machine. 392-397 - Cong Zhao, Yongzhen Lu, Jingshan Li:
Dynamic production control of door manufacturing line at an automotive assembly plant. 398-403 - Mohand Lounes Bentaha, Olga Battaïa, Alexandre Dolgui:
A decomposition method for stochastic partial disassembly line balancing with profit maximization. 404-409 - Fei Qiao, Yumin Ma, Xiang Gu:
Attribute selection algorithm of data-based scheduling strategy for semiconductor manufacturing. 410-415 - Yin Zhao, Qianchuan Zhao, Li Xia, Zhijin Cheng, Fulin Wang, Fangting Song:
A unified control framework of HVAC system for thermal and acoustic comforts in office building. 416-421 - Shuai Liu, Yushen Long, Lihua Xie, Alexandre M. Bayen:
Cooperative control of air flow for HVAC systems. 422-427 - Alessandra Parisio, Marco Molinari, Damiano Varagnolo, Karl Henrik Johansson:
A scenario-based predictive control approach to building HVAC management systems. 428-435 - Biao Sun, Peter B. Luh, Qing-Shan Jia, Bing Yan:
Event-based optimization with non-stationary uncertainties to save energy costs of HVAC systems in buildings. 436-441 - Roger Kwadzogah, Mengchu Zhou, Sisi Li:
Model predictive control for HVAC systems - A review. 442-447 - Mark Renfrew, Zhuofu Bai, Murat Cenk Cavusoglu:
Particle filter based active localization of target and needle in robotic image-guided intervention systems. 448-454 - Bofei Sun, Jie Song, Guangying Zhu, Leyuan Shi:
A two-stage approach for VMAT treatment plan optimization. 455-460 - Der-Lin Chow, Wyatt S. Newman:
Improved knot-tying methods for autonomous robot surgery. 461-465 - Animesh Garg, Sachin Patil, Timmy Siauw, J. Adam M. Cunha, I-Chow Hsu, Pieter Abbeel, Jean Pouliot, Ken Goldberg:
An algorithm for computing customized 3D printed implants with curvature constrained channels for enhancing intracavitary brachytherapy radiation delivery. 466-473 - Siyang Gao, Xi Zhang, Leyuan Shi:
Evaluation of improvement probability for IMRT plans. 474-479 - Suren Kumar, Madusudanan Sathia Narayanan, Pankaj Singhal, Jason J. Corso, Venkat Krovi:
Product of tracking experts for visual tracking of surgical tools. 480-485 - Myeon-Gyu Jeong, James R. Morrison, Hyo-Won Suh:
Approximate life cycle assessment using case-based reasoning for the eco design of products. 486-491 - Nukala Viswanadham, Avinash Samvedi:
Multi tier supplier selection for a sustainable global supply chain. 492-497 - Qian Yi, Ying Tang, Congbo Li, Pengyu Li:
Optimization of CNC machine processing parameters for low carbon manufacturing. 498-503 - Deepak Bagchi, Shantanu Biswas, Yadati Narahari, Nukala Viswanadham, P. Suresh, S. V. Subrahmanya:
Incentive compatible green procurement using scoring rules. 504-509 - Staffan Bjorkenstam, Daniel Gleeson, Robert Bohlin, Johan S. Carlson, Bengt Lennartson:
Energy efficient and collision free motion of industrial robots using optimal control. 510-515 - Qais Y. AlKhazraji, Christopher Saldaña, Tang Donghuan, Soundar R. T. Kumara:
Information modeling to incorporate sustainability into production plans. 516-521 - Domenico Spensieri, Robert Bohlin, Johan S. Carlson:
Coordination of robot paths for cycle time minimization. 522-527 - João C. E. Ferreira, Rafael A. Lopez:
A method for generating tool paths for milling pockets in prismatic parts using multiple tools. 528-533 - Utpal Roy, Shahed Shojaeipour:
Generative process planning with environmental constraints. 534-539 - Heping Chen, Hongtai Cheng, Jian Liu, Biao Zhang, George Zhang, Thomas A. Fuhlbrigge:
Performance improvement for high accuracy assembly process in manufacturing automation. 540-545 - Tong Mu, Xiaodong Zhang:
Research on sensing strategy for exoskeleton robot control. 546-549 - Chen He, Xiaodong Zhang, Binghui Jia:
UIO based robust fault diagnosis approach for aero-engine fiber-optic sensor. 550-553 - Jiangcheng Chen, Xiaodong Zhang, Rui Li:
A novel design approach for lower limb rehabilitation training robot. 554-557 - Jun Zhang, Shengjie Jiao, Min Ye, Xiaodong Zhang, Jiangcheng Chen, Bin Pang, Jinping Li, Xinxin Xu:
Multichannel subgrade temperature acquisition system based on LabVIEW and serial communication. 558-563 - Yunpeng Pan:
A combinatorial auctions perspective on min-sum scheduling problems. 564-569 - Ashesh Kumar Sinha, Ananth Krishnamurthy:
Production and subcontracting policies for assemble-to-order systems with service level constraints. 570-575 - Longfei Wang, Zhongshun Shi, Leyuan Shi:
A novel quadratic formulation for customer order scheduling problem. 576-580 - Bin Li, Wei Feng, Lin Zhang, Costas J. Spanos:
DEPEND: Density adaptive power efficient neighbor discovery for wearable body sensors. 581-586 - Zhijin Cheng, Li Xia, Qianchuan Zhao, Yin Zhao, Fulin Wang, Fangting Song:
Integrated control of blind and lights in daily office environment. 587-592 - Yuxun Zhou, Zhaoyi Kang, Lin Zhang, Costas J. Spanos:
Causal analysis for non-stationary time series in sensor-rich smart buildings. 593-598 - Kai Ma, Guoqiang Hu, Costas J. Spanos:
Transmission power allocation for cooperative relay-based neighborhood area networks for smart grid. 599-604 - Woranat Wongdhamma, Trung Q. Le, Satish T. S. Bukkapatnam:
Wireless wearable multi-sensory system for monitoring of sleep apnea and other cardiorespiratory disorders. 605-610 - Xiang Zhong, Jingshan Li, Susan M. Ertl, Carol Hassemer, Lauren Fiedler:
Modeling and analysis of mammography testing process at a breast imaging center of University of Wisconsin medical foundation. 611-616 - Weiping Zhang, Peter Passow, Emil Jovanov, Regina Stoll, Kerstin Thurow:
A secure and scalable telemonitoring system using ultra-low-energy wireless sensor interface for long-term monitoring in life science applications. 617-622 - Ashkan Sharabiani, Houshang Darabi, Adam Bress, Larisa Cavallari, Edith Nutescu, Katarzyna Drozda:
Machine learning based prediction of warfarin optimal dosing for African American patients. 623-628 - Bofei Sun, Zhongshun Shi, Jie Song, Guangying Zhu, Leyuan Shi:
A linearized model and nested-partitions heuristics for VMAT radiation treatment planning optimization. 629-633 - Michael Brundage, Qing Chang, Yang Li, Guoxian Xiao, Jorge Arinez:
Energy efficiency management of an integrated serial production line and HVAC system. 634-639 - Zhichao Zhou, Lin Li:
Real time electricity demand response for sustainable manufacturing systems considering throughput bottleneck detection. 640-644 - Tongdan Jin, Jesús A. Jiménez, Zhigang Tian:
Managing demand response for manufacturing enterprises via renewable energy integration. 645-650 - Nicla Frigerio, Andrea Matta:
Machine control policies for energy saving in manufacturing. 651-656 - Tonghui Li, Fan Yang, Chris Yuan:
A novel parabolic trough solar lighting and thermal system for building energy efficiency. 657-662 - YuKang Liu, Weijie Zhang, Yuming Zhang:
Data driven modeling of human welder intelligence: A neuro-fuzzy approach. 663-668 - Jian Zhou, Tianyi Shi, Yang Hu, Yueliang Ji, Mujun Li, Lianguan Shen:
Numerical simulation in compression molding of glass lens. 669-674 - Gisela Lanza, Adrian Koelmel, Steven Peters, Anna Sauer, Stefan Stockey:
Automated optical detection of particles and defects on a Li-Ion-cell surface using a single-point analysis. 675-680 - Mabaran Rajaraman, Michael Dawson-Haggerty, Kenji Shimada, David A. Bourne:
Automated workpiece localization for robotic welding. 681-686 - Paul M. Moubarak, Eric J. Alvarez, Pinhas Ben-Tzvi:
Reconfiguring a modular robot into a humanoid formation: A multi-body dynamic perspective on motion scheduling for modules and their assemblies. 687-692 - Eddie Zisser, Amir Shapiro, Raziel Riemer:
Robust position control of a pneumatic actuator. 693-698 - Tri Tran, Quang Phuc Ha:
Plug-and-play predictive control of modular nonlinear systems with coupling delays. 699-704 - Hicham Chaoui, Pierre Sicard:
Electrical sensorless adaptive control of permanent magnet synchronous machine drives. 705-710 - Haoqi Chen, Liang Zhang, Yehui Han:
Mathematical modeling and performance analysis of battery equalization systems. 711-716 - Dean Grosbard, Adar Kalir, Israel Tirkel, Gad Rabinowitz:
A queuing network model for wafer fabrication using decomposition without aggregation. 717-722 - Woo-sung Kim, James R. Morrison:
On the equilibrium probabilities of deterministic flow lines with random arrivals. 723-729 - Sylvain Bouhnik, Shalhevet Azran:
Markov G/G/s model adaptation to factory operational curve though exponential correlation. 730-734 - Sullivan Royer, Michael Bressan, Stéphane Thil, Thierry Talbert:
Modelling of a multi-zone building and assessment of its thermal behaviour using an energy simulation software. 735-740 - Ning Ding, Peter B. Luh, Hui Zhang, Tao Chen:
Emergency evacuation simulation in staircases considering evacuees' physical and psychological status. 741-746 - Yuan Gao, Peter B. Luh, Hui Zhang, Tao Chen:
A modified social force model considering relative velocity of pedestrians. 747-751 - Sisi Li, Zhen Song, Mengchu Zhou, Yan Lu:
Sensor data quality assessment for building simulation model calibration based on automatic differentiation. 752-757 - Silke Holzmüller-Laue, Bernd Göde, Kerstin Thurow:
Model-driven complex workflow automation for laboratories. 758-763 - Limin Zhu, Na Geng, Xiaolan Xie:
MDP-based appointment scheduling for one examination of two types of outpatients. 764-769 - Guorong Chen, Liang Zhang, Jorge Arinez, Guoxian Xiao:
Analysis of production completion time in Bernoulli serial lines with finite buffers. 770-775 - Ajay S. Aravamudhan, Archan Misra, Hoong Chuin Lau:
"Network-theoretic" queuing delay estimation in theme park attractions. 776-782 - Feng Ju, Jingshan Li, Guoxian Xiao, Jorge Arinez:
Integrated model of productivity and quality in serial production lines with repairs: Performance evaluation and bottleneck identification. 783-788 - Adam J. Brown, Fazleena Badurdeen:
A queuing model for systems with rework and process downtime. 789-794 - João C. E. Ferreira, Paulo A. Reaes:
Performance comparison of the virtual cell layout with cellular and job shop configurations using simulation and design of experiments. 795-800 - Qingsong Xu:
New robust position and force regulation for a compliant microgripper. 801-806 - Naresh Marturi, Sounkalo Dembélé, Nadine Piat:
Fast image drift compensation in scanning electron microscope using image registration. 807-812 - Christian Geldmann:
Fine registration of SEM and AFM images using Monte Carlo simulations. 813-818 - Kaiyan Yu, Xiang Lu, Jingang Yi, Jerry W. Shan:
Electrophoresis-based motion planning and control of a nanowire in fluid suspension. 819-824 - Haopeng Zhang, Qing Hui:
Convergence analysis and parallel computing implementation for the multiagent coordination optimization algorithm with applications. 825-830 - Hung Manh La, Weihua Sheng, Jiming Chen:
Cooperative and active sensing in mobile sensor networks for scalar field mapping. 831-836 - Hamidreza Nourzadeh, John E. McInroy:
Integrated planning of constraint sensor management and patrolling. 837-843 - Rohith Dwarakanath Vallam, C. A. Subramanian, Yadati Narahari, Ramasuri Narayanam, Srinath Narasimha:
Topologies of stable strategic networks with localized payoffs. 844-849 - Yanzhe Cui, Richard M. Voyles, Mohammad H. Mahoor:
ReFrESH: A self-adaptive architecture for autonomous embedded systems. 850-855 - Hongyue Jin, James R. Morrison:
Transient scheduling of single armed cluster tools: Algorithms for wafer residency constraints. 856-861 - Qinghua Zhu, Naiqi Wu, Yan Qiao, MengChu Zhou:
Petri net modeling and one-wafer scheduling of single-arm multi-cluster tools. 862-867 - Yan Qiao, Naiqi Wu, MengChu Zhou:
Scheduling of time constrained dual-arm cluster tools with wafer revisiting. 868-873 - Dae-Kyu Kim, Tae-Eog Lee, Hyun-Jung Kim:
Optimal scheduling of transient cycles for single-armed cluster tools. 874-879 - Kang-Ching Chu, Kazuhiro Saitou:
Optimization of probe vehicle deployment for traffic status estimation. 880-885 - Antti Lajunen:
Energy-optimal velocity profiles for electric city buses. 886-891 - Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario, Astrid Piconese, Fabio Sciancalepore, Biagio Turchiano:
A real time traffic management model for regional railway networks under disturbances. 892-897 - Zhen Shen, Kunfeng Wang, Fei-Yue Wang, Kai Wang:
Application of vector ordinal optimization to the transportation systems with agent based modelling. 898-903 - Bao-Lin Ye, Weimin Wu, Xuanhao Zhou, Wei-Jie Mao, Jixiong Li:
A signal split optimization approach based on model predictive control for large-scale urban traffic networks. 904-909 - Mickaël Danancher, Jean-Jacques Lesage, Lothar Litz, Gregory Faraut:
A Discrete event model for multiple inhabitants location tracking. 910-915 - Matthieu Perin, Jean-Marc Faure:
Comparing detailed and abstract timed models of automated discrete manufacturing systems. 916-923 - Yen-Liang Pan, Hesuan Hu, MuDer Jeng:
One computationally improved deadlock prevention policy for flexible manufacturing systems using Petri nets. 924-929 - Sahar Mohajerani, Robi Malik, Martin Fabian:
Compositional nonblocking verification for extended finite-state automata using partial unfolding. 930-935 - Marian V. Iordache, Po Wu, Feng Zhu, Panos J. Antsaklis:
Efficient design of Petri-net supervisors with disjunctive specifications. 936-941 - Masashi Okuma, Takanori Emaru, Yohei Hoshino, Yukinori Kobayashi:
A novel nonlinear compensator based on digital acceleration control. 942-947 - Takashi Nammoto, Kazuhiro Kosuge, Koichi Hashimoto:
Model-based compliant motion control scheme for assembly tasks using vision and force information. 948-953 - Amar Saric, Jing Xiao, Jane Shi:
Robotic surface assembly via contact state transitions. 954-959 - Bart Milne, George Buchanan, Scott Paulin, Xiaoqi Chen, Christopher E. Hann, Andre Geldenhuis, Richard Parker:
Robotic arm kinematics and bilateral haptic feedback over an ethernet communications link. 960-965 - Riyadh Al Saidi, Bruce P. Minaker:
Analysis and development of self-reconfigurable open kinematic machinery systems. 966-971 - Bofei Sun, Jie Song, Leyuan Shi:
Integrated operating room scheduling optimization under particularly workload constrain of surgeon. 972-977 - Xiaolei Xie, Jingshan Li, Colleen H. Swartz, Yue Dong:
Modeling and analysis of hospital inpatient rescue process: A Markov chain approach. 978-983 - Kar Way Tan, Wei Hao Tan, Hoong Chuin Lau:
Improving patient length-of-stay in emergency department through dynamic resource allocation policies. 984-989 - Xiufeng Shao, Jingshan Li, Douglas A. Wiegmann:
A Markov chain approach to study flow disruptions on surgery in emergency care. 990-995 - Raja Mohd Taufika Raja Ismail, Quang Phuc Ha:
Trajectory tracking and anti-sway control of three-dimensional offshore boom cranes using second-order sliding modes. 996-1001 - Spandan Roy, Sambhunath Nandy, Sankar Nath Shome, Ranjit Ray:
Robust position control of an autonomous underwater vehicle: A comparative study. 1002-1007 - Don Chih-Liang Chen, Jiann-Tyng Tzeng, David Barry Scott, Shih Wei Peng, Meng-Hung Shen, Kam Tou Sio, Praneeth Narayanasetti:
Optimization processing unit (OPU) applied to integrated circuit design and manufacturing. 1008-1015 - Jungwon Seo, Mark Yim, Vijay Kumar:
Assembly planning for planar structures of a brick wall pattern with rectangular modular robots. 1016-1021 - Wenyou Jia, Zhibin Jiang, You Li:
A job-family-oriented algorithm for re-entrant batch processing machine scheduling. 1022-1027 - Li Li, Hui Xu:
Off-line learning based adaptive dispatching rule for semiconductor wafer fabrication facility. 1028-1033 - Jia-Nian Zheng, Chen-Fu Chien:
Master production schedule and system for excelling enterprise resources (SEER) in the LED industry. 1034-1039 - Stephan Sehestedt, Gavin Paul, David Rushton-Smith, Dikai Liu:
Prior-knowledge assisted fast 3D map building of structured environments for steel bridge maintenance. 1040-1046 - Yan Lu, Dezhen Song, Haifeng Li, Jingtai Liu:
Automatic recognition of spurious surface in building exterior survey. 1047-1052 - Hung Manh La, Ronny Salim Lim, Basily Basily, Nenad Gucunski, Jingang Yi, Ali Maher, Francisco A. Romero, Hooman Parvardeh:
Autonomous robotic system for high-efficiency non-destructive bridge deck inspection and evaluation. 1053-1058 - Kyeong Ho Cho, Young Hoon Jin, Ho Moon Kim, Hyungpil Moon, Jachoon Koo, Hyouk Ryeol Choi:
Caterpillar-based cable climbing robot for inspection of suspension bridge hanger rope. 1059-1062 - Fei Liu, Mitja Trkov, Jingang Yi, Nenad Gucunski:
Modeling of pure percussive drilling for autonomous robotic bridge decks rehabilitation. 1063-1068 - Javier Cabrera Martinez, Vadim Azhmyakov:
Optimal switched-type control design for a class of nonlinear systems. 1069-1074 - Jasen Markovski:
Synthesis and analysis of supervisory controllers for time-abstracted discrete-event systems. 1075-1082 - Jun Chen, Ratnesh Kumar:
Decentralized failure diagnosis of stochastic discrete event systems. 1083-1088 - Meng Li, Ratnesh Kumar:
Reduction of automated test generation for Simulink/Stateflow to reachability and its novel resolution. 1089-1094 - Hao Yue, Hesuan Hu:
Robust deadlock control using shared-resources for production systems with unreliable workstations. 1095-1100 - Hao Ding, Jakob Heyn, Bjoern Matthias, Harald Staab:
Structured collaborative behavior of industrial robots in mixed human-robot environments. 1101-1106 - Sang Choi, George Zhang, Thomas A. Fuhlbrigge, Thomas Watson, Richard Tallian:
Applications and requirements of industrial robots in meat processing. 1107-1112 - Konstantin Kernschmidt, Birgit Vogel-Heuser:
An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering. 1113-1118 - Gregory F. Rossano, Carlos Martínez, Mikael Hedelind, Steve Murphy, Thomas A. Fuhlbrigge:
Easy robot programming concepts: An industrial perspective. 1119-1126 - Erick Nieves-Rivera, Ning Xi, Yunyi Jia, Carlos Martínez, George Zhang:
Development of a position sensitive device and control method for automated robot calibration. 1127-1132 - Wenhui Wu, Daniel Yuh Chao, Fang Yu:
A control policy for γ-nets without reachability analysis and siphon enumeration. 1133-1138 - Hesuan Hu, MengChu Zhou, Yang Liu:
Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets. 1139-1144 - Hesuan Hu, MengChu Zhou, Yang Liu:
Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets. 1145-1150 - Hao Yue, Hesuan Hu:
A polynomial deadlock avoidance policy for a class of assembly processes based on Petri nets. 1151-1156
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-04 21:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
