讲座名称:Timed discrete event systems: an approach based on Time Petri nets
讲座人:Francesco Basile 教授
讲座时间:7月17日14:00
地点:北校区主楼III-345
讲座人介绍:
Francesco Basile分别于1995年和1999年在那不勒斯大学以优异成绩获得电子工程学士学位和电子与计算机工程博士学位。1999年,他在西班牙萨拉戈萨的萨拉戈萨大学信息和系统工程系担任了6个月的访问研究员。他目前是意大利Fisciano Salerno大学Dipartimento di Ingegneria dell'informazione ed elettrica e matematica applicata自动控制系的全职教授。他在国际期刊和会议上发表了130多篇论文。他目前的研究兴趣包括离散事件系统的建模和控制、自动化制造和机器人技术。Basile教授是《国际机器人与自动化杂志》、《IEEE控制系统技术论文集》和《IEEE自动化科学与工程论文集》的副主编。他是IEEE控制系统学会会议编辑委员会成员。曾任IEEE Control Systems Letters副主编。曾任第14届离散事件系统国际研讨会(WODES 2018)总主席。
讲座内容:
PN对于离散事件系统(DES)的分析和综合以及监控器的设计非常有用。时间Petri网(TPN)用于描述定时DES的行为,其中启用的转换可以在给定的点火时间间隔内点火。TPN对于实时系统的规范和验证非常有用。在实践中,事件被限制在相对于其启用瞬间的下限和上限时间内发生,并使用全局数字时钟来同步事件的发生。本讲座将介绍利用TPN的潜力对定时DES进行控制、状态估计和诊断的最新成果。
主办单位:机电工程学院