澳门皇冠800在线

  • 部门链接
    • 党委学工部
    • 纪检监察办公室、审计...
    • 国际交流合作处
    • 离退休工作处
    • 国有资产管理办公室
    • 校医院
    • 就业引导中心
    • 心理健康教育中心
    • 党委组织部
    • 发展规划处
    • 研究生院、研工部
    • 实验室与设备管理处
    • 工会
    • 校友工作办公室
    • 后勤服务总企业
    • 采购中心
    • 杭电智慧城市研究中心
    • 党委统战部
    • 教务处
    • 人事处
    • 校园建设与管理处
    • 团委
    • 招标与信息采购
    • 实验教学示范中心
    • 网络信息中心
    • 省信息化经济社会发展...
    • 党委宣传部
    • 科技部
    • 计划财务处
    • 保卫处
    • 图书馆
    • 杭电学报
    • 档案馆
    • 高等教育学院
  • 学院链接
    • 机械工程学院
    • 计算机学院
    • 理学院
    • 外国语学院
    • 体育教学部
    • 网络空间安全学院
    • 电子信息学院
    • 材料与环境工程学院
    • 经济学院
    • 数字媒体与艺术设计学...
    • 卓越学院
    • 继续教育学院
    • 通信工程学院
    • 生命信息与仪器工程学...
    • 管理学院
    • 人文与法学院
    • 国际教育学院
    • 信息工程学院
    • App学院
    • 会计学院
    • 马克思主义学院
    • 浙江保密学院
  • 友情链接
    • 党委学工部
    • 纪检监察办公室、审计...
    • 国际交流合作处
    • 离退休工作处
    • 国有资产管理办公室
    • 校医院
    • 就业引导中心
    • 心理健康教育中心
    • 党委组织部
    • 发展规划处
    • 研究生院、研工部
    • 实验室与设备管理处
    • 工会
    • 校友工作办公室
    • 后勤服务总企业
    • 采购中心
    • 杭电智慧城市研究中心
    • 党委统战部
    • 教务处
    • 人事处
    • 校园建设与管理处
    • 团委
    • 招标与信息采购
    • 实验教学示范中心
    • 网络信息中心
    • 省信息化经济社会发展...
    • 党委宣传部
    • 科技部
    • 计划财务处
    • 保卫处
    • 图书馆
    • 杭电学报
    • 档案馆
    • 高等教育学院
    • 杭州电子科技大学
李志武教授学术报告
澳门皇冠800在线:2018-04-08 浏览次数:16

报告名称:Modeling and Control of Discrete Event Systems: Automata and Petri Nets Perspectives

报告人:李志武 教授

时间:48日下午3:40-4:40

地点:524会议室

报告概况: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.

报告人概况: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 with the Institute of Systems Engineering, Macau University of Science and Technology. He published two monographs in Springer and CRC Press and 90+ papers in Automatica and IEEE Transactions (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, IEEE Access, IEEE/CAA Journal of Automatica Sinica and Information Sciences (Elsevier). Dr. Li is a recipient of Alexander von Humboldt Research Grant and Research in Paris. He was selected in 2014, 2015, 2016, and 2017 Thomson Reuters Highly Cited Researchers in the category of Engineering and 2014, 2015, 2016, and 2017 Elsevier Most Cited Chinese Researchers in the category of Systems and Control Engineering. He is a Fellow of IEEE.

 
科学研究
联系大家
澳门皇冠800在线
澳门皇冠800在线
澳门皇冠800在线
XML 地图 | Sitemap 地图