-
Center for Cyber-Physical Systems and Internet of Things and Ming Hsieh Institute for Electrical Engineering Joint Seminar Series on Cyber-Physical Systems
Mon, Nov 21, 2016 @ 02:00 PM - 03:00 PM
Ming Hsieh Department of Electrical and Computer Engineering
Conferences, Lectures, & Seminars
Speaker: Jim Kapinski, Senior Principal Engineer, Toyota Technical Center
Talk Title: Advanced Techniques for Test and Verification of Industrial Cyber-Physical Systems
Abstract: Cyber-physical systems (CPSs) are used in safety critical applications such as automotive, aerospace, and medical devices, and so it is vital that these systems work correctly. Complex CPSs are developed and evaluated using approaches from the fields of software and control design. This talk contrasts the software and control design perspectives in the context of CPS and provides background on the roots of the model-based development (MBD) design paradigm, which is often used to develop CPSs. The talk also provides an overview of modern techniques used to test industrial CPSs and describes advanced approaches to verification for these systems.
One advanced approach to verifying CPSs uses numerical simulations to discover Lyapunov functions. Lyapunov functions for continuous dynamical systems are analogous to ranking functions for software systems; they can be used to certify convergence and also to obtain performance bounds on behaviors, but they are difficult to discover. Our technique uses simulation traces to discover Lyapunov functions for nonlinear and hybrid dynamical systems. In cases where Lyapunov functions cannot be obtained, Lyapunov-like functions are used to automatically identify non-convergent behaviors that demonstrate incorrect system behaviors. The technique can be used to either verify stability and obtain performance bounds for CPS designs or to automatically provide examples of incorrect system behavior.
Biography: Jim Kapinski is a Senior Principal Engineer at the Toyota Technical Center. He received his Ph.D. in Electrical and Computer Engineering from Carnegie Mellon University in 2005 and was a postdoctoral researcher at CMU from 2007 to 2008. He went on to found and lead Fixed-Point Consulting, serving clients in the defense, aerospace, and automotive industries. He has been with Toyota since 2012. His work at Toyota focuses on advanced research into verification techniques for embedded software for powertrain control systems. Jim's research interests include verification techniques for embedded control system designs and analysis of hybrid dynamical systems.
Host: Paul Bogdan
Location: Hughes Aircraft Electrical Engineering Center (EEB) - 248
Audiences: Everyone Is Invited
Contact: Estela Lopez
