Modeling and control of operator functional state in a unified framework of fuzzy inference petri nets

被引:24
作者
Zhang, Jian-Hua [1 ]
Xia, Jia-Jun [1 ]
Garibaldi, Jonathan M. [2 ]
Groumpos, Petros P. [3 ]
Wang, Ru-Bin [4 ]
机构
[1] East China Univ Sci & Technol, Sch Informat Sci & Engn, 130 Meilong Rd, Shanghai 200237, Peoples R China
[2] Univ Nottingham, Sch Comp Sci, Nottingham NG8 1BB, England
[3] Univ Patras, Dept Elect & Comp Engn, Patras 26500, Greece
[4] East China Univ Sci & Technol, Inst Cognit Neurodynam, Shanghai 200237, Peoples R China
基金
中国国家自然科学基金;
关键词
Man-machine system; Fuzzy inference petri net; Operator functional state; Human performance; Adaptive functional allocation; Electroencephalography; PREDICTIVE CONTROL; HYBRID SYSTEMS; MACHINE; ALGORITHM; IDENTIFICATION; REPRESENTATION; AUTOMATION; SIMULATION;
D O I
10.1016/j.cmpb.2017.03.016
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Background and objective: In human-machine (HM) hybrid control systems, human operator and machine cooperate to achieve the control objectives. To enhance the overall HM system performance, the discrete manual control task-load by the operator must be dynamically allocated in accordance with continuous time fluctuation of psychophysiological functional status of the operator, so-called operator functional state (OFS). The behavior of the HM system is hybrid in nature due to the co-existence of discrete task load (control) variable and continuous operator performance (system output) variable. Methods: Petri net is an effective tool for modeling discrete event systems, but for hybrid system involving discrete dynamics, generally Petri net model has to be extended. Instead of using different tools to represent continuous and discrete components of a hybrid system, this paper proposed a method of fuzzy inference Petri nets (FIPN) to represent the HM hybrid system comprising a Mamdani-type fuzzy model of OFS and a logical switching controller in a unified framework, in which the task-load level is dynamically reallocated between the operator and machine based on the model-predicted OFS. Furthermore, this paper used a multi-model approach to predict the operator performance based on three electroen-cephalographic (EEG) input variables (features) via the Wang-Mendel (WM) fuzzy modeling method. The membership function parameters of fuzzy OFS model for each experimental participant were optimized using artificial bee colony (ABC) evolutionary algorithm. Three performance indices, RMSE, MRE, and EPR, were computed to evaluate the overall modeling accuracy. Results: Experiment data from six participants are analyzed. The results show that the proposed method (FIPN with adaptive task allocation) yields lower breakdown rate (from 14.8% to 3.27%) and higher human performance (from 90.30% to 91.99%). Conclusion: The simulation results of the FIPN-based adaptive HM (AHM) system on six experimental participants demonstrate that the FIPN framework provides an effective way to model and regulate/optimize the OFS in HM hybrid systems composed of continuous-time OFS model and discrete-event switching controller. (C) 2017 Elsevier B.V. All rights reserved.
引用
收藏
页码:147 / 163
页数:17
相关论文
共 39 条
[1]  
AGERWALA T, 1979, COMPUTER, V12, P85, DOI 10.1109/MC.1979.1658580
[2]  
[Anonymous], 2008, AUTOCAMS 2 0 MANUAL
[3]  
Chang Won-Du, 2016, COMPUT METH PROG BIO, V129, P21
[4]   Modeling and stability analysis of state-switched hybrid systems via Differential Petri Nets [J].
Davrazos, Gregory ;
Koussoulas, Nick T. .
SIMULATION MODELLING PRACTICE AND THEORY, 2007, 15 (08) :879-893
[5]   Differential Petri nets: Representing continuous systems in a discrete-event world [J].
Demongodin, I ;
Koussoulas, NT .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1998, 43 (04) :573-579
[6]   Differential Petri net models for industrial automation and supervisory control [J].
Demongodin, Isabel ;
Koussoulas, Nick T. .
IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART C-APPLICATIONS AND REVIEWS, 2006, 36 (04) :543-553
[7]   Fuzzy timed Petri net definitions, properties, and applications [J].
Ding, ZH ;
Bunke, H ;
Schneider, M ;
Kandel, A .
MATHEMATICAL AND COMPUTER MODELLING, 2005, 41 (2-3) :345-360
[8]   A Polynomial Algorithm to Performance Analysis of Concurrent Systems Via Petri Nets and Ordinary Differential Equations [J].
Ding, Zuohua ;
Zhou, Yuan ;
Zhou, MengChu .
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING, 2015, 12 (01) :295-308
[9]   Ordinary Differential Equation-Based Deadlock Detection [J].
Ding, Zuohua ;
Zhou, MengChu ;
Wang, ShouGuang .
IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2014, 44 (10) :1435-1454
[10]   Petri Net Representation of Switched Fuzzy Systems [J].
Ding, Zuohua ;
Ma, Jiaying ;
Kandel, Abraham .
IEEE TRANSACTIONS ON FUZZY SYSTEMS, 2013, 21 (01) :16-29