面向大规模分布式信息-物理系统的可扩展设计方法
Towards Scalable Formal Design of Large-Scale Distributed Cyber-Physical Systems
林海   Hai Lin
报告人照片   Hai Lin is an associate professor at Dept. of Electrical Engineering, Univ. of Notre Dame. Before returning to his alma mater, Hai has been working as an assistant professor in the NUS from 2006 to 2011. His teaching and research interests are in the multidisciplinary study of the problems at the intersections of control, communication, computation, machine learning and computational verification. He serves as Associate Editor for IEEE Transactions on Automatic Control.
  Cyber-Physical systems (CPSs) refer to computational systems that are integrated with physical processes. Large-scale, distributed Cyber-Physical Systems (CPSs) have been increasingly prevalent in our daily life. Examples include but not limited to connected vehicles, edge-centric computing, and energy/water/gas distribution networks. There is a pressing need for a scalable formal design theory enabling the engineering of distributed CPSs that can function robustly and reliably in uncertain and dynamic environments. This motivates our recent research efforts at the intersection of control theory, formal verification and machine learning. This talk will introduce a formal design framework for distributed CPSs by combining both top-down and bottom-up design methods. The basic idea is to decompose the global (system) specification into local tasks to parallelize the design process.
报告时间:2017年06月14日10时00分    报告地点:西区电二楼208
报名截止日期:2017年06月14日    可选人数:50