加入收藏夹
联系我们
关于本站
个人主页
西电导航
西安电子科技大学
    当前位置:首页>>学术讲座
Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs
时间:2018-06-25 17:43    点击:   所属单位:机电工程学院
讲座名称 Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs
讲座时间 2018-06-29 10:00:00
讲座地点 北校区主楼三区327机电工程学院-第四会议室
讲座人 MengChu Zhou
讲座人介绍

Department of Electrical and Computer Engineering, New Jersey Institute of Technology, Newark, NJ, UAS

MengChu Zhou (S’88–M’90–SM’93–F’03) received the B.S. degree in control engineering from the Nanjing University of Science and Technology, Nanjing, China, in 1983, the M.S. degree in automatic control from the Beijing Institute of Technology, Beijing, China, in 1986, and the Ph.D. degree in computer and systems engineering from Rensselaer Polytechnic Institute, Troy, NY, USA, in 1990.

He joined the New Jersey Institute of Technology, Newark, NJ, USA, in 1990, where he is currently a Distinguished Professor of Electrical and Computer Engineering. He has over 640 publications, including 12 books, over 320 journal papers (over 240 in IEEE Transactions), and 28 book-chapters. His research interests include Petri nets, Internet of things, big data, semiconductor manufacturing, transportation, and energy systems.

Mr. Zhou is the Founding Editor of the IEEE Press Book Series on Systems Science and Engineering. He is a fellow of the International Federation of Automatic Control and the American Association for the Advancement of Science.
 

讲座内容

This work proposes a novel structure in Petri nets, namely data inhibitor arcs, and their application to the optimal supervisory control of Petri nets. A data inhibitor arc is an arc from a place to a transition labeled with a set of integers. A transition is disabled by a data inhibitor arc if the number of tokens in the place is in the set of integers labeled on it. Its formal definitions and properties are given. Then, we propose a method to design an optimal Petri net supervisor with data inhibitor arcs to prevent a system from reaching illegal markings with respect to control specifications. Two techniques are developed to reduce the supervisor structure by compressing the number of control places. Finally, a number of examples are used to illustrate the proposed approaches and experimental results show that they can obtain optimal Petri net supervisors for the net models that cannot be optimally controlled by pure net supervisors. A significant result is that the proposed approach can always lead to an optimal supervisor with only one control place for bounded Petri nets on the premise that such a supervisor exists.

转载请注明出处:西安电子科技大学学术信息网
如果您有学术信息或学术动态,欢迎投稿。我们将在第一时间确认并收录,投稿邮箱: meeting@xidian.edu.cn
Copyright © 2011-2018 西安电子科技大学 
开发维护:电子工程学院网络信息中心  管理员:meeting@xidian.edu.cn 站长统计: