Research into Cyber-Physical-Systems verification and its Industrial impact
Cyber-physical systems (CPS) are an integration of computation with physical processes. CPS has gained popularity both in industry and the research community, but developing and verifying CPS remain significant challenges. In this talk, I will focus on one of the fundamental work of CPS safety dynamic analysis. The work is based on temporal logic, state machine, and runtime verification. I will then also discuss some interesting ongoing works and their industrial impact.
Dr James Xi Zheng is currently a Lecturer/Assistant Professor in Computer Science at Deakin University Australia. He got Bachelor from Fudan University, Master from University of New South Wales, and PhD from University of Texas at Austin. He has previously worked as a senior principal consultant and solution architect for large corporations. His areas of expertise include cyber physical systems, Internet of things, cloud computing, distributed and multicore computation, and web application development.