苹果娱乐网址gm777.top是一家集苹果娱乐网址,苹果娱乐网址,苹果娱乐网址于一体的综合性娱乐公司,为玩家提供全方位的游戏体验,诚邀您的体验。

    學科建設
     學科公告
     學科新聞
     學術交流
     資料下載
 
   學術交流 您當前所在位置 : 苹果娱乐网址 >> 學術交流   

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
苹果娱乐网址