New results on Supervisory control of Timed discrete event systems using Time Petri nets

讲座名称：New results on Supervisory control of Timed discrete event systems using Time Petri nets

讲座人：Francesco Basile 教授

讲座时间：7月18日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）总主席。

讲座内容：

定时离散事件系统（TDES）的监督控制（SC）是控制工程中的一个综合工具。事件被限制在相对于其启动瞬间的时间范围内发生，并使用一个全局数字时钟来同步事件的发生。事件被分类为前置事件或远程事件，并且可以被禁用或强制在发射时间间隔内发射。TPN系统对可控性进行了更广泛的解释，认为事件可以在部分时间内被禁用，或者其发射时间可以受监管者的影响。

主办单位：机电工程学院