西电新闻网讯（通讯员师文通 刘春霖）6月3日上午，西班牙萨拉戈萨大学计算机科学与系统工程系Cirstian mahulea教授在西安电子科技大学南校区大学生活动中心511室作了题为“利用petri网模型规划可移动机器人”的学术报告。

在报告中，Cirstian mahulea教授提出控制一系列相同机器人的自动化策略，其中机器人应满足在关注区域的集合可表示为基于co-safe线性时序逻辑(LTL)方程，这一系列机器人用待输出的petri网系统表示来避免采用自动机的同步积运算。接着他讲解了在基于布尔（Boolean）任务的情况下，二元变量的线性约束等知识以及这些二元变量的测估联系，与学生探讨了相关的任务转换、选择字符串和算法。在提问环节中，Cirstian mahulea教授告诉学生如果字符串不正确执行，需再次找寻另一个满足此条件的字符串并进行程序重塑。报告在浓郁的学术氛围中结束。

人物简介：

Cirstian mahulea，2001年获得罗马尼亚雅西技术大学学士学位，2002年获得同校硕士学位，2007年获得西班牙萨拉戈萨大学系统工程博士学位，现任西班牙萨拉戈萨大学计算机科学与系统工程系副教授、意大利卡利亚里大学访问教授、英国谢菲尔德大学及美国波士顿大学的访问研究员以及IEEE Transactions on Automation Science and Engineering journal副主编。他的研究领域包括离散事件系统、混合动力系统、自动化生产、Petri网，移动机器人和医疗保健系统。他曾参与Petri网工具箱和SimHPN两个MATLAB工具箱的综合开发和实现，此工具箱可用于仿真，分析和Petri网建模的离散事件系统。他是《Petri网在研究离散事件系统的应用（2002）》的作者之一，并参与开发了RMTTOOL（建模、路径规划、移动机器人的运动控制等一系列工具的工具集）。