学科建设
     学科公告
     学科新闻
     学术交流
     资料下载
 
   学术交流 您当前所在位置 : 首页 >> 学术交流   

F&67bs2d2ormal Methodology in Manufacturing: Automata, Petri Nets, &67bs2d2and Model Checking

文章来源:学院办公室           添加时间:2019/8/27 16:29:06

 

本次高水平学术交流活动由发展规划与学科建设处邀请澳门科技大学大学李志武教授,与我校师生共同探讨先进制造与控制方面的内容。具体安排如下,欢迎感兴趣的师生参加。

一、主  题:Formal Methodology in Manufacturing: Automata, Petri Nets, and Model Checking

二、主讲人:李志武教授,澳门科技大学

三、时  间:2019830日下午14:30(星期五)

   四、地  点:研究院大楼202会议室

五、主持人:李滚教授,航空航天学院

六、内容简介:

Information technology provides spurs to the blooming of automated and computer- integrated manufacturing systems whose complexity stems from their large dimension due to the highly parallel and distributed nature. Formal methods and mathematical rigor enable manufacturing engineers to handle fundamental design principles and to deal with typical engineering problems. They can also provide both a deep understanding of a system and verification and validation of some desired properties. The purpose of this talk is to briefly deliver ideas of the modeling and control of automated manufacturing systems, in a logic level, from the automaton and Petri net perspectives, offering an integrated view of design specification, validation, performance evaluation, planning, scheduling and control of manufacturing systems. Supervisory control theory based on formal languages and finite state machines is first reviewed and a Petri net approach is then recalled. In addition, model checking is briefly introduced.

七、主讲人简介:

 

         ZhiWu Li received the B.S., M.S., and Ph.D. degrees from Xidian University in 1989, 1992, and 1995, respectively. He joined Xidian University in 1992. He is currently a Professor in Automation with major interests in discrete event systems. He published two monographs in Springer and CRC Press and more than 100 papers in IEEE Transactions (including under publication, mostly regular). His work was cited by engineers and researchers from more than 50 countries and areas, including prestigious R&D institutes such as IBM, Volvo, HP, GE, GM, ABB, and Huawei. He serves (served) an Associate Editor of the IEEE Trans. Automation Science and Engineering, IEEE Trans. Systems, Man, and Cybernetics, Part A: Systems and Human Beings, IEEE Trans. Systems, Man, and Cybernetics: Systems, and Information Sciences (Elsevier), IEEE Access, and IEEE/CAA Sinica Automatica. Dr. Li is a recipient of Alexander von Humboldt Research Grant (2008) and Research in Paris (2010). He was selected as 2014--2018 Thomson Reuters (Clarivate) Highly Cited Researchers in the category of Engineering. He is a Fellow of IEEE (2016).

八、主办单位:发展规划与学科建设处

  承办单位:航空航天学院

 

 

[返回首页]  [返回上一页]  [打 印]  [关闭窗口]    
版权所有   航空航天学院   技术支持:成都市万企科技

地址:四川省成都市高新区西区西源大道2006号   邮编:611731   电话:(028)61831887   研究生科:(028)61831856   传真:(028)61831882