（通讯员 管栋栋）应皇冠正规娱乐平台复杂系统国际联合研究中心李志武教授邀请，2016年5月28日-6月3日西班牙萨拉戈萨大学Cristian Mahulea教授到访我校。他分别于6月2日上午在北校区阶梯教室J-208教室和6月3日上午10:30在南校区大学生活动中心511报告厅，分别作了《A model-based approach for the specification and verification of clinical guidelines》和《Planning Mobile Robots using Petri net models》学术报告。

第一场讲座主要面对研究生和青年教师进行。Mahulea教授首先介绍了Petri网建模的优点，然后展示了在医院以及基层医疗中使用的临床指南和医疗协议的建模方法，以及如何将临床指南如何自动转化为Petri网表示的数学模型，最后教授介绍一些来源于萨拉戈萨市和“洛萨诺布莱萨”大学医院初级护理团队一些案例。在提问环节，师生们结合自己研究内容提出了问题，Mahulea教授一一作答。

第二场讲座面对本科生进行，是皇冠正规娱乐平台加强本科生了解科研参与科研的活动之一。在报告中，Mahulea教授简单叙述了萨拉戈萨大学的概况，引起了同学的兴趣，然后，介绍了控制一系列相同机器人的自动化策略，其中机器人应满足在关注区域的集合可表示为基于或语法上co-safe线性时序逻辑(LTL)方程。最后分别讲解了在基于布尔（Boolean）任务的情况下和在基于co-safe LTL方程的情况下的解决算法，报告后老师同学踊跃提问，Mahulea教授一一解答了相关问题。

注：Cirstian mahulea目前为西班牙萨拉戈萨大学计算机科学与系统工程系的副教授。他于2001年和2002年在罗马尼亚雅西技术大学分别获得学士学位及硕士学位，并于2007年在西班牙萨拉戈萨大学获得系统工程博士学位。

他的研究领域包括离散事件系统，混合动力系统，自动化生产，Petri网，移动机器人和医疗保健系统。他曾参与Petri网工具箱和SimHPN两个MATLAB工具箱的综合开发和实现，此工具箱可用于仿真，分析和Petri网建模的离散事件系统。他是Petri网在研究离散事件系统的应用（2002）一书的作者之一。他参与开发了RMTTOOL，此为建模、路径规划和移动机器人的运动控制等一系列工具的工具集。他现为意大利卡利亚里大学的访问教授，英国谢菲尔德大学及美国波士顿大学的访问研究员，担任IEEE Transactions on Automation Science and Engineering journal副主编。