联系：自动化系智网中心（CFINS）赵千川，

62783612，zhaoqc@tsinghua.edu.cn

 

摘要： This presentation will start with a demo of a smart grid charging of plug-in vehicles using MATLAB, Simulink and SimPowerSystems products. Then we will talk about the recent progress in model-based design in the last five years. The last part of the presentation will go a step further to explore the details of some semantic issues of Simulink and then discuss the application of formal methods in a model-based design environment.

 

演讲人简历： Dr. Zhi Han is with MathWorks, Inc. He works on Simulink and Simulink Design Verifier products. He has also worked on the solver and execution engine of Simulink. He is the lead inventor of five software patents of MathWorks. He is a contributor and the current maintainer of the CheckMate formal verification toolbox from ECE Department of Carnegie Mellon University. He received his PhD and MS degrees in ECE from Carnegie Mellon University. He also holds MS and bachelor degrees in Automation Department of Tsinghua University. His research interests are formal analysis of embedded systems, and multi-disciplinary optimizations of control systems.