default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIEEE Transactions on Systems, Man, and Cybernetics: Systems, Volume 43
Volume 43, Number 1, January 2013
- Hongbo Sun, Wenhui Fan, Weiming Shen
, Tianyuan Xiao:
Ontology Fusion in High-Level-Architecture-Based Collaborative Engineering Environments. 2-13 - Shai A. Arogeti, Danwei Wang, Chang Boon Low, Ming Luo:
Energy-Based Mode Tracking of Hybrid Systems for FDI. 14-28 - Chunfu Zhong, ZhiWu Li, Yufeng Chen, Abdulrahman Al-Ahmari:
On Nonexistence of a Maximally Permissive Liveness-Enforcing Pure Net Supervisor. 29-37 - Mohammad Owliya, Mozafar Saadat, Guiovanni Jules, Mahbod Goharian, Rachid Anane:
Agent-Based Interaction Protocols and Topologies for Manufacturing Task Allocation. 38-52 - Clara M. Ionescu, J. A. Tenreiro Machado, Robin De Keyser:
Analysis of the Respiratory Dynamics During Normal Breathing by Means of Pseudophase Plots and Pressure-Volume Loops. 53-62 - Gregory Levitin, Suprasad V. Amari, Liudong Xing:
Algorithm for Reliability Evaluation of Nonrepairable Phased-Mission Systems Consisting of Gradually Deteriorating Multistate Elements. 63-73 - Brandon A. Beemer, Dawn G. Gregg:
Dynamic Interaction in Decision Support: Effects on Perceived Diagnosticity and Confidence in Unstructured Domains. 74-84 - Ding Liu, Zhiwu Li, Mengchu Zhou:
Hybrid Liveness-Enforcing Policy for Generalized Petri Net Models of Flexible Manufacturing Systems. 85-97 - Yao Hu, Jingshan Li, Lawrence E. Holloway:
Resilient Control for Serial Manufacturing Networks With Advance Notice of Disruptions. 98-114 - James N. K. Liu, Yu-Lin He, Edward H. Y. Lim, Xizhao Wang:
A New Method for Knowledge and Information Management Domain Ontology Graph Model. 115-127 - Chih-Min Chao, Yao-Zong Wang, Ming-Wei Lu:
Multiple-Rendezvous Multichannel MAC Protocol Design for Underwater Sensor Networks. 128-138 - Manh Tung Pham, Amrith Dhananjayan, Kiam Tian Seow:
On Specification Transparency: Toward A Formal Framework for Designer Comprehensibility of Discrete-Event Control Specifications in Finite Automata. 139-148 - Maria De Marsico, Michele Nappi, Daniel Riccio, Harry Wechsler:
Robust Face Recognition for Uncontrolled Pose and Illumination Changes. 149-163 - Hermann Kaindl, Mathieu Vallée, Edin Arnautovic:
Self-Representation for Self-Configuration and Monitoring in Agent-Based Flexible Automation Systems. 164-175 - Josh C. Bongard, Paul D. H. Hines, Dylan Conger, Peter Hurd, Zhenyu Lu:
Crowdsourcing Predictors of Behavioral Outcomes. 176-185 - Adam Zagorecki, Marek J. Druzdzel:
Knowledge Engineering for Bayesian Networks: How Common Are Noisy-MAX Distributions in Practice? 186-195 - Naiqi Wu, Feng Chu, Chengbin Chu, MengChu Zhou:
Petri Net Modeling and Cycle-Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting. 196-207 - Craig Schreiber, Kathleen M. Carley:
Validating Agent Interactions in Construct Against Empirical Communication Networks Using the Calibrated Grounding Technique. 208-214 - Roberto Cordone, Luigi Piroddi:
Parsimonious Monitor Control of Petri Net Models of Flexible Manufacturing Systems. 215-221 - Jianhui Chen, Ning Zhong:
Toward the Data-Brain Driven Systematic Brain Data Analysis. 222-228 - Kourosh Noori, Kouroush Jenab:
Fuzzy Reliability-Based Traction Control Model for Intelligent Transportation Systems. 229-234
Volume 43, Number 2, March 2013
- Xu Han, Huy N. Bui, Suvasri Mandal, Krishna R. Pattipati, David L. Kleinman:
Optimization-Based Decision Support Software for a Team-In-The-Loop Experiment: Asset Package Selection and Planning. 237-251 - Yufeng Chen, ZhiWu Li, Abdulrahman Al-Ahmari:
Nonpure Petri Net Supervisors for Optimal Deadlock Control of Flexible Manufacturing Systems. 252-265 - Bin Shen, Tsan-Ming Choi, Yulan Wang, Chris K. Y. Lo:
The Coordination of Fashion Supply Chains With a Risk-Averse Supplier Under the Markdown Money Policy. 266-276 - Liudong Xing, Gregory Levitin, Chaonan Wang, Yuanshun Dai:
Reliability of Systems Subject to Failures With Dependent Propagation Effect. 277-290 - GuanJun Liu, Changjun Jiang, MengChu Zhou, PengCheng Xiong:
Interactive Petri Nets. 291-302 - Philip Weber, Behzad Bordbar, Peter Tiño:
A Framework for the Analysis of Process Mining Algorithms. 303-317 - Javier Andrade, Juan Ares, Rafael García, María-Aurora Martínez, Juan Pazos, Santiago Rodríguez Yáñez, Sonia Suárez:
A New Approach for the Validation of Conceptual Holonic Constructions. 318-331 - Jianjun Li, LihChyun Shu, Jian-Jia Chen, Guohui Li:
Energy-Efficient Scheduling in Nonpreemptive Systems With Real-Time Constraints. 332-344 - Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events. 345-355 - Ya-Li Hou, Grantham K. H. Pang:
Multicue-Based Crowd Segmentation Using Appearance and Motion. 356-369 - Bob Zhang, Wei Li, Pei Qing, David Zhang:
Palm-Print Classification by Global Features. 370-378 - Xuping Tu, Hai Jin, Jiannong Cao, Song Guo, Long Zheng, Zehua Lv:
An Efficient Data Scheduling Scheme for P2P Storage-Constrained IPTV System. 379-389 - Luca Colasanto, Raúl Suárez, Jan Rosell:
Hybrid Mapping for the Assistance of Teleoperated Grasping Tasks. 390-401 - Ferucio Laurentiu Tiplea, Corina Bocaneala:
Priority Workflow Nets. 402-415 - Tsan Sheng Ng, Yong-Chuen Kang:
The Inquiry of Labor Market Dynamics in Knowledge Economies: An Agent-Based Approach. 416-427 - Jian Wu, Liang Chen, Yipeng Feng, Zibin Zheng, MengChu Zhou, Zhaohui Wu:
Predicting Quality of Service for Selection by Neighborhood-Based Collaborative Filtering. 428-439 - Chien-Liang Liu, Wen-Hoar Hsaio, Chia-Hoang Lee, Hsiao-Cheng Chi:
An HMM-Based Algorithm for Content Ranking and Coherence-Feature Extraction. 440-450 - Leslaw Gniewek:
Sequential Control Algorithm in the Form of Fuzzy Interpreted Petri Net. 451-459 - Erik Vargo, Ellen J. Bass, Randy Cogill:
Belief Propagation for Large-Variable-Domain Optimization on Factor Graphs: An Application to Decentralized Weather-Radar Coordination. 460-466 - Nikola Todorovic, Sanja Petrovic:
Bee Colony Optimization Algorithm for Nurse Rostering. 467-473 - ZhiWu Li, GaiYun Liu, Hans-Michael Hanisch, MengChu Zhou:
Erratum to Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems. 474
Volume 43, Number 3, May 2013
- Enrico Zio, Giovanni Sansavini:
Vulnerability of Smart Grids With Variable Generation and Consumption: A System of Systems Perspective. 477-487 - Matthew L. Bolton, Ellen J. Bass, Radu I. Siminiceanu:
Using Formal Verification to Evaluate Human-Automation Interaction: A Review. 488-503 - Ana Luísa Ferreira Andrade Ramos, José Vasconcelos Ferreira, Jaume Barceló:
LITHE: An Agile Methodology for Human-Centric Model-Based Systems Engineering. 504-521 - Anuradha Kodali, Krishna R. Pattipati, Satnam Singh:
Coupled Factorial Hidden Markov Models (CFHMM) for Diagnosing Multiple and Coupled Faults. 522-534 - Matthew J. Daigle, Kai Goebel:
Model-Based Prognostics With Concurrent Damage Progression Processes. 535-546 - Anuradha Kodali, Satnam Singh, Krishna R. Pattipati:
Dynamic Set-Covering for Real-Time Multiple Fault Diagnosis With Delayed Test Outcomes. 547-562 - Albert Yu, Benjamin Thompson, Robert J. Marks II:
Competitive Evolution of Tactical Multiswarm Dynamics. 563-569 - Francisco Almeida, Domingo Giménez, Jose-Juan López-Espín, Melquíades Pérez Pérez:
Parameterized Schemes of Metaheuristics: Basic Ideas and Applications With Genetic Algorithms, Scatter Search, and GRASP. 570-586 - Anisha Halder, Amit Konar, Rajshree Mandal, Aruna Chakraborty, Pavel Bhowmik, Nikhil R. Pal, Atulya K. Nagar:
General and Interval Type-2 Fuzzy Face-Space Approach to Emotion Recognition. 587-605 - Jorge García, Alfredo Gardel Vicente, Ignacio Bravo Muñoz, José Luis Lázaro, Miguel Martínez-Rey:
Tracking People Motion Based on Extended Condensation Algorithm. 606-618 - Scott E. Budge, John A. Sallay, Ziang Wang, Jacob H. Gunther:
People Matching for Transportation Planning Using Texel Camera Data for Sequential Estimation. 619-629 - Andrés Mora, Dylan F. Glas, Takayuki Kanda, Norihiro Hagita:
A Teleoperation Approach for Mobile Social Robots Incorporating Automatic Gaze Control and Three-Dimensional Spatial Visualization. 630-642 - Feras Batarseh, Avelino J. Gonzalez:
Incremental Lifecycle Validation of Knowledge-Based Systems Through CommonKADS. 643-654 - Shahid Hussain, Sheng Quan Xie, Prashant Kumar Jamwal:
Robust Nonlinear Control of an Intrinsically Compliant Robotic Gait Training Orthosis. 655-665 - Sibsambhu Kar, Aurobinda Routray:
Effect of Sleep Deprivation on Functional Connectivity of EEG Channels. 666-672 - Dimitrios Rafailidis, Petros Daras:
The TFC Model: Tensor Factorization and Tag Clustering for Item Recommendation in Social Tagging Systems. 673-688 - Dong Wang, Jianliang Wang, Wei Wang:
H∞ Controller Design of Networked Control Systems With Markov Packet Dropouts. 689-697 - Mangey Ram, Suraj Bhan Singh, Vijay Vir Singh:
Stochastic Analysis of a Standby System With Waiting Repair Strategy. 698-707 - Mahima Agumbe Suresh, Radu Stoleru, Emily M. Zechman, Basem Shihada:
On Event Detection and Localization in Acyclic Flow Networks. 708-723 - Natalia Sidorova, Christian Stahl:
Soundness for Resource-Constrained Workflow Nets Is Decidable. 724-729 - Sumin Cho, Sungho Jo:
Incremental Online Learning of Robot Behaviors From Selected Multiple Kinesthetic Teaching Trials. 730-740
Volume 43, Number 4, July 2013
- Maria Pia Fanti, Agostino Marcello Mangini, Mariagrazia Dotoli, Walter Ukovich:
A Three-Level Strategy for the Design and Performance Evaluation of Hospital Departments. 742-756 - Jiafeng Zhang, Mohamed Khalgui, Zhiwu Li, Olfa Mosbahi, Abdulrahman Al-Ahmari:
R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems. 757-772 - Chen-Khong Tham, Tie Luo:
Sensing-Driven Energy Purchasing in Smart Grid Cyber-Physical System. 773-784 - Weiping Tan, Brian J. Sauser, Jose Emmanuel Ramirez-Marquez, Romulo B. Magnaye:
Multiobjective Optimization in Multifunction Multicapability System Development Planning. 785-800 - Jie Sun, Hui Li, Hojjat Adeli:
Concept Drift-Oriented Adaptive and Dynamic Support Vector Machine Ensemble With Time Window in Corporate Financial Risk Prediction. 801-813 - Pratyusha Rakshit, Amit Konar, Pavel Bhowmik, Indrani Goswami, Swagatam Das, Lakhmi C. Jain, Atulya K. Nagar:
Realization of an Adaptive Memetic Algorithm Using Differential Evolution and Q-Learning: A Case Study in Multirobot Path Planning. 814-831 - Anugrah K. Pamosoaji, Keum-Shik Hong:
A Path-Planning Algorithm Using Vector Potential Functions in Triangular Regions. 832-842 - Kuanhao Zheng, Dylan F. Glas, Takayuki Kanda, Hiroshi Ishiguro, Norihiro Hagita:
Designing and Implementing a Human-Robot Team for Social Interactions. 843-859 - Chase C. Murray, Woojin Park:
Incorporating Human Factor Considerations in Unmanned Aerial Vehicle Routing. 860-874 - Qiuxia Wu, Zhiyong Wang, Feiqi Deng, Zheru Chi, David Dagan Feng:
Realistic Human Action Recognition With Multimodal Feature Selection and Fusion. 875-885 - Mark McClelland, Mark E. Campbell:
Probabilistic Modeling of Anticipation in Human Controllers. 886-900 - Jesús Ibáñez:
Emotional Sea: Showing Valence and Arousal Through the Sharpness and Movement of Digital Cartoonish Sea Waves. 901-910 - Maria Chiara Caschera, Fernando Ferri, Patrizia Grifoni:
InteSe: An Integrated Model for Resolving Ambiguities in Multimodal Sentences. 911-931 - ShouGuang Wang, MengChu Zhou, ZhiWu Li, Chengying Wang:
A New Modified Reachability Tree Approach and Its Applications to Unbounded Petri Nets. 932-940 - Pengwei Wang, Zhijun Ding, Changjun Jiang, MengChu Zhou:
Design and Implementation of a Web-Service-Based Public-Oriented Personalized Health Care Platform. 941-957 - Tongdan Jin, Ying Yu, Hong-Zhong Huang:
A Multiphase Decision Model for System Reliability Growth With Latent Failures. 958-966 - Gregory Levitin, Liudong Xing, Suprasad V. Amari, Yuanshun Dai:
Reliability of Nonrepairable Phased-Mission Systems With Common Cause Failures. 967-978 - Edouard Kujawski:
Analysis and Critique of the System Readiness Level. 979-987 - Steffen Walter, Jonghwa Kim, David Hrabal, Stephen Clive Crawcour, Henrik Kessler, Harald C. Traue:
Transsituational Individual-Specific Biopsychological Classification of Emotions. 988-995 - Jinshi Cui, Ye Liu, Yuandong Xu, Huijing Zhao, Hongbin Zha:
Tracking Generic Human Motion via Fusion of Low- and High-Dimensional Approaches. 996-1002 - Ruggero Donida Labati, Angelo Genovese, Vincenzo Piuri, Fabio Scotti:
Wildfire Smoke Detection Using Computational Intelligence Techniques Enhanced With Synthetic Smoke Plume Generation. 1003-1012
Volume 43, Number 5, September 2013
- Gabriel Alves de Albuquerque, Paulo Romero Martins Maciel, Ricardo Massa Ferreira Lima, Fábio S. Magnani:
Strategic and Tactical Evaluation of Conflicting Environment and Business Goals in Green Supply Chains. 1013-1027 - Wei Duan, Zhidong Cao, Youzhong Wang, Bin Zhu, Daniel Zeng, Fei-Yue Wang, Xiaogang Qiu, Hongbin Song, Yong Wang:
An ACP Approach to Public Health Emergency Management: Using a Campus Outbreak of H1N1 Influenza as a Case Study. 1028-1041 - Xu Chen:
Police Patrol Optimization With Security Level Functions. 1042-1051 - Ashish Pandharipande, David Caicedo:
Adaptive Illumination Rendering in LED Lighting Systems. 1052-1062 - Winston J. Ewert, Robert J. Marks II, Benjamin Thompson, Albert Yu:
Evolutionary Inversion of Swarm Emergence Using Disjunctive Combs Control. 1063-1076 - Chiu-Hung Chen, Tung-Kuan Liu, Jyh-Horng Chou:
Integrated Short-Haul Airline Crew Scheduling Using Multiobjective Optimization Genetic Algorithms. 1077-1090 - Guozhen Zhao, Changxu Wu:
Mathematical Modeling of Driver Speed Control With Individual Differences. 1091-1104 - John Oluwagbemiga Oyekan, Dongbing Gu, Huosheng Hu:
Visual Imaging of Invisible Hazardous Substances Using Bacterial Inspiration. 1105-1115 - John P. Sahlin, Shahram Sarkani, Thomas A. Mazzuchi:
Enterprise Consolidation for DoD Using AdvancedTCA. 1116-1129 - Klaus Werner Schmidt:
Verification of Modular Diagnosability With Local Specifications for Discrete-Event Systems. 1130-1140 - Amit Konar, Indrani Goswami, Sapam Jitu Singh, Lakhmi C. Jain, Atulya K. Nagar:
A Deterministic Improved Q-Learning for Path Planning of a Mobile Robot. 1141-1153 - Yazhuo Gong, David Zhang, Pengfei Shi, Jingqi Yan:
Handheld System Design for Dual-Eye Multispectral Iris Capture With One Camera. 1154-1166 - Simona Bernardi, Javier Campos:
A Min-Max Problem for the Computation of the Cycle Time Lower Bound in Interval-Based Time Petri Nets. 1167-1181 - Naiqi Wu, MengChu Zhou, Feng Chu, Chengbin Chu:
A Petri-Net-Based Scheduling Strategy for Dual-Arm Cluster Tools With Wafer Revisiting. 1182-1194 - Lin Li, Zeyi Sun:
Dynamic Energy Control for Energy Efficiency Improvement of Sustainable Manufacturing Systems Using Markov Decision Process. 1195-1205 - Chengju Liu, Danwei Wang, Qijun Chen:
Central Pattern Generator Inspired Control for Adaptive Walking of Biped Robots. 1206-1215 - Qian Wang, Xiang Chen, Ruizhi Chen, Yuwei Chen, Xu Zhang:
Electromyography-Based Locomotion Pattern Recognition and Personal Positioning Toward Improved Context-Awareness Applications. 1216-1227 - Milan Z. Bjelica, Bojan Mrazovac, Istvan Papp, Nikola Teslic:
Context-Aware Platform with User Availability Estimation and Light-Based Announcements. 1228-1239 - Yunni Xia, Xin Luo, Jia Li, Qingsheng Zhu:
A Petri-Net-Based Approach to Reliability Determination of Ontology-Based Service Compositions. 1240-1247 - ShouGuang Wang, Chengying Wang, MengChu Zhou:
Design of Optimal Monitor-Based Supervisors for a Class of Petri Nets With Uncontrollable Transitions. 1248-1255 - R. S. Sreenivas:
On a Decidable Class of Partially Controlled Petri Nets With Liveness Enforcing Supervisory Policies. 1256-1261
Volume 43, Number 6, November 2013
- Asier Aztiria, Juan Carlos Augusto, Rosa Basagoiti, Alberto Izaguirre, Diane J. Cook:
Learning Frequent Behaviors of the Users in Intelligent Environments. 1265-1278 - Bo-Wei Chen, Chen-Yu Chen, Jhing-Fa Wang:
Smart Homecare Surveillance System: Behavior Identification Based on State-Transition Support Vector Machines and Sound Directivity Pattern Analysis. 1279-1289 - Giuseppe Di Fatta, Guy Haworth:
Skilloscopy: Bayesian Modeling of Decision Makers' Skill. 1290-1301 - Matthew L. Bolton, Ellen J. Bass:
Generating Erroneous Human Behavior From Strategic Knowledge in Task Models and Evaluating Its Impact on System Safety With Model Checking. 1314-1327 - Sean Bernath Walker, Keith W. Hipel, Haiyan Xu:
A Matrix Representation of Attitudes in Conflicts. 1328-1342 - Huaqing Li, Xiaofeng Liao, Tingwen Huang:
Second-Order Locally Dynamical Consensus of Multiagent Systems With Arbitrarily Fast Switching Directed Topologies. 1343-1353 - Carl Svärd, Mattias Nyberg, Erik Frisk:
Realizability Constrained Selection of Residual Generators for Fault Diagnosis With an Automotive Engine Application. 1354-1369 - Shigang Zhang, Krishna R. Pattipati, Zheng Hu, Xisen Wen:
Optimal Selection of Imperfect Tests for Fault Detection and Isolation. 1370-1384 - Ricardo J. Rodríguez, Jorge Júlvez, José Merseguer:
On the Performance Estimation and Resource Optimization in Process Petri Nets. 1385-1398 - Hu-Chen Liu, Qing-Lian Lin, Ling-Xiang Mao, Zhi-Ying Zhang:
Dynamic Adaptive Fuzzy Petri Nets for Knowledge Representation and Reasoning. 1399-1410 - Toshiyuki Miyamoto, Kyota Horiguchi:
Modular Reachability Analysis of Petri Nets for Multiagent Systems. 1411-1423 - Shigang Zhang, Krishna R. Pattipati, Zheng Hu, Xisen Wen, Chaitanya Sankavaram:
Dynamic Coupled Fault Diagnosis With Propagation and Observation Delays. 1424-1439 - Liyang Wang, Zhi Liu, C. L. Philip Chen, Yun Zhang, Sukhan Lee, Xin Chen:
A UKF-Based Predictable SVR Learning Controller for Biped Walking. 1440-1450 - Yangguang Fu, Mingyue Ding, Chengping Zhou, Hanping Hu:
Route Planning for Unmanned Aerial Vehicle (UAV) on the Sea Using Hybrid Differential Evolution and Quantum-Behaved Particle Swarm Optimization. 1451-1465 - Fuyong Lin, T. C. E. Cheng, Cheng Huang, Xiaoheng Liang, Jianan Zhao:
Developing an Organization Design Framework and Sample Based on the Total Relationship Flow Management Theorems. 1466-1476 - Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets. 1477-1485
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-12-12 01:09 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:
