Logo: University of Southern California

Events Calendar

Select a calendar:

Filter November Events by Event Type:

Events for November 21, 2016

  • Seminars in Biomedical Engineering

    Mon, Nov 21, 2016 @ 12:30 PM - 01:50 PM

    Alfred E. Mann Department of Biomedical Engineering

    Conferences, Lectures, & Seminars

    Speaker: Michael Jamieson, PhD, USC Faculty Regulatory Science

    Talk Title: International Regulation

    Location: Olin Hall of Engineering (OHE) - 122

    Audiences: Everyone Is Invited

    Contact: Mischalgrace Diasanta

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File
  • 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

    Add to Google CalendarDownload ICS File for OutlookDownload iCal File