[Legacy Report] SMCS Chapter Seminar on Modeling and Analyzing Cyber-physical Systems
IEEE North Jersey Section/SMCS Chapter Seminar on
Modeling and Analyzing Cyber-physical Systems
Zhenhua Yu Ph.D. & Associate Professor
Xidian University, Xi’an, China
Location: ECEC 202, NJIT, 140 Warren Street, Newark, NJ
Time: 11am, April 19, 2016, Tuesday
Abstract: Cyber-Physical Systems (CPS) are next-generation intelligent embedded systems that integrate abstract computation and physical processes, in which sensors, actuators, and embedded devices are networked to sense, monitor, and control the physical world. A CPS is coordinated, distributed, and interconnected, and depends on the synergy of computation, communication and control components. As CPS are typically used in safety-critical systems, they must be dependable. Development of high-confidence CPS is critical to assure the safety and effectiveness of CPS, which has become an exciting and promising research area. This talk will focus on how to design high-confidence CPS in design process and assure the CPS trustworthiness in run-time. In the CPS design process, formal methods are indispensable approaches to developing high-confidence CPS. Therefore, we will use π-calculus to model and analyze CPS. We employ π-calculus to describe the dynamic evolution of CPS and analyze the compatibility of CPS. During the run-time of CPS, their trustworthiness evolves continuously in the dynamic and complex environment. To control and keep CPS trustworthiness, we employ the nonlinear dynamical theory and methods to study the CPS trustworthiness evolution laws.
Biography: Zhenhua Yu is currently an Associate Professor in Xidian University, Xi’an, China. He received his Ph.D. degree in Control Science and Engineering from Xi'an Jiaotong University, Xi'an, China in 2006. He received the M.S. degree in Mechatronic Engineering in 2003 and the B.S. degree in Industry Automation in 1999, both from Xidian University, Xi’an, China. Since 2015, he has been a Chinese government-sponsored Visiting Scholar in New Jersey Institute of Technology (NJIT), USA. His current research interests include cyber-physical systems, formal methods, and nonlinear dynamics.
Add Event to Calendar
