In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading m...In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading modification attack(SM-attack) that may disguise the occurrence of an event as that of another event by intruding sensor communication channels. To solve the problem, we introduce non-deterministic supervisors in the paper, which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system. Specifically, given a bounded Petri net(PN) as the reference formalism and an SMattack, an algorithm that synthesizes a liveness-enforcing nondeterministic supervisor tolerant to the SM-attack is proposed for the first time.展开更多
Background:In the pursuit of fostering employees’well-being,leaders are recognized as playing a vital role.However,so far,most of the existing research has focused on leadership behavior and the superficial interacti...Background:In the pursuit of fostering employees’well-being,leaders are recognized as playing a vital role.However,so far,most of the existing research has focused on leadership behavior and the superficial interaction between leaders and members but has unexpectedly ignored the specific supporting role of supervisors in the career development of employees,that is,supervisory career support.Additionally,the internal mechanism of how career support from supervisors is related to and promotes employees’wellbeing is still unclear.Based on social cognitive career theory(SCCT),this study aimed to explore whether,how,and when supervisory career support affects employee well-being by introducing the two paths of‘career prospect’and‘career confidence.’Methods:During July 2023,this study employed a cross-sectional design.We gathered participants from corporate situated in Southern China.Results:Results based on a large sample of 14,533 employees showed that supervisory career support was positively related to employees’well-being through the dual path of career prospects(opportunity)and career confidence(ability).Employees high in proactive personality experienced the above positive effects most.Conclusion:This study provides meaningful implications for managers to implement personalized support strategies to improve employees’well-being.展开更多
Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect ma...Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.展开更多
This study examined the relationship between budget participation and managerial performance as mediated by trust in supervisor and explored the moderating role of budget-goal difficulty on budget participation, trust...This study examined the relationship between budget participation and managerial performance as mediated by trust in supervisor and explored the moderating role of budget-goal difficulty on budget participation, trust in supervisor, and managerial performance. One-hundred-fifty-eight useful responses were drawn at random from subordinate managers of manufacturing companies listed on the Taiwan Stock Exchange. The mediating effect of trust in supervisor was examined by path analysis. Subgroup analysis was used to examine the contingency effect of budget-goal difficulty on the mediating role of trust in supervisor between budget participation and performance. The findings support our hypotheses and demonstrate the mediating effect of trust in supervisor and the moderating effect of budget-goal difficulty.展开更多
基金supported in part by the Public Technology Research Plan of Zhejiang Province (LGJ21F030001)the National Natural Science Foundation of China (62302448)the Zhejiang Provincial Key Laboratory of New Network Standards and Technologies (2013E10012)。
文摘In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading modification attack(SM-attack) that may disguise the occurrence of an event as that of another event by intruding sensor communication channels. To solve the problem, we introduce non-deterministic supervisors in the paper, which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system. Specifically, given a bounded Petri net(PN) as the reference formalism and an SMattack, an algorithm that synthesizes a liveness-enforcing nondeterministic supervisor tolerant to the SM-attack is proposed for the first time.
基金supported by the National Natural Science Foundation of China(Project no.72272117).
文摘Background:In the pursuit of fostering employees’well-being,leaders are recognized as playing a vital role.However,so far,most of the existing research has focused on leadership behavior and the superficial interaction between leaders and members but has unexpectedly ignored the specific supporting role of supervisors in the career development of employees,that is,supervisory career support.Additionally,the internal mechanism of how career support from supervisors is related to and promotes employees’wellbeing is still unclear.Based on social cognitive career theory(SCCT),this study aimed to explore whether,how,and when supervisory career support affects employee well-being by introducing the two paths of‘career prospect’and‘career confidence.’Methods:During July 2023,this study employed a cross-sectional design.We gathered participants from corporate situated in Southern China.Results:Results based on a large sample of 14,533 employees showed that supervisory career support was positively related to employees’well-being through the dual path of career prospects(opportunity)and career confidence(ability).Employees high in proactive personality experienced the above positive effects most.Conclusion:This study provides meaningful implications for managers to implement personalized support strategies to improve employees’well-being.
基金the State Key Laboratory for Manufacturing System Engineering at Xi'an Jiaotong University. China.
文摘Deadlock avoidance problems are investigated for automated manufacturing systems with flexible routings. Based on the Petri net models of the systems, this paper proposes, for the first time, the concept of perfect maximal resourcetransition circuits and their saturated states. The concept facilitates the development of system liveness characterization and deadlock avoidance Petri net supervisors. Deadlock is characterized as some perfect maximal resource-transition circuits reaching their saturated states. For a large class of manufacturing systems, which do not contain center resources, the optimal deadlock avoidance Petri net supervisors are presented. For a general manufacturing system, a method is proposed for reducing the system Petri net model so that the reduced model does not contain center resources and, hence, has optimal deadlock avoidance Petri net supervisor. The controlled reduced Petri net model can then be used as the liveness supervisor of the system.
文摘This study examined the relationship between budget participation and managerial performance as mediated by trust in supervisor and explored the moderating role of budget-goal difficulty on budget participation, trust in supervisor, and managerial performance. One-hundred-fifty-eight useful responses were drawn at random from subordinate managers of manufacturing companies listed on the Taiwan Stock Exchange. The mediating effect of trust in supervisor was examined by path analysis. Subgroup analysis was used to examine the contingency effect of budget-goal difficulty on the mediating role of trust in supervisor between budget participation and performance. The findings support our hypotheses and demonstrate the mediating effect of trust in supervisor and the moderating effect of budget-goal difficulty.
