Search

Copyright of Information & Control is the property of Gai Kan Bian Wei Hui and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

This paper proposes a controller synthesis method based on matrix transformation and integer linear programming to address the problem of forbidden state controller design for Petri net systems with uncontrollable transitions. The key idea behind this method involves transforming generalized mutual exclusion constraints (GMEC) that represent the legal states of a Petri net system. Based on the incidence matrix of a Petri net, it divides the set of places into irrelevant places, uncontrollable places, and complementary places. By modifying the weights of complementary places and uncontrollable places in the given GMEC, it then converts the given GMEC into an allowable one by solving integer linear programming problems. Using the allowable GMEC, this paper designs a structural controller for Petri nets based on the principle of place invariants. Finally, it takes a part processing system as an example to show that the application is versatile and efficient, offering an effective solution for the controller design of intelligent manufacturing systems. [ABSTRACT FROM AUTHOR]

Copyright of Information & Control is the property of Gai Kan Bian Wei Hui and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Based on labeled time Petrinets (LTPN s), this paper proposed afault diagnosis method for discrete event systems with unobservable events. Firstly, by analyzing the deficiency of the modified state class graph (MSCG) of an LTPN system, this paper provided an improved MSCG. Secondly, it gave an observable label sequence and a time instant, it searched all the timing consistent paths by solving the linear programming problems associated with the paths in an improved MSCG, so as to analyze the systemfailure. Finally, it verified the effectiveness of the proposed method by taking the alternating bit protocol system as an example, which provided an effective scheme for the fault diagnosis of complex real-time systems. [ABSTRACT FROM AUTHOR]

Copyright of Information & Control is the property of Gai Kan Bian Wei Hui and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Control Theory & Applications / Kongzhi Lilun Yu Yinyong is the property of Editorial Department of Control Theory & Applications and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Control Theory & Applications / Kongzhi Lilun Yu Yinyong is the property of Editorial Department of Control Theory & Applications and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

Copyright of Control Theory & Applications / Kongzhi Lilun Yu Yinyong is the property of Editorial Department of Control Theory & Applications and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)

With the development of information technology, employees in knowledge organization have been facing with the mixed-task environment which consists of on-line task and off-line task. Therefore, task processing is no longer a discrete event system, but a process of interaction between employees and discrete event system. Firstly, this paper described psychology of employees; secondly, this paper designed a two-stage decision algorithm to simulate the interactive process between knowledge worker and task processing; lastly, this paper analyzed the impact of memory, decision psychology, and rewards and punishment mechanism based on a large number of simulation experiments. [ABSTRACT FROM AUTHOR]