题目：Optimal Supervisory Control of Flexible Manufacturing Systems
报告人：Prof. MengChu Zhou（周孟初教授）
Department of Electrical and Computer Engineering
New Jersey Institute of Technology USA
时间：8月10日星期五上午10:30
地点：智能系统与控制研究所（教18）223室

报告摘要：
Supervisory control is usually considered as an external control mechanism to a system by controlling the occurrences of its controllable events. Since a system’s Petri net model may have non-convex legal reachability space, it cannot be optimally controlled by the conjunctions of linear constraints. This work addresses three issues to deal with deadlock problems by disjunctive constraints:
1) An optimal control mechanism is presented by dividing the set of legal markings into multi-subsets and designing a linear constraint for each subset.
2) An Integer Linear Programming Problem is formulated to obtain a minimum set of linear constraints such that each constraint can forbid all First-met Bad Markings and every legal marking satisfies at least one constraint.
3) A Petri net supervisory structure is proposed for the disjunctions of linear constraints. The supervisor controls only the transitions in the original net but does not change its states.
The proposed method is applicable to all FMS-oriented classes of Petri net models in the literature.

报告人简介：

MengChu Zhou is currently Professor of New Jersey Institute of Technology and Tongji University. His research interests are in Petri nets, wireless ad hoc and sensor networks, web service, semiconductor manufacturing, transportation and energy systems. He has over 460 publications including 10 books, 200+ journal papers (majority in IEEE Transactions), and 18 book-chapters. He is the founding Editor-in-Charge of IEEE Book Series on Systems Science and Engineering. He is currently Editor of IEEE Transactions on Automation Science and Engineering, and Associate Editor of IEEE Transactions on Systems, Man and Cybernetics: Part A, IEEE Transactions on Industrial Informatics and IEEE Transactions on Intelligent Transportation Systems. He served as General Chair and Program Chair of IEEE International Conferences on Networking, Sensing and Control, IEEE International Conferences on Systems, Man and Cybernetics, and IEEE International Conferences on Automation Science and Engineering. He is a life member of Chinese Association for Science and Technology-USA and served as its President in 1999. He is Fellow of IEEE and American Association for the Advancement of Science (AAAS).