关于西安电子科技大学李志武教授来校讲学的通知-亚洲城唯一官方网站
公共搜索

关于西安电子科技大学李志武教授来校讲学的通知


发布时间:2019年03月14日 15时06分
打印    收藏

应电子工程与自动化学院、广西自动检测技术与仪器重点实验室、广西光电信息处理重点实验室培育基地、广西高校智能综合自动化重点实验室的邀请,西安电子科技大学李志武教授将于3月15日来我校交流,欢迎广大师生踊跃参与。

题目:离散事件系统的监控理论:自动机和Petri网视角

时间:2019315日(周五)下午3:15-5:00

地点:金鸡岭校区F3

报告摘要:

The extensive applications of information technology provide spurs to the blooming of highly automated and computer-integrated systems that increasingly play an essential role in the development of the human society,leading to the deployment of discrete event systems that are thought of as a mathematical or methodological abstract of many contemporary technological systems such as intelligent urban traffic systems, automated flexible manufacturing systems, computer networks, communication protocols, logistic systems, monitoring and control of large buildings, distributed databases, and concurrent software systems. The purpose of this talk is to briefly introduce ideas of the modeling and control of discrete event systems in automaton and Petri net perspectives. Supervisory control theory based on formal languages and finite state machines is first reviewed and a Petri net approach is then recalled. Their comparison is demonstrated through a toy example from manufacturing

报告人简介:

李志武,男,1989年,1992年,1995年在西安电子科技大学分别获得学士、硕士和博士学位。现为西安电子科技大学机电工程学院教授。长期从事离散事件系统的控制与优化研究,与世界上20多个国家和地区的学者保持着密切的合作。 担任 90 多个国际期刊审稿人。现(曾)任IEEE Transactions on Systems, Man, and CyberneticsPart AIEEE Transactions on Automation Science and Engineering, IEEE Transactions on Systems, Man, and Cybernetics: Systems, Information Sciences (Elsevier)IEEE AccessIEEE\CAA Sinica Automatica的副编辑。出版英文专著两部 (Springer Veralg, 2009; CRC Press, Taylor & Francis Group, 2013);在IEEE Transactions 发表(录用)论文 100 多篇。研究成果得到了美国等 50多个国家和地区学者的引用,包括世界知名的工业界机构IBMHPABBGEGMVolvoHuawei等。拥有20多项美国和澳大利亚专利。连续五年(2014-2018)入选 Thomson Reuters 工程领域全球高被引科学家和Elsevier中国高被引学者。 鉴于在 Petri 网理论及其在自动制造系统中的应用研究,2015 年当选 IEEE Fellow

 


上一条:关于美国纽黑文大学王承璐教授来校讲学预告的通知
下一条:关于中科院计算所靳小龙研究员来校讲学的通知

【打印新闻】 【关闭】